Trace number 1879469

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 pbOPT2 950.045 950.297

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=7-P0=43-P1=107-P2=31-P3=113-P4=127-P5=2-P6=79-B.opb
MD5SUMa998edafd51e17056858d37f83d42bbc
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark1.41778
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
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-1879469-1245244035.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.006 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.
63.17/63.26	c      105    420      792    12220   15     3887    3788    185   3620 0.03
63.17/63.26	c      255    420     1063    27115   25     6602    4167    456   4322 0.06
63.17/63.26	c      481    420     1504    52601   34    13499    4584    897   3787 0.13
63.17/63.26	c      820    420     2123    87538   41    18309    5043   1516   3266 0.25
63.17/63.26	c     1329    420     3107   145554   46    31635    5548   2500   2792 0.48
63.17/63.26	c     2092    420     4505   228359   50    41888    6103   3898   1827 1.15
63.17/63.26	c     3238    420     6661   352787   52    63806    6714   6054   1404 2.31
63.17/63.26	c     4960    420     6254   305308   48    44225    7386   5647   1174 4.22
63.17/63.26	c     7544    420     6923   357948   51    50677    8125   6316    893 8.45
63.17/63.26	c    11423    420     5204   252477   48    36231    8938   4597    741 15.41
63.17/63.26	c    17245    420     6446   323393   50    59902    9832   5839    454 37.92
63.17/63.26	o 25
78.77/78.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
78.77/78.88	c    24939    420     9664   499826   51    60199    3457   9057    394 63.25
78.77/78.88	c    25040    402     2524   104218   41    13945    3803   1917    393 63.68
78.77/78.88	c    25291    402     3003   129010   42    19659    4184   2396    396 63.77
78.77/78.88	c    25767    402     3905   177402   45    27898    4603   3298    401 64.10
78.77/78.88	c    26580    402     3031   122959   40    18104    5064   2424    410 64.78
78.77/78.88	c    27900    402     5488   252171   45    41930    5571   4881    423 65.83
78.77/78.88	c    29983    402     6192   309000   49    55026    6129   5585    435 68.86
78.77/78.88	c    33207    402     5404   278316   51    60640    6742   4797    454 72.99
78.77/78.88	o 11
100.96/101.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
100.96/101.07	c    36486    402     4058   189546   46    25067    3453   3451    462 78.86
100.96/101.07	c    36586    402     2337    94108   40    12665    3799   1730    463 78.98
100.96/101.07	c    36836    402     2773   115287   41    16697    4179   2166    465 79.06
100.96/101.07	c    37311    402     3643   164025   45    25896    4597   3036    470 79.32
100.96/101.07	c    38128    402     5122   250811   48    36520    5057   4515    476 79.97
100.96/101.07	c    39448    402     4686   239716   51    38434    5563   4079    485 81.33
100.96/101.07	c    41530    393     5418   247130   45    37199    6120   4811    493 84.15
100.96/101.07	c    44753    393     4908   219081   44    33062    6733   4301    486 91.91
100.96/101.07	c    49689    393     7167   355504   49    52192    7407   6560    492 100.86
100.96/101.07	o 9
145.85/145.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
145.85/145.98	c    50071    393     7891   392715   49    60240    3451   7284    495 101.05
145.85/145.98	c    50172    393     2537   104847   41    18207    3797   1930    494 101.37
145.85/145.98	c    50426    393     3026   132977   43    25106    4177   2419    496 101.48
145.85/145.98	c    50902    393     3952   186819   47    32854    4595   3345    500 101.79
145.85/145.98	c    51716    393     2910   145998   50    24244    5055   2303    503 102.64
145.85/145.98	c    53037    393     5406   276641   51    55559    5561   4799    509 104.16
145.85/145.98	c    55118    393     6005   289326   48    43984    6118   5398    514 107.20
145.85/145.98	c    58342    393     5200   301504   57    35921    6730   4593    513 113.55
145.85/145.98	c    63279    393     6953   345225   49    50624    7404   6346    518 121.97
145.85/145.98	c    70786    393     4875   233929   47    38453    8145   4268    502 140.84
145.85/145.98	o 3
949.93/950.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
949.93/950.28	c    74606    393     7548   371155   49    63131    3451   6941    511 145.95
949.93/950.28	c    74711    365     2496   104757   41    17883    3797   1889    511 146.20
949.93/950.28	c    74961    365     2958   133447   45    21993    4177   2351    512 146.37
949.93/950.28	c    75436    365     3880   189103   48    34794    4595   3273    514 146.69
949.93/950.28	c    76250    365     2912   161079   55    21620    5055   2305    513 148.59
949.93/950.28	c    77571    365     5248   297487   56    32823    5561   4641    519 149.26
949.93/950.28	c    79652    365     5888   296132   50    32499    6118   5281    527 151.02
949.93/950.28	c    82875    365     5506   270611   49    45135    6730   4899    533 155.41
949.93/950.28	c    87813    365     7106   389074   54    44175    7404   6499    535 163.85
949.93/950.28	c    95319    365     5098   246983   48    42711    8145   4491    521 182.76
949.93/950.28	c   106680    365     8797   511307   58    79021    8960   8190    467 228.27
949.93/950.28	c   123825    365     5535   302524   54    38757    9857   4928    438 282.41
949.93/950.28	c   149644    357     6856   362507   52    62262   10843   6249    395 378.45
949.93/950.28	c   188477    357     6934   315470   45    73416   11928   6327    289 650.85
949.93/950.28	c   246829    357     7573   424806   56    74829   13121   6966    275 897.28
949.93/950.28	o 2
949.93/950.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
949.93/950.29	c   255453    357     9965   530972   53    83264    3443   9358    268 950.04
949.93/950.29	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 
949.93/950.29	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
949.93/950.29	c   54   255453   8921   283750     9965   530972   9358    268 950.04
949.93/950.29	c Objective: 2
949.93/950.29	s OPTIMUM FOUND
949.93/950.29	c Total time: 950.038 s

Verifier Data 

OK	2

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879469-1245244035/watcher-1879469-1245244035 -o /tmp/evaluation-result-1879469-1245244035/solver-1879469-1245244035 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879469-1245244035.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 5677
/proc/meminfo: memFree=1770624/2055920 swapFree=4182240/4192956
[pid=5677] ppid=5675 vsize=10844 CPUtime=0
/proc/5677/stat : 5677 (bsolo) R 5675 5677 5406 0 -1 4194304 293 0 0 0 0 0 0 0 20 0 1 0 192002097 11104256 271 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5677/statm: 2711 271 189 640 0 2067 0

[startup+0.106857 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 5677
/proc/meminfo: memFree=1770624/2055920 swapFree=4182240/4192956
[pid=5677] ppid=5675 vsize=11628 CPUtime=0.1
/proc/5677/stat : 5677 (bsolo) R 5675 5677 5406 0 -1 4194304 511 0 0 0 10 0 0 0 21 0 1 0 192002097 11907072 489 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5677/statm: 2907 489 198 640 0 2263 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11628

[startup+0.201868 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 5677
/proc/meminfo: memFree=1770624/2055920 swapFree=4182240/4192956
[pid=5677] ppid=5675 vsize=12144 CPUtime=0.19
/proc/5677/stat : 5677 (bsolo) R 5675 5677 5406 0 -1 4194304 651 0 0 0 19 0 0 0 21 0 1 0 192002097 12435456 629 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5677/statm: 3036 629 198 640 0 2392 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12144

[startup+0.30188 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 5677
/proc/meminfo: memFree=1770624/2055920 swapFree=4182240/4192956
[pid=5677] ppid=5675 vsize=12668 CPUtime=0.29
/proc/5677/stat : 5677 (bsolo) R 5675 5677 5406 0 -1 4194304 789 0 0 0 29 0 0 0 22 0 1 0 192002097 12972032 767 1992294400 134512640 137136520 4294956256 18446744073709551615 134600678 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5677/statm: 3167 767 198 640 0 2523 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12668

[startup+0.701924 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 5677
/proc/meminfo: memFree=1770624/2055920 swapFree=4182240/4192956
[pid=5677] ppid=5675 vsize=14340 CPUtime=0.69
/proc/5677/stat : 5677 (bsolo) R 5675 5677 5406 0 -1 4194304 1175 0 0 0 69 0 0 0 25 0 1 0 192002097 14684160 1153 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5677/statm: 3585 1153 198 640 0 2941 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14340

[startup+1.50202 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5678
/proc/meminfo: memFree=1765816/2055920 swapFree=4182240/4192956
[pid=5677] ppid=5675 vsize=16032 CPUtime=1.49
/proc/5677/stat : 5677 (bsolo) R 5675 5677 5406 0 -1 4194304 1620 0 0 0 149 0 0 0 25 0 1 0 192002097 16416768 1598 1992294400 134512640 137136520 4294956256 18446744073709551615 136509137 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5677/statm: 4008 1598 198 640 0 3364 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16032

[startup+3.1022 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5678
/proc/meminfo: memFree=1763640/2055920 swapFree=4182240/4192956
[pid=5677] ppid=5675 vsize=18248 CPUtime=3.09
/proc/5677/stat : 5677 (bsolo) R 5675 5677 5406 0 -1 4194304 2173 0 0 0 308 1 0 0 25 0 1 0 192002097 18685952 2151 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5677/statm: 4562 2151 198 640 0 3918 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18248

[startup+6.30156 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5678
/proc/meminfo: memFree=1762424/2055920 swapFree=4182240/4192956
[pid=5677] ppid=5675 vsize=18636 CPUtime=6.29
/proc/5677/stat : 5677 (bsolo) R 5675 5677 5406 0 -1 4194304 2261 0 0 0 627 2 0 0 25 0 1 0 192002097 19083264 2239 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5677/statm: 4659 2239 198 640 0 4015 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18636

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5678
/proc/meminfo: memFree=1761144/2055920 swapFree=4182240/4192956
[pid=5677] ppid=5675 vsize=19532 CPUtime=12.68
/proc/5677/stat : 5677 (bsolo) R 5675 5677 5406 0 -1 4194304 2491 0 0 0 1266 2 0 0 25 0 1 0 192002097 20000768 2469 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5677/statm: 4883 2469 198 640 0 4239 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19532

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5678
/proc/meminfo: memFree=1760312/2055920 swapFree=4182240/4192956
[pid=5677] ppid=5675 vsize=20436 CPUtime=25.49
/proc/5677/stat : 5677 (bsolo) R 5675 5677 5406 0 -1 4194304 2709 0 0 0 2545 4 0 0 25 0 1 0 192002097 20926464 2687 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5677/statm: 5109 2687 198 640 0 4465 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20436

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5678
/proc/meminfo: memFree=1759480/2055920 swapFree=4182240/4192956
[pid=5677] ppid=5675 vsize=21220 CPUtime=51.07
/proc/5677/stat : 5677 (bsolo) R 5675 5677 5406 0 -1 4194304 2906 0 0 0 5102 5 0 0 25 0 1 0 192002097 21729280 2884 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5677/statm: 5305 2884 198 640 0 4661 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 21220

[startup+102.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 5678
/proc/meminfo: memFree=1759480/2055920 swapFree=4182240/4192956
[pid=5677] ppid=5675 vsize=21212 CPUtime=102.26
/proc/5677/stat : 5677 (bsolo) R 5675 5677 5406 0 -1 4194304 2906 0 0 0 10217 9 0 0 25 0 1 0 192002097 21721088 2884 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5677/statm: 5303 2884 198 640 0 4659 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 21212

[startup+162.301 s]
/proc/loadavg: 1.06 1.02 1.00 2/66 5678
/proc/meminfo: memFree=1759480/2055920 swapFree=4182240/4192956
[pid=5677] ppid=5675 vsize=21204 CPUtime=162.25
/proc/5677/stat : 5677 (bsolo) R 5675 5677 5406 0 -1 4194304 2906 0 0 0 16212 13 0 0 25 0 1 0 192002097 21712896 2884 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5677/statm: 5301 2884 198 640 0 4657 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 21204

[startup+222.306 s]
/proc/loadavg: 1.06 1.03 1.00 2/66 5678
/proc/meminfo: memFree=1759480/2055920 swapFree=4182240/4192956
[pid=5677] ppid=5675 vsize=21204 CPUtime=222.23
/proc/5677/stat : 5677 (bsolo) R 5675 5677 5406 0 -1 4194304 2906 0 0 0 22207 16 0 0 25 0 1 0 192002097 21712896 2884 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5677/statm: 5301 2884 198 640 0 4657 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 21204

[startup+282.302 s]
/proc/loadavg: 1.05 1.04 1.00 2/66 5678
/proc/meminfo: memFree=1758520/2055920 swapFree=4182240/4192956
[pid=5677] ppid=5675 vsize=22104 CPUtime=282.22
/proc/5677/stat : 5677 (bsolo) R 5675 5677 5406 0 -1 4194304 3139 0 0 0 28202 20 0 0 25 0 1 0 192002097 22634496 3117 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5677/statm: 5526 3117 198 640 0 4882 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 22104

[startup+342.302 s]
/proc/loadavg: 1.13 1.06 1.01 2/66 5678
/proc/meminfo: memFree=1758456/2055920 swapFree=4182240/4192956
[pid=5677] ppid=5675 vsize=22104 CPUtime=342.2
/proc/5677/stat : 5677 (bsolo) R 5675 5677 5406 0 -1 4194304 3139 0 0 0 34197 23 0 0 25 0 1 0 192002097 22634496 3117 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5677/statm: 5526 3117 198 640 0 4882 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 22104

[startup+402.301 s]
/proc/loadavg: 1.12 1.06 1.00 2/66 5678
/proc/meminfo: memFree=1757304/2055920 swapFree=4182240/4192956
[pid=5677] ppid=5675 vsize=23272 CPUtime=402.18
/proc/5677/stat : 5677 (bsolo) R 5675 5677 5406 0 -1 4194304 3438 0 0 0 40192 26 0 0 25 0 1 0 192002097 23830528 3416 1992294400 134512640 137136520 4294956256 18446744073709551615 134573554 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5677/statm: 5818 3416 198 640 0 5174 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 23272

[startup+462.301 s]
/proc/loadavg: 1.11 1.06 1.00 2/66 5678
/proc/meminfo: memFree=1757240/2055920 swapFree=4182240/4192956
[pid=5677] ppid=5675 vsize=23272 CPUtime=462.17
/proc/5677/stat : 5677 (bsolo) R 5675 5677 5406 0 -1 4194304 3438 0 0 0 46189 28 0 0 25 0 1 0 192002097 23830528 3416 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5677/statm: 5818 3416 198 640 0 5174 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 23272

[startup+522.302 s]
/proc/loadavg: 1.10 1.07 1.00 2/66 5678
/proc/meminfo: memFree=1757240/2055920 swapFree=4182240/4192956
[pid=5677] ppid=5675 vsize=23272 CPUtime=522.15
/proc/5677/stat : 5677 (bsolo) R 5675 5677 5406 0 -1 4194304 3438 0 0 0 52184 31 0 0 25 0 1 0 192002097 23830528 3416 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5677/statm: 5818 3416 198 640 0 5174 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 23272

[startup+582.302 s]
/proc/loadavg: 1.09 1.07 1.00 2/66 5678
/proc/meminfo: memFree=1757240/2055920 swapFree=4182240/4192956
[pid=5677] ppid=5675 vsize=23272 CPUtime=582.13
/proc/5677/stat : 5677 (bsolo) R 5675 5677 5406 0 -1 4194304 3438 0 0 0 58180 33 0 0 25 0 1 0 192002097 23830528 3416 1992294400 134512640 137136520 4294956256 18446744073709551615 134544431 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5677/statm: 5818 3416 198 640 0 5174 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 23272

[startup+642.301 s]
/proc/loadavg: 1.13 1.08 1.01 2/66 5678
/proc/meminfo: memFree=1757240/2055920 swapFree=4182240/4192956
[pid=5677] ppid=5675 vsize=23272 CPUtime=642.12
/proc/5677/stat : 5677 (bsolo) R 5675 5677 5406 0 -1 4194304 3438 0 0 0 64176 36 0 0 25 0 1 0 192002097 23830528 3416 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5677/statm: 5818 3416 198 640 0 5174 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 23272

[startup+702.301 s]
/proc/loadavg: 1.17 1.10 1.01 2/66 5678
/proc/meminfo: memFree=1756152/2055920 swapFree=4182240/4192956
[pid=5677] ppid=5675 vsize=24296 CPUtime=702.11
/proc/5677/stat : 5677 (bsolo) R 5675 5677 5406 0 -1 4194304 3684 0 0 0 70171 40 0 0 25 0 1 0 192002097 24879104 3662 1992294400 134512640 137136520 4294956256 18446744073709551615 134544774 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5677/statm: 6074 3662 198 640 0 5430 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 24296

[startup+762.302 s]
/proc/loadavg: 1.18 1.11 1.02 2/66 5678
/proc/meminfo: memFree=1755704/2055920 swapFree=4182240/4192956
[pid=5677] ppid=5675 vsize=24796 CPUtime=762.1
/proc/5677/stat : 5677 (bsolo) R 5675 5677 5406 0 -1 4194304 3801 0 0 0 76166 44 0 0 25 0 1 0 192002097 25391104 3779 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5677/statm: 6199 3779 198 640 0 5555 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 24796

[startup+822.302 s]
/proc/loadavg: 1.18 1.12 1.02 2/66 5678
/proc/meminfo: memFree=1755640/2055920 swapFree=4182240/4192956
[pid=5677] ppid=5675 vsize=24796 CPUtime=822.07
/proc/5677/stat : 5677 (bsolo) R 5675 5677 5406 0 -1 4194304 3801 0 0 0 82161 46 0 0 25 0 1 0 192002097 25391104 3779 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5677/statm: 6199 3779 198 640 0 5555 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 24796

[startup+882.306 s]
/proc/loadavg: 1.10 1.11 1.02 2/66 5678
/proc/meminfo: memFree=1755384/2055920 swapFree=4182240/4192956
[pid=5677] ppid=5675 vsize=25056 CPUtime=882.06
/proc/5677/stat : 5677 (bsolo) R 5675 5677 5406 0 -1 4194304 3871 0 0 0 88157 49 0 0 25 0 1 0 192002097 25657344 3849 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5677/statm: 6264 3849 198 640 0 5620 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 25056

[startup+942.301 s]
/proc/loadavg: 1.07 1.10 1.02 2/66 5678
/proc/meminfo: memFree=1753080/2055920 swapFree=4182240/4192956
[pid=5677] ppid=5675 vsize=27368 CPUtime=942.04
/proc/5677/stat : 5677 (bsolo) R 5675 5677 5406 0 -1 4194304 4445 0 0 0 94152 52 0 0 25 0 1 0 192002097 28024832 4423 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5677/statm: 6842 4423 198 640 0 6198 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 27368

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

[startup+947.206 s]
/proc/loadavg: 1.06 1.10 1.02 2/66 5678
/proc/meminfo: memFree=1753080/2055920 swapFree=4182240/4192956
[pid=5677] ppid=5675 vsize=27368 CPUtime=946.94
/proc/5677/stat : 5677 (bsolo) R 5675 5677 5406 0 -1 4194304 4445 0 0 0 94642 52 0 0 25 0 1 0 192002097 28024832 4423 1992294400 134512640 137136520 4294956256 18446744073709551615 136502385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5677/statm: 6842 4423 198 640 0 6198 0
Current children cumulated CPU time (s) 946.94
Current children cumulated vsize (KiB) 27368

[startup+948.801 s]
/proc/loadavg: 1.06 1.10 1.02 2/66 5678
/proc/meminfo: memFree=1753080/2055920 swapFree=4182240/4192956
[pid=5677] ppid=5675 vsize=27368 CPUtime=948.54
/proc/5677/stat : 5677 (bsolo) R 5675 5677 5406 0 -1 4194304 4445 0 0 0 94802 52 0 0 25 0 1 0 192002097 28024832 4423 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5677/statm: 6842 4423 198 640 0 6198 0
Current children cumulated CPU time (s) 948.54
Current children cumulated vsize (KiB) 27368

[startup+949.601 s]
/proc/loadavg: 1.06 1.10 1.02 2/66 5678
/proc/meminfo: memFree=1753080/2055920 swapFree=4182240/4192956
[pid=5677] ppid=5675 vsize=27368 CPUtime=949.34
/proc/5677/stat : 5677 (bsolo) R 5675 5677 5406 0 -1 4194304 4445 0 0 0 94882 52 0 0 25 0 1 0 192002097 28024832 4423 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5677/statm: 6842 4423 198 640 0 6198 0
Current children cumulated CPU time (s) 949.34
Current children cumulated vsize (KiB) 27368

[startup+950.001 s]
/proc/loadavg: 1.06 1.10 1.02 2/66 5678
/proc/meminfo: memFree=1753080/2055920 swapFree=4182240/4192956
[pid=5677] ppid=5675 vsize=27368 CPUtime=949.74
/proc/5677/stat : 5677 (bsolo) R 5675 5677 5406 0 -1 4194304 4445 0 0 0 94922 52 0 0 25 0 1 0 192002097 28024832 4423 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5677/statm: 6842 4423 198 640 0 6198 0
Current children cumulated CPU time (s) 949.74
Current children cumulated vsize (KiB) 27368

[startup+950.201 s]
/proc/loadavg: 1.06 1.10 1.02 2/66 5678
/proc/meminfo: memFree=1753080/2055920 swapFree=4182240/4192956
[pid=5677] ppid=5675 vsize=27368 CPUtime=949.93
/proc/5677/stat : 5677 (bsolo) R 5675 5677 5406 0 -1 4194304 4445 0 0 0 94941 52 0 0 25 0 1 0 192002097 28024832 4423 1992294400 134512640 137136520 4294956256 18446744073709551615 134600706 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5677/statm: 6842 4423 198 640 0 6198 0
Current children cumulated CPU time (s) 949.93
Current children cumulated vsize (KiB) 27368

Child status: 0
Real time (s): 950.297
CPU time (s): 950.045
CPU user time (s): 949.512
CPU system time (s): 0.532918
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 27368

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

runsolver used 1.03684 second user time and 2.29765 second system time

The end

Launcher Data 

Begin job on node85 at 2009-06-17 15:07:15
IDJOB=1879469
IDBENCH=48019
IDSOLVER=701
FILE ID=node85/1879469-1245244035
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=43-P1=107-P2=31-P3=113-P4=127-P5=2-P6=79-B.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879469-1245244035/watcher-1879469-1245244035 -o /tmp/evaluation-result-1879469-1245244035/solver-1879469-1245244035 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1879469-1245244035.opb

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

MD5SUM BENCH= a998edafd51e17056858d37f83d42bbc
RANDOM SEED=1339841834

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:       1771104 kB
Buffers:         33772 kB
Cached:         178700 kB
SwapCached:       5196 kB
Active:          60400 kB
Inactive:       160252 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1771104 kB
SwapTotal:     4192956 kB
SwapFree:      4182240 kB
Dirty:            3944 kB
Writeback:           0 kB
Mapped:          13804 kB
Slab:            50160 kB
Committed_AS:    91992 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-1879469-1245244035.opb

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