Trace number 2670475

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 NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2 CardSAT3 1798 1798.68

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=127-P1=293-P2=269-P3=7-P4=157-B.opb
MD5SUM5afebeda0ba6ac0761acdbdcd52ef74a
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 benchmark0.484926
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 variables108
Total number of constraints9
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 constraints9
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)324
Sum of products size (including duplicates)648
Number of different products324
Sum of products size648

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.2 - 23/05/2010 : 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 Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2670475-1276702246.opb
0.00/0.00	c File size is 24020 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.004 s
0.00/0.00	c Var: 432 Constr: 661 324/0/337 Lit: 2763 Watch. Lit: 1694
0.00/0.00	c Obj. Vars: 9 (2.08333 % 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    432      661     2763    4     2377    3689      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
607.26/607.52	c      103    432      855    12527   14     2896    4058    194   3029 0.03
607.26/607.52	c      254    432     1087    28329   26     3400    4464    426   2886 0.09
607.26/607.52	c      479    432     1516    54277   35     4546    4911    855   2993 0.16
607.26/607.52	c      817    432     2167    93257   43     6291    5403   1506   2876 0.28
607.26/607.52	c     1326    432     3127   149380   47     8730    5944   2466   2684 0.49
607.26/607.52	c     2089    432     4622   246811   53    12502    6539   3961   2321 0.90
607.26/607.52	c     3236    432     6797   399204   58    17939    7193   6136   2236 1.45
607.26/607.52	c     4958    432     6094   408225   66    14816    7913   5433   2138 2.32
607.26/607.52	c     7543    432     7107   441826   62    18771    8705   6446   1917 3.93
607.26/607.52	c    11422    432     5631   331500   58    14304    9576   4970   1410 8.10
607.26/607.52	c    17244    432     7166   407981   56    18829   10534   6505   1274 13.53
607.26/607.52	c    25982    432     8033   491441   61    20746   11588   7372   1145 22.69
607.26/607.52	c    39092    432     9780   590774   60    25361   12747   9119   1050 37.23
607.26/607.52	c    58762    432     7753   537451   69    20297   14022   7092   1011 58.09
607.26/607.52	c    88272    432    13778   832976   60    34846   15425  13117    956 92.26
607.26/607.52	c   132542    432    12803   859211   67    32293   16968  12142    857 154.61
607.26/607.52	c   198952    431     9149   653825   71    23813   18665   8488    820 242.46
607.26/607.52	c   298572    431    16648  1053832   63    44320   20532  15987    725 411.37
607.26/607.52	o 257
653.74/654.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
653.74/654.05	c   399255    431    17293  1148334   66    44971    3707  16632    657 607.29
653.74/654.05	c   399356    431     2711   151249   55     7206    4078   2050    657 607.81
653.74/654.05	c   399606    431     3182   182663   57     8431    4486   2521    657 607.90
653.74/654.05	c   400081    431     4086   247516   60    10669    4935   3425    657 608.12
653.74/654.05	c   400895    431     3133   181942   58     8318    5429   2472    658 608.73
653.74/654.05	c   402216    431     5489   346138   63    14224    5972   4828    659 609.87
653.74/654.05	c   404298    431     6060   384794   63    15266    6570   5399    660 611.84
653.74/654.05	c   407522    431     4996   313765   62    12564    7228   4335    661 615.70
653.74/654.05	c   412458    431     6377   401799   63    16326    7951   5716    664 620.96
653.74/654.05	c   419964    431     7680   477311   62    20095    8747   7019    667 629.26
653.74/654.05	c   431326    431     6265   372357   59    17099    9622   5604    671 642.08
653.74/654.05	o 65
709.62/709.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
709.62/709.98	c   442855    431     7103   520717   73    17454    3708   6442    677 653.80
709.62/709.98	c   442968    431     2740   160021   58     7174    4079   2079    677 653.90
709.62/709.98	c   443218    431     3226   197638   61     8265    4487   2565    677 653.98
709.62/709.98	c   443693    431     4136   270536   65    10053    4936   3475    678 654.18
709.62/709.98	c   444507    431     3133   202503   64     7456    5430   2472    679 654.59
709.62/709.98	c   445827    420     5690   357984   62    14613    5974   5029    680 655.24
709.62/709.98	c   447909    420     6637   368707   55    18932    6572   5976    681 656.80
709.62/709.98	c   451132    420     5992   367662   61    16545    7230   5331    684 659.55
709.62/709.98	c   456069    420     7899   459594   58    22168    7954   7238    687 663.68
709.62/709.98	c   463576    420     5592   337852   60    14898    8750   4931    690 670.94
709.62/709.98	c   474938    420     8648   593614   68    21826    9626   7987    696 681.58
709.62/709.98	c   492082    420     6125   366861   59    16664   10589   5464    703 699.68
709.62/709.98	o 25
931.25/931.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
931.25/931.60	c   504712    409     6980   392591   56    19002    3741   6319    711 709.71
931.25/931.60	c   504812    409     2722   124679   45     7341    4116   2061    711 709.79
931.25/931.60	c   505063    409     3207   156390   48     8729    4528   2546    711 709.88
931.25/931.60	c   505539    409     4128   217916   52    11212    4981   3467    711 710.13
931.25/931.60	c   506352    409     3158   178888   56     8579    5480   2497    712 710.66
931.25/931.60	c   507672    409     5585   344767   61    14991    6029   4924    713 711.70
931.25/931.60	c   509753    409     6036   386722   64    15291    6632   5375    713 714.12
931.25/931.60	c   512977    399     4474   269350   60    11461    7296   3813    714 717.65
931.25/931.60	c   517913    387     5450   321987   59    14679    8026   4789    717 721.44
931.25/931.60	c   525420    387     6970   415480   59    18845    8829   6309    721 728.12
931.25/931.60	c   536781    387     5269   310288   58    14253    9712   4608    725 739.76
931.25/931.60	c   553925    387     6850   429394   62    17876   10684   6189    729 759.66
931.25/931.60	c   579745    387    10919   717602   65    27884   11753  10258    733 790.76
931.25/931.60	c   618578    387     9017   617636   68    22226   12929   8356    733 843.34
931.25/931.60	c   676930    387    10664   810044   75    28397   14222  10003    755 895.77
931.25/931.60	o 9
1155.96/1156.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1155.96/1156.49	c   705524    387    11107   754462   67    27783    3700  10446    757 931.25
1155.96/1156.49	c   705625    376     2715   152768   56     7259    4071   2054    757 931.43
1155.96/1156.49	c   705875    376     3209   192046   59     8596    4479   2548    757 931.52
1155.96/1156.49	c   706352    376     4133   254747   61    11206    4927   3472    758 931.75
1155.96/1156.49	c   707165    376     3133   165891   52     8906    5420   2472    758 932.23
1155.96/1156.49	c   708485    376     5728   313495   54    16561    5963   5067    759 933.16
1155.96/1156.49	c   710566    376     6406   393118   61    16945    6560   5745    759 935.23
1155.96/1156.49	c   713790    376     5586   333885   59    15357    7217   4925    761 937.82
1155.96/1156.49	c   718726    376     6821   447588   65    16860    7939   6160    761 943.37
1155.96/1156.49	c   726232    376     8254   509539   61    22303    8733   7593    763 951.24
1155.96/1156.49	c   737593    376     6157   376642   61    16179    9607   5496    764 964.32
1155.96/1156.49	c   754737    376     7855   529684   67    19727   10568   7194    767 983.30
1155.96/1156.49	c   780556    376     7249   440335   60    19725   11625   6588    772 1010.41
1155.96/1156.49	c   819389    376     7319   471731   64    19004   12788   6658    771 1062.55
1155.96/1156.49	c   877742    376     9972   622283   62    26516   14067   9311    769 1140.55
1155.96/1156.49	o 3
1797.91/1798.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.91/1798.67	c   889925    376    11123   758640   68    27573    3698  10462    769 1156.06
1797.91/1798.67	c   890025    376     2718   144774   53     7268    4068   2057    769 1156.24
1797.91/1798.67	c   890276    376     3208   177656   55     8638    4475   2547    769 1156.34
1797.91/1798.67	c   890751    376     4141   233709   56    11334    4923   3480    770 1156.54
1797.91/1798.67	c   891565    376     5640   337774   59    15056    5416   4979    770 1157.17
1797.91/1798.67	c   892885    376     5278   330648   62    13752    5958   4617    770 1158.20
1797.91/1798.67	c   894966    376     6124   335265   54    17586    6554   5463    771 1159.42
1797.91/1798.67	c   898190    365     5315   351169   66    13747    7210   4654    773 1161.49
1797.91/1798.67	c   903127    365     7183   405710   56    20338    7932   6522    775 1164.85
1797.91/1798.67	c   910636    342     4638   288394   62    12239    8726   3977    777 1170.88
1797.91/1798.67	c   921998    342     7626   511023   67    19494    9599   6965    780 1180.84
1797.91/1798.67	c   939142    342     9842   580020   58    27218   10559   9181    784 1197.08
1797.91/1798.67	c   964962    342     9025   580382   64    22865   11615   8364    788 1223.23
1797.91/1798.67	c  1003795    342     7475   454684   60    19939   12777   6814    789 1272.08
1797.91/1798.67	c  1062148    342    11959   747525   62    31987   14055  11298    787 1348.24
1797.91/1798.67	c  1149780    342     8290   522541   63    21645   15461   7629    782 1468.70
1797.91/1798.67	c  1281333    342    14959   961989   64    38448   17008  14298    765 1674.14
1797.91/1798.67	c Resources Exceeded
1797.91/1798.67	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 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 -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 x46 x47 x48 -x49 -x50 x51 -x52 -x53 -x54 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 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 -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 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x82 x83 x84 x85 x86 -x87 -x88 -x89 -x90 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 -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 x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 x362 -x363 -x364 -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 -x414 x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 
1797.91/1798.67	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1798.67	c   88  1356782   6820  1379617    15897  1032847  15236    754 1798.00
1797.91/1798.67	c Objective: 3
1797.91/1798.67	s SATISFIABLE
1797.91/1798.67	c Total time: 1798 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-2670475-1276702246/watcher-2670475-1276702246 -o /tmp/evaluation-result-2670475-1276702246/solver-2670475-1276702246 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670475-1276702246.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.16 1.03 0.97 3/106 12791
/proc/meminfo: memFree=1729436/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=10924 CPUtime=0
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 362 0 0 0 0 0 0 0 18 0 1 0 45828107 11186176 275 1992294400 134512640 137138936 4292034064 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 2731 277 185 642 0 2087 0

[startup+0.0783219 s]
/proc/loadavg: 1.16 1.03 0.97 3/106 12791
/proc/meminfo: memFree=1729436/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=11188 CPUtime=0.07
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 452 0 0 0 7 0 0 0 20 0 1 0 45828107 11456512 365 1992294400 134512640 137138936 4292034064 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 2797 365 192 642 0 2153 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11188

[startup+0.101326 s]
/proc/loadavg: 1.16 1.03 0.97 3/106 12791
/proc/meminfo: memFree=1729436/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=11316 CPUtime=0.09
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 482 0 0 0 9 0 0 0 20 0 1 0 45828107 11587584 395 1992294400 134512640 137138936 4292034064 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 2829 395 192 642 0 2185 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11316

[startup+0.300363 s]
/proc/loadavg: 1.16 1.03 0.97 3/106 12791
/proc/meminfo: memFree=1729436/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=12348 CPUtime=0.29
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 721 0 0 0 29 0 0 0 20 0 1 0 45828107 12644352 634 1992294400 134512640 137138936 4292034064 18446744073709551615 134573856 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 3087 635 192 642 0 2443 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12348

[startup+0.700437 s]
/proc/loadavg: 1.16 1.03 0.97 3/106 12791
/proc/meminfo: memFree=1729436/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=13888 CPUtime=0.69
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 1107 0 0 0 69 0 0 0 21 0 1 0 45828107 14221312 1020 1992294400 134512640 137138936 4292034064 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 3472 1020 192 642 0 2828 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13888

[startup+1.50059 s]
/proc/loadavg: 1.16 1.03 0.97 2/107 12792
/proc/meminfo: memFree=1725212/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=16984 CPUtime=1.49
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 1888 0 0 0 148 1 0 0 23 0 1 0 45828107 17391616 1801 1992294400 134512640 137138936 4292034064 18446744073709551615 134606592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 4246 1801 192 642 0 3602 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16984

[startup+3.10088 s]
/proc/loadavg: 1.16 1.03 0.97 2/107 12792
/proc/meminfo: memFree=1721616/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=19184 CPUtime=3.09
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 2453 0 0 0 307 2 0 0 25 0 1 0 45828107 19644416 2366 1992294400 134512640 137138936 4292034064 18446744073709551615 135984558 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 4796 2366 192 642 0 4152 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19184

[startup+6.30047 s]
/proc/loadavg: 1.15 1.03 0.97 2/107 12792
/proc/meminfo: memFree=1720128/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=19576 CPUtime=6.29
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 2545 0 0 0 627 2 0 0 25 0 1 0 45828107 20045824 2458 1992294400 134512640 137138936 4292034064 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 4894 2458 192 642 0 4250 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19576

[startup+12.7007 s]
/proc/loadavg: 1.13 1.03 0.97 2/107 12792
/proc/meminfo: memFree=1719508/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=20220 CPUtime=12.68
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 2704 0 0 0 1265 3 0 0 25 0 1 0 45828107 20705280 2617 1992294400 134512640 137138936 4292034064 18446744073709551615 134542643 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 5055 2617 192 642 0 4411 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20220

[startup+25.502 s]
/proc/loadavg: 1.10 1.03 0.97 2/107 12792
/proc/meminfo: memFree=1718392/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=22000 CPUtime=25.48
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 3146 0 0 0 2542 6 0 0 25 0 1 0 45828107 22528000 3059 1992294400 134512640 137138936 4292034064 18446744073709551615 134601161 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 5500 3059 192 642 0 4856 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22000

[startup+51.1008 s]
/proc/loadavg: 1.07 1.03 0.97 2/107 12794
/proc/meminfo: memFree=1715044/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=24872 CPUtime=51.07
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 3861 0 0 0 5096 11 0 0 25 0 1 0 45828107 25468928 3774 1992294400 134512640 137138936 4292034064 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 6218 3774 192 642 0 5574 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 24872

[startup+102.308 s]
/proc/loadavg: 1.03 1.02 0.97 2/107 12794
/proc/meminfo: memFree=1714176/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=25648 CPUtime=102.26
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 4067 0 0 0 10206 20 0 0 25 0 1 0 45828107 26263552 3980 1992294400 134512640 137138936 4292034064 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 6412 3980 192 642 0 5768 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 25648

[startup+162.301 s]
/proc/loadavg: 1.01 1.02 0.97 2/107 12796
/proc/meminfo: memFree=1710952/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=28872 CPUtime=162.23
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 4868 0 0 0 16188 35 0 0 25 0 1 0 45828107 29564928 4781 1992294400 134512640 137138936 4292034064 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 7218 4781 192 642 0 6574 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 28872

[startup+222.301 s]
/proc/loadavg: 1.00 1.01 0.97 2/107 12798
/proc/meminfo: memFree=1709340/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=30360 CPUtime=222.21
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 5237 0 0 0 22174 47 0 0 25 0 1 0 45828107 31088640 5150 1992294400 134512640 137138936 4292034064 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 7590 5150 192 642 0 6946 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 30360

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 12800
/proc/meminfo: memFree=1709340/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=30356 CPUtime=282.19
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 5239 0 0 0 28160 59 0 0 25 0 1 0 45828107 31084544 5152 1992294400 134512640 137138936 4292034064 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 7589 5152 192 642 0 6945 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 30356

[startup+342.301 s]
/proc/loadavg: 1.04 1.01 0.97 2/107 12800
/proc/meminfo: memFree=1709340/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=30356 CPUtime=342.16
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 5239 0 0 0 34145 71 0 0 25 0 1 0 45828107 31084544 5152 1992294400 134512640 137138936 4292034064 18446744073709551615 134542174 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 7589 5152 192 642 0 6945 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 30356

[startup+402.301 s]
/proc/loadavg: 1.01 1.01 0.97 2/107 12802
/proc/meminfo: memFree=1709340/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=30356 CPUtime=402.14
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 5239 0 0 0 40132 82 0 0 25 0 1 0 45828107 31084544 5152 1992294400 134512640 137138936 4292034064 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 7589 5152 192 642 0 6945 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 30356

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 12804
/proc/meminfo: memFree=1706736/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=32932 CPUtime=462.12
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 5883 0 0 0 46118 94 0 0 25 0 1 0 45828107 33722368 5796 1992294400 134512640 137138936 4292034064 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 8233 5796 192 642 0 7589 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 32932

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 12806
/proc/meminfo: memFree=1706488/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=33060 CPUtime=522.09
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 5924 0 0 0 52106 103 0 0 25 0 1 0 45828107 33853440 5837 1992294400 134512640 137138936 4292034064 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 8265 5837 192 642 0 7621 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 33060

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 12808
/proc/meminfo: memFree=1706488/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=33060 CPUtime=582.07
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 5924 0 0 0 58094 113 0 0 25 0 1 0 45828107 33853440 5837 1992294400 134512640 137138936 4292034064 18446744073709551615 136504131 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 8265 5837 192 642 0 7621 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 33060

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 12808
/proc/meminfo: memFree=1706488/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=32916 CPUtime=642.06
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 5924 0 0 0 64081 125 0 0 25 0 1 0 45828107 33705984 5804 1992294400 134512640 137138936 4292034064 18446744073709551615 136501708 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 8229 5804 192 642 0 7585 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 32916

[startup+702.301 s]

################
# More data... #
################

/proc/meminfo: memFree=1706240/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=32908 CPUtime=1121.86
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 5924 0 0 0 111965 221 0 0 25 0 1 0 45828107 33697792 5802 1992294400 134512640 137138936 4292034064 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 8227 5802 192 642 0 7583 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 32908

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 12824
/proc/meminfo: memFree=1706240/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=32908 CPUtime=1181.84
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 5924 0 0 0 117953 231 0 0 25 0 1 0 45828107 33697792 5802 1992294400 134512640 137138936 4292034064 18446744073709551615 134618026 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 8227 5802 192 642 0 7583 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 32908

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 12824
/proc/meminfo: memFree=1705992/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=32908 CPUtime=1241.82
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 5924 0 0 0 123939 243 0 0 25 0 1 0 45828107 33697792 5802 1992294400 134512640 137138936 4292034064 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 8227 5802 192 642 0 7583 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 32908

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 12826
/proc/meminfo: memFree=1705868/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=32908 CPUtime=1301.8
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 5924 0 0 0 129928 252 0 0 25 0 1 0 45828107 33697792 5802 1992294400 134512640 137138936 4292034064 18446744073709551615 134607584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 8227 5802 192 642 0 7583 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 32908

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 12828
/proc/meminfo: memFree=1705868/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=32908 CPUtime=1361.78
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 5924 0 0 0 135915 263 0 0 25 0 1 0 45828107 33697792 5802 1992294400 134512640 137138936 4292034064 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 8227 5802 192 642 0 7583 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 32908

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 12830
/proc/meminfo: memFree=1705868/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=32908 CPUtime=1421.77
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 5924 0 0 0 141904 273 0 0 25 0 1 0 45828107 33697792 5802 1992294400 134512640 137138936 4292034064 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 8227 5802 192 642 0 7583 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 32908

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 12832
/proc/meminfo: memFree=1705868/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=32908 CPUtime=1481.73
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 5924 0 0 0 147890 283 0 0 25 0 1 0 45828107 33697792 5802 1992294400 134512640 137138936 4292034064 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 8227 5802 192 642 0 7583 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 32908

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 12832
/proc/meminfo: memFree=1705868/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=32908 CPUtime=1541.71
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 5924 0 0 0 153876 295 0 0 25 0 1 0 45828107 33697792 5802 1992294400 134512640 137138936 4292034064 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 8227 5802 192 642 0 7583 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 32908

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 12834
/proc/meminfo: memFree=1705868/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=32908 CPUtime=1601.68
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 5924 0 0 0 159862 306 0 0 25 0 1 0 45828107 33697792 5802 1992294400 134512640 137138936 4292034064 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 8227 5802 192 642 0 7583 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 32908

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 12836
/proc/meminfo: memFree=1705868/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=32908 CPUtime=1661.66
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 5924 0 0 0 165850 316 0 0 25 0 1 0 45828107 33697792 5802 1992294400 134512640 137138936 4292034064 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 8227 5802 192 642 0 7583 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 32908

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 12838
/proc/meminfo: memFree=1705744/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=32908 CPUtime=1721.64
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 5924 0 0 0 171837 327 0 0 25 0 1 0 45828107 33697792 5802 1992294400 134512640 137138936 4292034064 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 8227 5802 192 642 0 7583 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 32908

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 12840
/proc/meminfo: memFree=1705620/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=32908 CPUtime=1781.62
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 5924 0 0 0 177823 339 0 0 25 0 1 0 45828107 33697792 5802 1992294400 134512640 137138936 4292034064 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 8227 5802 192 642 0 7583 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 32908

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 12840
/proc/meminfo: memFree=1705620/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=32908 CPUtime=1791.23
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 5924 0 0 0 178783 340 0 0 25 0 1 0 45828107 33697792 5802 1992294400 134512640 137138936 4292034064 18446744073709551615 134544862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 8227 5802 192 642 0 7583 0
Current children cumulated CPU time (s) 1791.23
Current children cumulated vsize (KiB) 32908

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 12840
/proc/meminfo: memFree=1705620/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=32908 CPUtime=1794.42
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 5924 0 0 0 179102 340 0 0 25 0 1 0 45828107 33697792 5802 1992294400 134512640 137138936 4292034064 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 8227 5802 192 642 0 7583 0
Current children cumulated CPU time (s) 1794.42
Current children cumulated vsize (KiB) 32908

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 12840
/proc/meminfo: memFree=1705620/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=32908 CPUtime=1796.02
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 5924 0 0 0 179261 341 0 0 25 0 1 0 45828107 33697792 5802 1992294400 134512640 137138936 4292034064 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 8227 5802 192 642 0 7583 0
Current children cumulated CPU time (s) 1796.02
Current children cumulated vsize (KiB) 32908

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 12840
/proc/meminfo: memFree=1705620/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=32908 CPUtime=1796.82
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 5924 0 0 0 179341 341 0 0 25 0 1 0 45828107 33697792 5802 1992294400 134512640 137138936 4292034064 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 8227 5802 192 642 0 7583 0
Current children cumulated CPU time (s) 1796.82
Current children cumulated vsize (KiB) 32908

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 12840
/proc/meminfo: memFree=1705620/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=32908 CPUtime=1797.61
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 5924 0 0 0 179420 341 0 0 25 0 1 0 45828107 33697792 5802 1992294400 134512640 137138936 4292034064 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 8227 5802 192 642 0 7583 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 32908

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 12840
/proc/meminfo: memFree=1705620/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=32908 CPUtime=1797.82
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 5924 0 0 0 179441 341 0 0 25 0 1 0 45828107 33697792 5802 1992294400 134512640 137138936 4292034064 18446744073709551615 134544827 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 8227 5802 192 642 0 7583 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 32908

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 12840
/proc/meminfo: memFree=1705620/2059040 swapFree=4140132/4192956
[pid=12791] ppid=12789 vsize=32908 CPUtime=1797.91
/proc/12791/stat : 12791 (bsolo_pb10) R 12789 12791 12490 0 -1 4202496 5924 0 0 0 179450 341 0 0 25 0 1 0 45828107 33697792 5802 1992294400 134512640 137138936 4292034064 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12791/statm: 8227 5802 192 642 0 7583 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 32908

Child status: 0
Real time (s): 1798.68
CPU time (s): 1798
CPU user time (s): 1794.58
CPU system time (s): 3.42048
CPU usage (%): 99.9624
Max. virtual memory (cumulated for all children) (KiB): 33060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.58
system time used= 3.42048
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5925
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= 1
involuntary context switches= 23135

runsolver used 3.02954 second user time and 8.42872 second system time

The end

Launcher Data 

Begin job on node007 at 2010-06-16 17:30:46
IDJOB=2670475
IDBENCH=47954
IDSOLVER=1162
FILE ID=node007/2670475-1276702246
PBS_JOBID= 11174126
Free space on /tmp= 62488 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=127-P1=293-P2=269-P3=7-P4=157-B.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670475-1276702246/watcher-2670475-1276702246 -o /tmp/evaluation-result-2670475-1276702246/solver-2670475-1276702246 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2670475-1276702246.opb

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

MD5SUM BENCH= 5afebeda0ba6ac0761acdbdcd52ef74a
RANDOM SEED=1892053992

node007.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.264
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.52
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.264
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1730212 kB
Buffers:         95324 kB
Cached:         139308 kB
SwapCached:       7044 kB
Active:         113072 kB
Inactive:       135656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1730212 kB
SwapTotal:     4192956 kB
SwapFree:      4140132 kB
Dirty:            4060 kB
Writeback:          16 kB
AnonPages:       12136 kB
Mapped:          13100 kB
Slab:            58452 kB
PageTables:       4016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182488 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670475-1276702246.opb

Free space on /tmp at the end= 62484 MiB
End job on node007 at 2010-06-16 18:00:45