Trace number 1879366

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 pbOPT3 498.222 498.451

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=7-P0=89-P1=37-P2=43-P3=47-P4=41-P5=107-P6=127-B.opb
MD5SUM59a5e5c0509fa3a2bc4b2a05a02d5b79
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 benchmark6.43402
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 variables126
Total number of constraints13
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 constraints13
Minimum length of a constraint7
Maximum length of a constraint63
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 32512
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)294
Sum of products size (including duplicates)588
Number of different products294
Sum of products size588

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: Generic Pseudo-Boolean 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-1879366-1245243536.opb
0.00/0.00	c File size is 21871 bytes.
0.00/0.00	c Highest Coefficient sum: 32512
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.003 s
0.00/0.00	c Var: 420 Constr: 607 294/0/313 Lit: 2555 Watch. Lit: 1580
0.00/0.00	c Obj. Vars: 7 (1.66667 % of total variables)
0.00/0.00	c Pre-processing Time: 0.007 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    420      607     2555    4     2191    3443      0      0 0.01
0.00/0.00	c Switching off lower bounding mode.
139.52/139.65	c      101    420      776    11037   14     3520    3788    169   4208 0.02
139.52/139.65	c      251    420     1058    25689   24     6326    4167    451   4114 0.06
139.52/139.65	c      479    420     1496    51945   34    11298    4584    889   3280 0.15
139.52/139.65	c      818    420     2111    85252   40    17694    5043   1504   2673 0.31
139.52/139.65	c     1329    420     3036   137743   45    25871    5548   2429   2303 0.58
139.52/139.65	c     2094    420     4425   216975   49    38382    6103   3818   1792 1.17
139.52/139.65	c     3240    420     6586   340340   51    59067    6714   5979   1296 2.50
139.52/139.65	c     4962    420     6186   301291   48    52452    7386   5579   1001 4.95
139.52/139.65	c     7546    420     6940   365463   52    53316    8125   6333    769 9.81
139.52/139.65	c    11425    420     5629   255254   45    51081    8938   5022    595 19.19
139.52/139.65	c    17248    420     5413   258498   47    31763    9832   4806    447 38.54
139.52/139.65	c    25986    419     6289   318545   50    52727   10816   5682    419 61.98
139.52/139.65	c    39097    419     9516   485991   51   107114   11898   8909    316 123.35
139.52/139.65	o 65
222.58/222.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
222.58/222.70	c    42260    419     9519   485179   50   104981    3457   8912    302 139.58
222.58/222.70	c    42361    419     2518   106512   42    17242    3803   1911    299 141.46
222.58/222.70	c    42612    419     2903   127975   44    17114    4184   2296    300 141.59
222.58/222.70	c    43088    419     3632   168065   46    23869    4603   3025    303 141.83
222.58/222.70	c    43901    419     2911   132401   45    32814    5064   2304    307 142.70
222.58/222.70	c    45222    419     5391   287877   53    66162    5571   4784    309 145.99
222.58/222.70	c    47303    419     3544   162095   45    33714    6129   2937    308 153.44
222.58/222.70	c    50526    419     6522   324116   49    65356    6742   5915    304 165.84
222.58/222.70	c    55463    419     4891   227865   46    49632    7417   4284    292 189.47
222.58/222.70	o 9
230.88/231.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
230.88/231.07	c    60574    416     6848   340120   49    60102    3457   6241    272 222.59
230.88/231.07	c    60674    389     2535   110357   43    16595    3803   1928    272 222.86
230.88/231.07	c    60924    389     3006   138001   45    22464    4184   2399    273 222.97
230.88/231.07	c    61400    389     3931   189177   48    35489    4603   3324    274 223.36
230.88/231.07	c    62215    389     2924   128651   43    30628    5064   2317    277 224.49
230.88/231.07	c    63536    389     5425   287048   52    49556    5571   4818    277 228.85
230.88/231.07	o 3
498.17/498.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
498.17/498.44	c    64432    389     4257   212212   49    28641    3451   3650    278 230.96
498.17/498.44	c    64532    361     2459   102929   41    16403    3797   1852    279 231.24
498.17/498.44	c    64782    361     2881   129021   44    18977    4177   2274    279 231.38
498.17/498.44	c    65258    361     3726   176303   47    25213    4595   3119    281 231.66
498.17/498.44	c    66071    361     2914   132633   45    24675    5055   2307    283 233.21
498.17/498.44	c    67391    361     5430   262793   48    51483    5561   4823    284 237.17
498.17/498.44	c    69472    361     3609   158250   43    36944    6118   3002    281 247.14
498.17/498.44	c    72695    361     6185   301874   48    40437    6730   5578    288 252.27
498.17/498.44	c    77632    361     4801   221351   46    44983    7404   4194    289 267.88
498.17/498.44	c    85140    361     6784   329200   48    61607    8145   6177    287 295.97
498.17/498.44	c    96501    358     6985   335727   48    74695    8960   6378    280 343.88
498.17/498.44	c   113646    357     7539   376272   49    94057    9857   6932    260 435.78
498.17/498.44	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 -x37 -x38 -x39 -x40 -x41 x42 x43 -x44 x45 x46 -x47 -x48 x49 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 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x50 -x51 -x52 x53 -x54 -x55 -x56 -x85 -x86 -x87 -x88 -x89 -x90 -x91 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 x57 -x58 -x59 -x60 x61 x62 x63 -x92 x93 -x94 -x95 -x96 -x97 -x98 x225 -x226 -x227 -x228 x229 x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -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 x64 -x65 -x66 -x67 -x68 -x69 -x70 x99 x100 x101 x102 -x103 -x104 -x105 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 x71 -x72 -x73 -x74 -x75 -x76 x77 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 x371 x78 -x79 -x80 -x81 -x82 -x83 -x84 x113 -x114 -x115 -x116 -x117 x118 -x119 x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420 -x120 -x121 -x122 -x123 -x124 -x125 -x126 
498.17/498.44	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
498.17/498.44	c   40   118540   1676   127714     6650   297404   6043    237 498.22
498.17/498.44	c Objective: 3
498.17/498.44	s OPTIMUM FOUND
498.17/498.44	c Total time: 498.218 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-1879366-1245243536/watcher-1879366-1245243536 -o /tmp/evaluation-result-1879366-1245243536/solver-1879366-1245243536 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879366-1245243536.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/65 5633
/proc/meminfo: memFree=1770872/2055920 swapFree=4182240/4192956
[pid=5633] ppid=5631 vsize=10712 CPUtime=0
/proc/5633/stat : 5633 (bsolo) R 5631 5633 5406 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 191952220 10969088 267 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5633/statm: 2678 267 188 640 0 2034 0

[startup+0.0419939 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 5633
/proc/meminfo: memFree=1770872/2055920 swapFree=4182240/4192956
[pid=5633] ppid=5631 vsize=11100 CPUtime=0.04
/proc/5633/stat : 5633 (bsolo) R 5631 5633 5406 0 -1 4194304 371 0 0 0 4 0 0 0 18 0 1 0 191952220 11366400 349 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5633/statm: 2775 349 198 640 0 2131 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11100

[startup+0.102 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 5633
/proc/meminfo: memFree=1770872/2055920 swapFree=4182240/4192956
[pid=5633] ppid=5631 vsize=11488 CPUtime=0.09
/proc/5633/stat : 5633 (bsolo) R 5631 5633 5406 0 -1 4194304 480 0 0 0 9 0 0 0 18 0 1 0 191952220 11763712 458 1992294400 134512640 137136520 4294956256 18446744073709551615 134543957 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5633/statm: 2872 458 198 640 0 2228 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11488

[startup+0.302022 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 5633
/proc/meminfo: memFree=1770872/2055920 swapFree=4182240/4192956
[pid=5633] ppid=5631 vsize=12392 CPUtime=0.29
/proc/5633/stat : 5633 (bsolo) R 5631 5633 5406 0 -1 4194304 702 0 0 0 29 0 0 0 19 0 1 0 191952220 12689408 680 1992294400 134512640 137136520 4294956256 18446744073709551615 136502019 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5633/statm: 3098 680 198 640 0 2454 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12392

[startup+0.701068 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 5633
/proc/meminfo: memFree=1770872/2055920 swapFree=4182240/4192956
[pid=5633] ppid=5631 vsize=13820 CPUtime=0.69
/proc/5633/stat : 5633 (bsolo) R 5631 5633 5406 0 -1 4194304 1074 0 0 0 69 0 0 0 23 0 1 0 191952220 14151680 1052 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5633/statm: 3455 1052 198 640 0 2811 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13820

[startup+1.50116 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5634
/proc/meminfo: memFree=1766640/2055920 swapFree=4182240/4192956
[pid=5633] ppid=5631 vsize=15884 CPUtime=1.49
/proc/5633/stat : 5633 (bsolo) R 5631 5633 5406 0 -1 4194304 1565 0 0 0 149 0 0 0 25 0 1 0 191952220 16265216 1543 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5633/statm: 3971 1543 198 640 0 3327 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15884

[startup+3.10134 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5634
/proc/meminfo: memFree=1764336/2055920 swapFree=4182240/4192956
[pid=5633] ppid=5631 vsize=18236 CPUtime=3.09
/proc/5633/stat : 5633 (bsolo) R 5631 5633 5406 0 -1 4194304 2158 0 0 0 308 1 0 0 25 0 1 0 191952220 18673664 2136 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5633/statm: 4559 2136 198 640 0 3915 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18236

[startup+6.3017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5634
/proc/meminfo: memFree=1762744/2055920 swapFree=4182240/4192956
[pid=5633] ppid=5631 vsize=18368 CPUtime=6.29
/proc/5633/stat : 5633 (bsolo) R 5631 5633 5406 0 -1 4194304 2191 0 0 0 628 1 0 0 25 0 1 0 191952220 18808832 2169 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5633/statm: 4592 2169 198 640 0 3948 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18368

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5634
/proc/meminfo: memFree=1761656/2055920 swapFree=4182240/4192956
[pid=5633] ppid=5631 vsize=19416 CPUtime=12.69
/proc/5633/stat : 5633 (bsolo) R 5631 5633 5406 0 -1 4194304 2464 0 0 0 1267 2 0 0 25 0 1 0 191952220 19881984 2442 1992294400 134512640 137136520 4294956256 18446744073709551615 134544176 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5633/statm: 4854 2442 198 640 0 4210 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19416

[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5634
/proc/meminfo: memFree=1761656/2055920 swapFree=4182240/4192956
[pid=5633] ppid=5631 vsize=19420 CPUtime=25.48
/proc/5633/stat : 5633 (bsolo) R 5631 5633 5406 0 -1 4194304 2474 0 0 0 2546 2 0 0 25 0 1 0 191952220 19886080 2452 1992294400 134512640 137136520 4294956256 18446744073709551615 134544127 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5633/statm: 4855 2452 198 640 0 4211 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19420

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5634
/proc/meminfo: memFree=1760312/2055920 swapFree=4182240/4192956
[pid=5633] ppid=5631 vsize=20828 CPUtime=51.07
/proc/5633/stat : 5633 (bsolo) R 5631 5633 5406 0 -1 4194304 2829 0 0 0 5103 4 0 0 25 0 1 0 191952220 21327872 2807 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5633/statm: 5207 2807 198 640 0 4563 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 20828

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5634
/proc/meminfo: memFree=1757240/2055920 swapFree=4182240/4192956
[pid=5633] ppid=5631 vsize=23796 CPUtime=102.25
/proc/5633/stat : 5633 (bsolo) R 5631 5633 5406 0 -1 4194304 3566 0 0 0 10218 7 0 0 25 0 1 0 191952220 24367104 3544 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5633/statm: 5949 3544 198 640 0 5305 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 23796

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5640
/proc/meminfo: memFree=1756792/2055920 swapFree=4182240/4192956
[pid=5633] ppid=5631 vsize=24172 CPUtime=162.21
/proc/5633/stat : 5633 (bsolo) R 5631 5633 5406 0 -1 4194304 3666 0 0 0 16211 10 0 0 25 0 1 0 191952220 24752128 3643 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5633/statm: 6043 3643 198 640 0 5399 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 24172

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5640
/proc/meminfo: memFree=1756792/2055920 swapFree=4182240/4192956
[pid=5633] ppid=5631 vsize=24172 CPUtime=222.18
/proc/5633/stat : 5633 (bsolo) R 5631 5633 5406 0 -1 4194304 3666 0 0 0 22206 12 0 0 25 0 1 0 191952220 24752128 3643 1992294400 134512640 137136520 4294956256 18446744073709551615 134605807 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5633/statm: 6043 3643 198 640 0 5399 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 24172

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5640
/proc/meminfo: memFree=1756728/2055920 swapFree=4182240/4192956
[pid=5633] ppid=5631 vsize=24128 CPUtime=282.16
/proc/5633/stat : 5633 (bsolo) R 5631 5633 5406 0 -1 4194304 3666 0 0 0 28198 18 0 0 25 0 1 0 191952220 24707072 3632 1992294400 134512640 137136520 4294956256 18446744073709551615 136295552 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5633/statm: 6032 3632 198 640 0 5388 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 24128

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5640
/proc/meminfo: memFree=1756728/2055920 swapFree=4182240/4192956
[pid=5633] ppid=5631 vsize=24128 CPUtime=342.14
/proc/5633/stat : 5633 (bsolo) R 5631 5633 5406 0 -1 4194304 3666 0 0 0 34193 21 0 0 25 0 1 0 191952220 24707072 3632 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5633/statm: 6032 3632 198 640 0 5388 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 24128

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5640
/proc/meminfo: memFree=1756728/2055920 swapFree=4182240/4192956
[pid=5633] ppid=5631 vsize=24128 CPUtime=402.11
/proc/5633/stat : 5633 (bsolo) R 5631 5633 5406 0 -1 4194304 3666 0 0 0 40187 24 0 0 25 0 1 0 191952220 24707072 3632 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5633/statm: 6032 3632 198 640 0 5388 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 24128

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5640
/proc/meminfo: memFree=1756728/2055920 swapFree=4182240/4192956
[pid=5633] ppid=5631 vsize=24128 CPUtime=462.08
/proc/5633/stat : 5633 (bsolo) R 5631 5633 5406 0 -1 4194304 3666 0 0 0 46182 26 0 0 25 0 1 0 191952220 24707072 3632 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5633/statm: 6032 3632 198 640 0 5388 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 24128

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

[startup+473.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5640
/proc/meminfo: memFree=1756728/2055920 swapFree=4182240/4192956
[pid=5633] ppid=5631 vsize=24128 CPUtime=473.28
/proc/5633/stat : 5633 (bsolo) R 5631 5633 5406 0 -1 4194304 3666 0 0 0 47302 26 0 0 25 0 1 0 191952220 24707072 3632 1992294400 134512640 137136520 4294956256 18446744073709551615 134544411 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5633/statm: 6032 3632 198 640 0 5388 0
Current children cumulated CPU time (s) 473.28
Current children cumulated vsize (KiB) 24128

[startup+486.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5640
/proc/meminfo: memFree=1756728/2055920 swapFree=4182240/4192956
[pid=5633] ppid=5631 vsize=24128 CPUtime=486.07
/proc/5633/stat : 5633 (bsolo) R 5631 5633 5406 0 -1 4194304 3666 0 0 0 48580 27 0 0 25 0 1 0 191952220 24707072 3632 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5633/statm: 6032 3632 198 640 0 5388 0
Current children cumulated CPU time (s) 486.07
Current children cumulated vsize (KiB) 24128

[startup+492.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5640
/proc/meminfo: memFree=1756728/2055920 swapFree=4182240/4192956
[pid=5633] ppid=5631 vsize=24128 CPUtime=492.47
/proc/5633/stat : 5633 (bsolo) R 5631 5633 5406 0 -1 4194304 3666 0 0 0 49220 27 0 0 25 0 1 0 191952220 24707072 3632 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5633/statm: 6032 3632 198 640 0 5388 0
Current children cumulated CPU time (s) 492.47
Current children cumulated vsize (KiB) 24128

[startup+495.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5640
/proc/meminfo: memFree=1756728/2055920 swapFree=4182240/4192956
[pid=5633] ppid=5631 vsize=24128 CPUtime=495.67
/proc/5633/stat : 5633 (bsolo) R 5631 5633 5406 0 -1 4194304 3666 0 0 0 49540 27 0 0 25 0 1 0 191952220 24707072 3632 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5633/statm: 6032 3632 198 640 0 5388 0
Current children cumulated CPU time (s) 495.67
Current children cumulated vsize (KiB) 24128

[startup+497.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5640
/proc/meminfo: memFree=1756728/2055920 swapFree=4182240/4192956
[pid=5633] ppid=5631 vsize=24128 CPUtime=497.27
/proc/5633/stat : 5633 (bsolo) R 5631 5633 5406 0 -1 4194304 3666 0 0 0 49700 27 0 0 25 0 1 0 191952220 24707072 3632 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5633/statm: 6032 3632 198 640 0 5388 0
Current children cumulated CPU time (s) 497.27
Current children cumulated vsize (KiB) 24128

[startup+497.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5640
/proc/meminfo: memFree=1756728/2055920 swapFree=4182240/4192956
[pid=5633] ppid=5631 vsize=24128 CPUtime=497.67
/proc/5633/stat : 5633 (bsolo) R 5631 5633 5406 0 -1 4194304 3666 0 0 0 49740 27 0 0 25 0 1 0 191952220 24707072 3632 1992294400 134512640 137136520 4294956256 18446744073709551615 134544179 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5633/statm: 6032 3632 198 640 0 5388 0
Current children cumulated CPU time (s) 497.67
Current children cumulated vsize (KiB) 24128

[startup+498.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5640
/proc/meminfo: memFree=1756728/2055920 swapFree=4182240/4192956
[pid=5633] ppid=5631 vsize=24128 CPUtime=498.07
/proc/5633/stat : 5633 (bsolo) R 5631 5633 5406 0 -1 4194304 3666 0 0 0 49780 27 0 0 25 0 1 0 191952220 24707072 3632 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5633/statm: 6032 3632 198 640 0 5388 0
Current children cumulated CPU time (s) 498.07
Current children cumulated vsize (KiB) 24128

[startup+498.401 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5640
/proc/meminfo: memFree=1756728/2055920 swapFree=4182240/4192956
[pid=5633] ppid=5631 vsize=24128 CPUtime=498.17
/proc/5633/stat : 5633 (bsolo) R 5631 5633 5406 0 -1 4194304 3666 0 0 0 49790 27 0 0 25 0 1 0 191952220 24707072 3632 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5633/statm: 6032 3632 198 640 0 5388 0
Current children cumulated CPU time (s) 498.17
Current children cumulated vsize (KiB) 24128

Child status: 0
Real time (s): 498.451
CPU time (s): 498.222
CPU user time (s): 497.947
CPU system time (s): 0.274958
CPU usage (%): 99.9541
Max. virtual memory (cumulated for all children) (KiB): 24196

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

runsolver used 0.564914 second user time and 1.08883 second system time

The end

Launcher Data 

Begin job on node85 at 2009-06-17 14:58:57
IDJOB=1879366
IDBENCH=47916
IDSOLVER=701
FILE ID=node85/1879366-1245243536
PBS_JOBID= 9372266
Free space on /tmp= 126840 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=89-P1=37-P2=43-P3=47-P4=41-P5=107-P6=127-B.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879366-1245243536/watcher-1879366-1245243536 -o /tmp/evaluation-result-1879366-1245243536/solver-1879366-1245243536 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1879366-1245243536.opb

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

MD5SUM BENCH= 59a5e5c0509fa3a2bc4b2a05a02d5b79
RANDOM SEED=363797513

node85.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.213
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	: 5931.00
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.213
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1771352 kB
Buffers:         33432 kB
Cached:         178700 kB
SwapCached:       5196 kB
Active:          60324 kB
Inactive:       159964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1771352 kB
SwapTotal:     4192956 kB
SwapFree:      4182240 kB
Dirty:            3948 kB
Writeback:           0 kB
Mapped:          13804 kB
Slab:            50200 kB
Committed_AS:    91964 kB
PageTables:       1376 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-1879366-1245243536.opb

Free space on /tmp at the end= 126836 MiB
End job on node85 at 2009-06-17 15:07:15