Trace number 1876522

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.1OPT3 34.4928 34.5037

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=53-P1=5-P2=67-P3=53-P4=17-P5=103-P6=29-P7=71-P8=47-B.opb
MD5SUM43e5891f3de726e47642c5b88db45e69
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 benchmark8.5577
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 variables168
Total number of constraints17
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 constraints17
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)392
Sum of products size (including duplicates)784
Number of different products392
Sum of products size784

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: Cardinality Constraint 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-1876522-1245186874.opb
0.00/0.00	c File size is 29361 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: 560 Constr: 809 392/0/417 Lit: 3409 Watch. Lit: 2106
0.00/0.00	c Obj. Vars: 7 (1.25 % of total variables)
0.00/0.01	c Pre-processing Time: 0.009 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    560      809     3409    4     2923    4596      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
11.59/11.70	c      101    560      979     8311    8     3343    5056    170   4208 0.02
11.59/11.70	c      252    560     1165    16339   14     3760    5562    356   5727 0.04
11.59/11.70	c      477    560     1430    29351   20     4283    6119    621   6625 0.07
11.59/11.70	c      817    560     1789    47808   26     5015    6731    980   6982 0.12
11.59/11.70	c     1325    560     2382    72031   30     6268    7405   1573   6592 0.20
11.59/11.70	c     2089    560     3196   116649   36     7977    8146   2387   6589 0.32
11.59/11.70	c     3235    560     4582   175710   38    11014    8961   3773   5577 0.58
11.59/11.70	c     4957    551     6700   266729   39    15594    9858   5891   4845 1.02
11.59/11.70	c     7543    551     9706   407342   41    21918   10844   8897   4664 1.62
11.59/11.70	c    11423    550     9091   393349   43    20254   11929   8282   4212 2.71
11.59/11.70	c    17245    550     8987   374985   41    20043   13122   8178   3322 5.19
11.59/11.70	c    25983    538    12250   518506   42    27320   14435  11441   2882 9.02
11.59/11.70	o 65
15.68/15.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.68/15.73	c    33824    530    13573   598804   44    30296    4610  12764   2891 11.70
15.68/15.73	c    33924    530     3232   110309   34     8004    5072   2423   2877 11.79
15.68/15.73	c    34175    530     3505   124360   35     8539    5580   2696   2886 11.84
15.68/15.73	c    34650    530     4016   152184   37     9618    6139   3207   2905 11.93
15.68/15.73	c    35463    530     4918   192078   39    11515    6753   4109   2932 12.09
15.68/15.73	c    36784    530     6364   261855   41    14611    7429   5555   2947 12.48
15.68/15.73	c    38866    530     4832   192787   39    11226    8172   4023   2889 13.45
15.68/15.73	c    42090    530     8485   360287   42    19060    8990   7676   2886 14.58
15.68/15.73	o 5
21.88/21.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.88/21.90	c    46309    530     8628   358324   41    19810    4610   7819   2943 15.73
21.88/21.90	c    46409    530     3266   111570   34     8112    5072   2457   2941 15.78
21.88/21.90	c    46660    530     3638   124445   34     8883    5580   2829   2946 15.84
21.88/21.90	c    47136    529     4169   146019   35    10029    6139   3360   2952 15.97
21.88/21.90	c    47950    529     5365   179994   33    13065    6753   4556   2971 16.14
21.88/21.90	c    49271    529     6814   240257   35    16167    7429   6005   2965 16.61
21.88/21.90	c    51353    529     5281   178140   33    12238    8172   4472   2929 17.53
21.88/21.90	c    54576    528     4909   176453   35    11440    8990   4100   2974 18.34
21.88/21.90	c    59513    512     6178   191549   31    14941    9890   5369   2910 20.45
21.88/21.90	o 3
34.38/34.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
34.38/34.50	c    62024    481     8895   285555   32    20665    4602   8086   2833 21.89
34.38/34.50	c    62124    462     3256    88576   27     7944    5063   2447   2826 21.98
34.38/34.50	c    62374    462     3623   102560   28     8834    5570   2814   2832 22.02
34.38/34.50	c    62849    462     4152   129088   31     9987    6128   3343   2840 22.13
34.38/34.50	c    63662    462     5050   172482   34    11920    6741   4241   2847 22.36
34.38/34.50	c    64982    461     6537   243485   37    15130    7416   5728   2849 22.80
34.38/34.50	c    67064    461     4936   200607   40    11467    8158   4127   2807 23.89
34.38/34.50	c    70287    461     8385   364025   43    18708    8974   7576   2736 25.68
34.38/34.50	c    75223    458     9075   388493   42    20150    9872   8266   2650 28.39
34.38/34.50	c    82729    458     7120   305860   42    15931   10860   6311   2521 32.81
34.38/34.50	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 x50 x51 -x52 -x53 -x54 -x55 -x56 x57 x58 x59 -x60 -x61 -x62 x63 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 x64 -x65 -x66 -x67 -x68 -x69 -x70 x113 -x114 -x115 -x116 -x117 -x118 -x119 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 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x71 x72 -x73 -x74 -x75 -x76 -x77 -x120 -x121 -x122 -x123 -x124 -x125 -x126 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 x78 -x79 -x80 x81 -x82 -x83 -x84 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x316 -x317 -x318 x319 -x320 -x321 -x322 -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 x85 -x86 -x87 -x88 x89 -x90 x91 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x365 -x366 -x367 -x368 x369 -x370 x371 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 x92 x93 -x94 -x95 -x96 -x97 -x98 -x141 -x142 x143 x144 -x145 -x146 -x147 x414 x415 -x416 -x417 -x418 -x419 -x420 x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x99 -x100 -x101 -x102 -x103 -x104 -x105 x148 -x149 -x150 -x151 -x152 -x153 -x154 x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x106 x107 -x108 -x109 -x110 -x111 -x112 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x512 x513 -x514 -x515 -x516 -x517 -x518 x519 x520 -x521 -x522 -x523 -x524 -x525 x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 x554 x555 -x556 -x557 -x558 -x559 -x560 x162 -x163 -x164 -x165 -x166 -x167 -x168 
34.48/34.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
34.48/34.50	c   39    85443   1267    94243     9906   421259   9097   2477 34.49
34.48/34.50	c Objective: 3
34.48/34.50	s OPTIMUM FOUND
34.48/34.50	c Total time: 34.489 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-1876522-1245186874/watcher-1876522-1245186874 -o /tmp/evaluation-result-1876522-1245186874/solver-1876522-1245186874 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876522-1245186874.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 4507
/proc/meminfo: memFree=1834864/2055920 swapFree=4191900/4192956
[pid=4507] ppid=4505 vsize=10740 CPUtime=0
/proc/4507/stat : 4507 (bsolo) R 4505 4507 3375 0 -1 4194304 252 0 0 0 0 0 0 0 18 0 1 0 186288074 10997760 236 1992294400 134512640 137136520 4294956256 18446744073709551615 136656950 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4507/statm: 2685 237 175 640 0 2033 0

[startup+0.0306709 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4507
/proc/meminfo: memFree=1834864/2055920 swapFree=4191900/4192956
[pid=4507] ppid=4505 vsize=10976 CPUtime=0.02
/proc/4507/stat : 4507 (bsolo) R 4505 4507 3375 0 -1 4194304 349 0 0 0 2 0 0 0 18 0 1 0 186288074 11239424 325 1992294400 134512640 137136520 4294956256 18446744073709551615 134574855 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4507/statm: 2744 325 198 640 0 2100 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10976

[startup+0.101678 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4507
/proc/meminfo: memFree=1834864/2055920 swapFree=4191900/4192956
[pid=4507] ppid=4505 vsize=11484 CPUtime=0.09
/proc/4507/stat : 4507 (bsolo) R 4505 4507 3375 0 -1 4194304 466 0 0 0 9 0 0 0 18 0 1 0 186288074 11759616 442 1992294400 134512640 137136520 4294956256 18446744073709551615 136501971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4507/statm: 2871 442 198 640 0 2227 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11484

[startup+0.3017 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4507
/proc/meminfo: memFree=1834864/2055920 swapFree=4191900/4192956
[pid=4507] ppid=4505 vsize=12504 CPUtime=0.29
/proc/4507/stat : 4507 (bsolo) R 4505 4507 3375 0 -1 4194304 726 0 0 0 29 0 0 0 19 0 1 0 186288074 12804096 702 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4507/statm: 3126 702 198 640 0 2482 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12504

[startup+0.701745 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4507
/proc/meminfo: memFree=1834864/2055920 swapFree=4191900/4192956
[pid=4507] ppid=4505 vsize=13768 CPUtime=0.69
/proc/4507/stat : 4507 (bsolo) R 4505 4507 3375 0 -1 4194304 1060 0 0 0 69 0 0 0 22 0 1 0 186288074 14098432 1036 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4507/statm: 3442 1036 198 640 0 2798 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13768

[startup+1.50183 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4508
/proc/meminfo: memFree=1830376/2055920 swapFree=4191900/4192956
[pid=4507] ppid=4505 vsize=16420 CPUtime=1.49
/proc/4507/stat : 4507 (bsolo) R 4505 4507 3375 0 -1 4194304 1702 0 0 0 148 1 0 0 25 0 1 0 186288074 16814080 1678 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4507/statm: 4105 1678 198 640 0 3461 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16420

[startup+3.10201 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4508
/proc/meminfo: memFree=1826280/2055920 swapFree=4191900/4192956
[pid=4507] ppid=4505 vsize=19108 CPUtime=3.09
/proc/4507/stat : 4507 (bsolo) R 4505 4507 3375 0 -1 4194304 2391 0 0 0 307 2 0 0 25 0 1 0 186288074 19566592 2367 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4507/statm: 4777 2367 198 640 0 4133 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19108

[startup+6.30137 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4508
/proc/meminfo: memFree=1825256/2055920 swapFree=4191900/4192956
[pid=4507] ppid=4505 vsize=19832 CPUtime=6.29
/proc/4507/stat : 4507 (bsolo) R 4505 4507 3375 0 -1 4194304 2562 0 0 0 626 3 0 0 25 0 1 0 186288074 20307968 2538 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4507/statm: 4958 2538 198 640 0 4314 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19832

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4508
/proc/meminfo: memFree=1823848/2055920 swapFree=4191900/4192956
[pid=4507] ppid=4505 vsize=21232 CPUtime=12.68
/proc/4507/stat : 4507 (bsolo) R 4505 4507 3375 0 -1 4194304 2921 0 0 0 1263 5 0 0 25 0 1 0 186288074 21741568 2897 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4507/statm: 5308 2897 198 640 0 4664 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21232

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4508
/proc/meminfo: memFree=1823784/2055920 swapFree=4191900/4192956
[pid=4507] ppid=4505 vsize=21232 CPUtime=25.49
/proc/4507/stat : 4507 (bsolo) R 4505 4507 3375 0 -1 4194304 2921 0 0 0 2540 9 0 0 25 0 1 0 186288074 21741568 2897 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4507/statm: 5308 2897 198 640 0 4664 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21232

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

[startup+28.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4508
/proc/meminfo: memFree=1823784/2055920 swapFree=4191900/4192956
[pid=4507] ppid=4505 vsize=21232 CPUtime=28.69
/proc/4507/stat : 4507 (bsolo) R 4505 4507 3375 0 -1 4194304 2921 0 0 0 2859 10 0 0 25 0 1 0 186288074 21741568 2897 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4507/statm: 5308 2897 198 640 0 4664 0
Current children cumulated CPU time (s) 28.69
Current children cumulated vsize (KiB) 21232

[startup+31.9052 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4508
/proc/meminfo: memFree=1823784/2055920 swapFree=4191900/4192956
[pid=4507] ppid=4505 vsize=21232 CPUtime=31.89
/proc/4507/stat : 4507 (bsolo) R 4505 4507 3375 0 -1 4194304 2921 0 0 0 3179 10 0 0 25 0 1 0 186288074 21741568 2897 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4507/statm: 5308 2897 198 640 0 4664 0
Current children cumulated CPU time (s) 31.89
Current children cumulated vsize (KiB) 21232

[startup+33.5024 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4508
/proc/meminfo: memFree=1823784/2055920 swapFree=4191900/4192956
[pid=4507] ppid=4505 vsize=21232 CPUtime=33.48
/proc/4507/stat : 4507 (bsolo) R 4505 4507 3375 0 -1 4194304 2921 0 0 0 3338 10 0 0 25 0 1 0 186288074 21741568 2897 1992294400 134512640 137136520 4294956256 18446744073709551615 136499604 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4507/statm: 5308 2897 198 640 0 4664 0
Current children cumulated CPU time (s) 33.48
Current children cumulated vsize (KiB) 21232

[startup+34.3015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4508
/proc/meminfo: memFree=1823784/2055920 swapFree=4191900/4192956
[pid=4507] ppid=4505 vsize=21232 CPUtime=34.28
/proc/4507/stat : 4507 (bsolo) R 4505 4507 3375 0 -1 4194304 2921 0 0 0 3418 10 0 0 25 0 1 0 186288074 21741568 2897 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4507/statm: 5308 2897 198 640 0 4664 0
Current children cumulated CPU time (s) 34.28
Current children cumulated vsize (KiB) 21232

[startup+34.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4508
/proc/meminfo: memFree=1823784/2055920 swapFree=4191900/4192956
[pid=4507] ppid=4505 vsize=13348 CPUtime=34.48
/proc/4507/stat : 4507 (bsolo) R 4505 4507 3375 0 -1 4194304 2922 0 0 0 3438 10 0 0 25 0 1 0 186288074 13668352 2880 1992294400 134512640 137136520 4294956256 18446744073709551615 136571969 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4507/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 34.48
Current children cumulated vsize (KiB) 13348

Child status: 0
Real time (s): 34.5037
CPU time (s): 34.4928
CPU user time (s): 34.3838
CPU system time (s): 0.108983
CPU usage (%): 99.9682
Max. virtual memory (cumulated for all children) (KiB): 21232

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

runsolver used 0.027995 second user time and 0.087986 second system time

The end

Launcher Data 

Begin job on node9 at 2009-06-16 23:14:34
IDJOB=1876522
IDBENCH=47932
IDSOLVER=699
FILE ID=node9/1876522-1245186874
PBS_JOBID= 9363915
Free space on /tmp= 66160 MiB

SOLVER NAME= bsolo 3.1
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=53-P1=5-P2=67-P3=53-P4=17-P5=103-P6=29-P7=71-P8=47-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876522-1245186874/watcher-1876522-1245186874 -o /tmp/evaluation-result-1876522-1245186874/solver-1876522-1245186874 -C 1800 -W 2000 -M 1800  bsolo -l2 -t1800 -m1800 HOME/instance-1876522-1245186874.opb

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

MD5SUM BENCH= 43e5891f3de726e47642c5b88db45e69
RANDOM SEED=847304616

node9.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.231
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.231
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:       1835280 kB
Buffers:         48828 kB
Cached:         105136 kB
SwapCached:        260 kB
Active:          55096 kB
Inactive:       111704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1835280 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            4256 kB
Writeback:           0 kB
Mapped:          21996 kB
Slab:            39836 kB
Committed_AS:   166204 kB
PageTables:       1392 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-1876522-1245186874.opb

Free space on /tmp at the end= 66160 MiB
End job on node9 at 2009-06-16 23:15:08