Trace number 453945

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, and are wall clock time (not CPU 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.0.16SAT-108 1800.02 1800.47

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_4.opb
MD5SUM81ea6ef3f58dd056541f0542171b5402
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-112
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -112
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint10
Maximum length of a constraint21
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6326
Sum of products size (including duplicates)12652
Number of different products3163
Sum of products size6326

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/453945-1178019049/instance-453945-1178019049.opb
0.00/0.00	c File size is 86057 bytes.
0.00/0.04	c Highest Coefficient sum: 500
0.00/0.04	c Parsing was ok!!
0.00/0.04	c Total parsing time: 0.039 s
0.00/0.05	c Var: 6826 Constr: 13652 6826/500/6326 Lit: 50608 Watch. Lit: 37956
0.00/0.05	c Obj. Vars: 500 (7.32493 % of total variables)
0.09/0.12	c Pre-processing Time: 0.123 s
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0    500     3163     9489    3     6326    1054      0      0 0.12
0.09/0.12	c Switching off LPR mode.
0.09/0.12	o -100	0.124
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0    500     3164     9989    3     6428    2054      1      0 0.12
0.09/0.13	o -101	0.131
6.69/6.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.69/6.77	c       32    500     3197    23225    7     6595    2054     34    242 0.13
6.69/6.77	c      132    500     3297    62893   19     6795    2260    134    840 0.16
6.69/6.77	c      383    500     3548   162463   45     7297    2487    385   1725 0.22
6.69/6.77	c      858    500     4023   350922   87     8247    2736    860   2370 0.36
6.69/6.77	c     1672    500     4837   673651  139     9875    3010   1674   2745 0.61
6.69/6.77	c     2992    500     6157  1196481  194    12515    3312   2994   2852 1.05
6.69/6.77	c     5073    500     8238  2022218  245    16677    3644   5075   2426 2.09
6.69/6.77	c     8298    500    11463  3300569  287    23127    4009   8300   2224 3.73
6.69/6.77	c    13235    500     7603  1769605  232    15307    4410   4440   1970 6.72
6.69/6.77	o -102	6.768
6.79/6.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.79/6.87	c    13401    500     7770  1835968  236    15743    2054   4607   1979 6.77
6.79/6.87	c    13501    500     7870  1875501  238    15943    2260   4707   1984 6.80
6.79/6.87	o -103	6.873
31.97/32.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.97/32.00	c    13711    500     8081  1959103  242    16468    2054   4918   1994 6.87
31.97/32.00	c    13812    500     8182  1998917  244    16670    2260   5019   1999 6.91
31.97/32.00	c    14063    500     8433  2097946  248    17172    2487   5270   2004 7.01
31.97/32.00	c    14539    500     8909  2285462  256    18124    2736   5746   2026 7.17
31.97/32.00	c    15352    500     9722  2606032  268    19750    3010   6559   2049 7.49
31.97/32.00	c    16672    500    11042  3126996  283    22390    3312   7879   2066 8.07
31.97/32.00	c    18755    500     4820   662329  137     9743    3644   1657   1989 9.43
31.97/32.00	c    21979    500     8044  1934239  240    16191    4009   4881   2048 10.73
31.97/32.00	c    26915    500    12980  3879698  298    26063    4410   9817   1922 14.00
31.97/32.00	c    34421    500    11490  3293440  286    23083    4852   8327   1519 22.66
31.97/32.00	c    45783    500    13634  4141332  303    27371    5338  10471   1443 31.72
31.97/32.00	o -104	31.982
35.27/35.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
35.27/35.31	c    46458    500    14310  4408147  308    28827    2054  11147   1452 31.98
35.27/35.31	c    46559    500     4292   454917  105     8688    2260   1129   1425 32.67
35.27/35.31	c    46809    500     4542   553269  121     9188    2487   1379   1430 32.73
35.27/35.31	c    47285    500     5018   740634  147    10140    2736   1855   1438 32.88
35.27/35.31	c    48099    500     5832  1060752  181    11768    3010   2669   1453 33.09
35.27/35.31	c    49420    500     7153  1580307  220    14410    3312   3990   1470 33.61
35.27/35.31	c    51502    500     9235  2399031  259    18574    3644   6072   1483 34.71
35.27/35.31	o -105	35.286
315.79/315.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
315.79/315.98	c    52837    500    10571  2924693  276    21351    2054   7408   1497 35.29
315.79/315.98	c    52938    500    10672  2964343  277    21553    2260   7509   1498 35.33
315.79/315.98	c    53190    500    10924  3063258  280    22057    2487   7761   1500 35.45
315.79/315.98	c    53665    500    11399  3249523  285    23007    2736   8236   1495 35.89
315.79/315.98	c    54478    500    12212  3568214  292    24633    3010   9049   1505 36.19
315.79/315.98	c    55800    500     5244   825780  157    10593    3312   2081   1498 37.23
315.79/315.98	c    57881    500     7325  1642250  224    14755    3644   4162   1522 38.01
315.79/315.98	c    61104    500    10548  2906408  275    21201    4009   7385   1547 39.48
315.79/315.98	c    66040    500     6695  1395131  208    13495    4410   3532   1554 42.49
315.79/315.98	c    73547    500     5369   874652  162    10843    4852   2206   1528 48.13
315.79/315.98	c    84909    500     7521  1718512  228    15147    5338   4358   1452 58.48
315.79/315.98	c   102054    500     5833  1055498  180    11771    5872   2670   1390 73.37
315.79/315.98	c   127873    500    12224  3562274  291    24553    6460   9061   1344 95.10
315.79/315.98	c   166705    500    11021  3091234  280    22147    7107   7858   1301 128.04
315.79/315.98	c   225057    500     7381  1662033  225    14867    7818   4218   1167 192.78
315.79/315.98	c   312690    500     9525  2502796  262    19155    8600   6362   1021 305.96
315.79/315.98	o -106	315.886
561.34/561.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
561.34/561.53	c   323831    500     9580  2528125  263    19371    2054   6417   1025 315.89
561.34/561.53	c   323932    500     9681  2567659  265    19573    2260   6518   1025 315.95
561.34/561.53	c   324182    500     9931  2665416  268    20073    2487   6768   1025 316.03
561.34/561.53	c   324657    500    10406  2851041  273    21023    2736   7243   1026 316.22
561.34/561.53	c   325470    500    11219  3169113  282    22649    3010   8056   1028 316.55
561.34/561.53	c   326790    500     4669   598650  128     9444    3312   1506   1028 317.74
561.34/561.53	c   328871    500     6750  1412667  209    13606    3644   3587   1032 318.59
561.34/561.53	c   332094    500     9973  2673591  268    20052    4009   6810   1037 320.02
561.34/561.53	c   337030    500     6124  1167210  190    12354    4410   2961   1045 322.49
561.34/561.53	c   344536    500    13630  4102090  300    27366    4852  10467   1056 326.20
561.34/561.53	c   355897    500     6585  1347287  204    13276    5338   3422   1061 335.15
561.34/561.53	c   373042    500    14281  4355228  304    28668    5872  11118   1065 350.00
561.34/561.53	c   398861    500    10935  3051449  279    21976    6460   7772   1043 382.37
561.34/561.53	c   437693    500     9760  2589324  265    19626    7107   6597   1054 414.88
561.34/561.53	c   496045    500    16446  5205458  316    32998    7818  13283   1017 487.65
561.34/561.53	o -107	561.382
781.18/781.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
781.18/781.41	c   552730    500     9011  2297624  254    18235    2054   5848    984 561.38
781.18/781.41	c   552830    500     9111  2336656  256    18435    2260   5948    984 561.45
781.18/781.41	c   553080    500     9361  2434201  260    18935    2487   6198    984 561.53
781.18/781.41	c   553555    500     9836  2619437  266    19885    2736   6673    985 561.79
781.18/781.41	c   554368    500    10649  2936664  275    21511    3010   7486    986 562.09
781.18/781.41	c   555689    500    11970  3451792  288    24153    3312   8807    987 562.56
781.18/781.41	c   557770    500     5610   964561  171    11327    3644   2447    987 565.04
781.18/781.41	c   560993    500     8833  2221731  251    17773    4009   5670    989 566.68
781.18/781.41	c   565930    500     5169   792209  153    10445    4410   2006    994 568.98
781.18/781.41	c   573436    500    12675  3722458  293    25457    4852   9512    997 574.63
781.18/781.41	c   584797    500     5650   978396  173    11407    5338   2487    998 585.95
781.18/781.41	c   601942    500    13344  3980661  298    26795    5872  10181   1003 599.92
781.18/781.41	c   627761    500    10018  2684020  267    20143    6460   6855    998 628.85
781.18/781.41	c   666593    500     8816  2215301  251    17739    7107   5653    997 668.27
781.18/781.41	c   724945    500    15532  4837405  311    31171    7818  12369   1001 723.73
781.18/781.41	o -108	781.205
1799.94/1800.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.94/1800.45	c   777351    500    14473  4428386  305    29161    2054  11310    995 781.21
1799.94/1800.45	c   777451    500     4291   449970  104     8690    2260   1128    994 781.91
1799.94/1800.45	c   777702    500     4542   547645  120     9192    2487   1379    994 781.97
1799.94/1800.45	c   778177    500     5017   732378  145    10142    2736   1854    994 782.10
1799.94/1800.45	c   778990    500     5830  1048816  179    11768    3010   2667    995 782.32
1799.94/1800.45	c   780310    500     7150  1562152  218    14408    3312   3987    996 782.80
1799.94/1800.45	c   782392    500     9232  2371287  256    18572    3644   6069    998 783.52
1799.94/1800.45	c   785616    500    12456  3626777  291    25020    4009   9293   1000 784.99
1799.94/1800.45	c   790552    500     8615  2130073  247    17338    4410   5452   1002 788.84
1799.94/1800.45	c   798059    500     7137  1555384  217    14382    4852   3974   1003 794.90
1799.94/1800.45	c   809420    500     9287  2392660  257    18682    5338   6124   1008 802.50
1799.94/1800.45	c   826565    500     7559  1717845  227    15226    5872   4396   1014 814.40
1799.94/1800.45	c   852385    500    13947  4208190  301    28002    6460  10784   1019 836.21
1799.94/1800.45	c   891217    500    12770  3745618  293    25648    7107   9607   1029 865.47
1799.94/1800.45	c   949570    500     9163  2340505  255    18434    7818   6000   1018 932.23
1799.94/1800.45	c  1037204    500    11332  3187338  281    22772    8600   8169   1005 1031.90
1799.94/1800.45	c  1168757    500    10012  2676382  267    20132    9461   6849    992 1178.06
1799.94/1800.45	c  1366190    500    12049  3463682  287    24206   10408   8886    998 1368.80
1799.94/1800.45	c  1662442    500     9027  2289170  253    18162   11449   5864   1000 1661.55
1799.94/1800.45	c Resources Exceeded
1799.94/1800.45	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
1799.94/1800.45	v -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
1799.94/1800.45	v -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81
1799.94/1800.45	v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106
1799.94/1800.45	v -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 x127
1799.94/1800.45	v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148
1799.94/1800.45	v -x149 -x150 x151 x152 x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 x168 -x169 -x170
1799.94/1800.45	v -x171 -x172 -x173 -x174 -x175 -x176 x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191
1799.94/1800.45	v -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 x210 -x211 x212 -x213
1799.94/1800.45	v -x214 x215 -x216 x217 x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235
1799.94/1800.45	v x236 -x237 -x238 x239 -x240 -x241 -x242 x243 x244 -x245 x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 x255 -x256 -x257
1799.94/1800.45	v -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 x277 -x278
1799.94/1800.45	v -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299
1799.94/1800.45	v -x300 -x301 -x302 x303 x304 x305 x306 -x307 x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321
1799.94/1800.45	v -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 x338 -x339 -x340 -x341 -x342
1799.94/1800.45	v -x343 -x344 x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 x354 x355 x356 x357 x358 x359 -x360 x361 -x362 x363 -x364 x365
1799.94/1800.45	v -x366 x367 -x368 x369 x370 -x371 x372 -x373 -x374 x375 -x376 -x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387
1799.94/1800.45	v -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 x398 x399 -x400 -x401 -x402 x403 -x404 x405 -x406 x407 -x408 -x409
1799.94/1800.45	v -x410 -x411 -x412 x413 -x414 -x415 x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 x426 -x427 x428 -x429 -x430 -x431
1799.94/1800.45	v -x432 x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 x445 x446 -x447 -x448 -x449 -x450 -x451 x452 -x453
1799.94/1800.45	v x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x465 -x466 x467 -x468 -x469 x470 x471 -x472 x473 x474 -x475
1799.94/1800.45	v -x476 -x477 x478 x479 x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 x495 x496 x497
1799.94/1800.45	v -x498 x499 -x500
1799.94/1800.45	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.94/1800.45	c   95  1771430 386902  2492967    18091  5816575  14928    984 1800.00
1799.94/1800.45	c Objective: -108
1799.94/1800.45	s SATISFIABLE
1799.94/1800.45	c Total time: 1800 s

Verifier Data (download as text)

OK	-108

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node29/watcher-453945-1178019049 -o ROOT/results/node29/solver-453945-1178019049 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453945-1178019049/instance-453945-1178019049.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.81 1.16 1.15 3/77 12293
/proc/meminfo: memFree=1760176/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=11824 CPUtime=0
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 249820657 12107776 334 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 2956 334 281 324 0 2003 0

[startup+0.0851751 s]
/proc/loadavg: 0.81 1.16 1.15 3/77 12293
/proc/meminfo: memFree=1760176/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=7616 CPUtime=0.07
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 1294 0 0 0 7 0 0 0 18 0 1 0 249820657 7798784 1241 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 1904 1241 306 324 0 973 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7616

[startup+0.101174 s]
/proc/loadavg: 0.81 1.16 1.15 3/77 12293
/proc/meminfo: memFree=1760176/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=7616 CPUtime=0.09
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 1307 0 0 0 9 0 0 0 18 0 1 0 249820657 7798784 1254 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4558937 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 1904 1254 306 324 0 973 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7616

[startup+0.301187 s]
/proc/loadavg: 0.81 1.16 1.15 3/77 12293
/proc/meminfo: memFree=1760176/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=10668 CPUtime=0.29
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 2088 0 0 0 28 1 0 0 19 0 1 0 249820657 10924032 2013 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 2667 2013 313 324 0 1736 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10668

[startup+0.701213 s]
/proc/loadavg: 0.81 1.16 1.15 3/77 12293
/proc/meminfo: memFree=1760176/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=17024 CPUtime=0.69
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 3697 0 0 0 67 2 0 0 23 0 1 0 249820657 17432576 3622 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 4256 3622 313 324 0 3325 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17024

[startup+1.50126 s]
/proc/loadavg: 0.81 1.16 1.15 2/78 12294
/proc/meminfo: memFree=1742376/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=27756 CPUtime=1.49
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 6368 0 0 0 145 4 0 0 25 0 1 0 249820657 28422144 6293 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 6939 6293 313 324 0 6008 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27756

[startup+3.10136 s]
/proc/loadavg: 0.81 1.16 1.15 2/78 12294
/proc/meminfo: memFree=1731048/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=43980 CPUtime=3.09
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 10444 0 0 0 304 5 0 0 25 0 1 0 249820657 45035520 10369 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 10995 10369 313 324 0 10064 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43980

[startup+6.30157 s]
/proc/loadavg: 0.82 1.16 1.15 2/78 12294
/proc/meminfo: memFree=1702056/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=61592 CPUtime=6.29
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 14837 0 0 0 621 8 0 0 25 0 1 0 249820657 63070208 14762 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 15398 14762 313 324 0 14467 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 61592

[startup+12.702 s]
/proc/loadavg: 0.84 1.16 1.14 2/78 12294
/proc/meminfo: memFree=1718056/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=50340 CPUtime=12.69
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 16076 0 0 0 1259 10 0 0 25 0 1 0 249820657 51548160 11951 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 12585 11951 313 324 0 11654 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50340

[startup+25.5018 s]
/proc/loadavg: 0.87 1.15 1.14 2/78 12294
/proc/meminfo: memFree=1697512/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=66100 CPUtime=25.48
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 20009 0 0 0 2534 14 0 0 25 0 1 0 249820657 67686400 15884 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 16525 15884 313 324 0 15594 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 66100

[startup+51.1014 s]
/proc/loadavg: 0.91 1.14 1.14 2/78 12294
/proc/meminfo: memFree=1700648/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=63064 CPUtime=51.06
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 20310 0 0 0 5088 18 0 0 25 0 1 0 249820657 64577536 15120 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134574692 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 15766 15120 313 324 0 14835 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 63064

[startup+102.306 s]
/proc/loadavg: 0.96 1.11 1.13 2/78 12294
/proc/meminfo: memFree=1689576/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=74068 CPUtime=102.25
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 23702 0 0 0 10197 28 0 0 25 0 1 0 249820657 75845632 17891 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 18517 17891 313 324 0 17586 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 74068

[startup+162.301 s]
/proc/loadavg: 0.98 1.09 1.12 2/78 12294
/proc/meminfo: memFree=1686120/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=77384 CPUtime=162.24
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 24586 0 0 0 16187 37 0 0 25 0 1 0 249820657 79241216 18720 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 19346 18720 313 324 0 18415 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 77384

[startup+222.301 s]
/proc/loadavg: 0.99 1.07 1.10 2/78 12294
/proc/meminfo: memFree=1682600/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=80984 CPUtime=222.22
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 25478 0 0 0 22176 46 0 0 25 0 1 0 249820657 82927616 19612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 20246 19612 313 324 0 19315 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 80984

[startup+282.301 s]
/proc/loadavg: 0.99 1.06 1.09 2/78 12294
/proc/meminfo: memFree=1682472/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=81080 CPUtime=282.21
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 25496 0 0 0 28167 54 0 0 25 0 1 0 249820657 83025920 19626 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 20270 19626 313 324 0 19339 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 81080

[startup+342.302 s]
/proc/loadavg: 0.99 1.04 1.09 2/78 12294
/proc/meminfo: memFree=1682920/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=80420 CPUtime=342.19
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 26487 0 0 0 34156 63 0 0 25 0 1 0 249820657 82350080 19479 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 20105 19479 313 324 0 19174 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 80420

[startup+402.302 s]
/proc/loadavg: 1.07 1.05 1.08 2/78 12294
/proc/meminfo: memFree=1683176/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=80188 CPUtime=402.18
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 26487 0 0 0 40144 74 0 0 25 0 1 0 249820657 82112512 19421 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 20047 19421 313 324 0 19116 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 80188

[startup+462.302 s]
/proc/loadavg: 1.09 1.05 1.08 2/78 12294
/proc/meminfo: memFree=1683176/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=80188 CPUtime=462.16
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 26487 0 0 0 46134 82 0 0 25 0 1 0 249820657 82112512 19421 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 20047 19421 313 324 0 19116 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 80188

[startup+522.301 s]
/proc/loadavg: 1.03 1.04 1.08 2/78 12296
/proc/meminfo: memFree=1682472/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=80952 CPUtime=522.14
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 26668 0 0 0 52123 91 0 0 25 0 1 0 249820657 82894848 19602 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 20238 19602 313 324 0 19307 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 80952

[startup+582.301 s]
/proc/loadavg: 1.01 1.03 1.07 2/78 12296
/proc/meminfo: memFree=1682728/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=80628 CPUtime=582.13
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 26669 0 0 0 58113 100 0 0 25 0 1 0 249820657 82563072 19531 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 20157 19531 313 324 0 19226 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 80628

[startup+642.301 s]
/proc/loadavg: 1.00 1.02 1.07 2/78 12296
/proc/meminfo: memFree=1683176/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=80152 CPUtime=642.12
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 26669 0 0 0 64104 108 0 0 25 0 1 0 249820657 82075648 19412 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 20038 19412 313 324 0 19107 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 80152


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

/proc/meminfo: memFree=1679144/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=84412 CPUtime=1122.01
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 28232 0 0 0 112013 188 0 0 25 0 1 0 249820657 86437888 20477 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 21103 20477 313 324 0 20172 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 84412

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/78 12296
/proc/meminfo: memFree=1679144/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=84488 CPUtime=1181.98
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 28244 0 0 0 118002 196 0 0 25 0 1 0 249820657 86515712 20479 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 21122 20479 313 324 0 20191 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 84488

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/78 12296
/proc/meminfo: memFree=1674792/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=88696 CPUtime=1241.97
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 29319 0 0 0 123991 206 0 0 25 0 1 0 249820657 90824704 21548 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134573356 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 22174 21548 313 324 0 21243 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 88696

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12296
/proc/meminfo: memFree=1674792/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=88664 CPUtime=1301.97
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 29319 0 0 0 129981 216 0 0 25 0 1 0 249820657 90791936 21540 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 22166 21540 313 324 0 21235 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 88664

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12296
/proc/meminfo: memFree=1674856/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=88740 CPUtime=1361.94
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 29364 0 0 0 135968 226 0 0 25 0 1 0 249820657 90869760 21543 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 22185 21543 313 324 0 21254 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 88740

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12296
/proc/meminfo: memFree=1669928/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=93468 CPUtime=1421.94
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 30619 0 0 0 141958 236 0 0 25 0 1 0 249820657 95711232 22741 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 23367 22741 313 324 0 22436 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 93468

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12296
/proc/meminfo: memFree=1669992/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=93420 CPUtime=1481.91
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 30632 0 0 0 147947 244 0 0 25 0 1 0 249820657 95662080 22729 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 23355 22729 313 324 0 22424 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 93420

[startup+1542.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 12296
/proc/meminfo: memFree=1669928/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=93524 CPUtime=1541.9
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 30665 0 0 0 153936 254 0 0 25 0 1 0 249820657 95768576 22755 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 23381 22755 313 324 0 22450 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 93524

[startup+1602.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 12296
/proc/meminfo: memFree=1669928/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=93512 CPUtime=1601.88
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 30669 0 0 0 159927 261 0 0 25 0 1 0 249820657 95756288 22752 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 23378 22752 313 324 0 22447 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 93512

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12296
/proc/meminfo: memFree=1670056/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=93536 CPUtime=1661.87
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 30704 0 0 0 165917 270 0 0 25 0 1 0 249820657 95780864 22756 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 23384 22756 313 324 0 22453 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 93536

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12296
/proc/meminfo: memFree=1664872/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=98788 CPUtime=1721.86
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 32831 0 0 0 171905 281 0 0 25 0 1 0 249820657 101158912 24057 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 24697 24057 313 324 0 23766 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 98788

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12296
/proc/meminfo: memFree=1664872/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=98668 CPUtime=1781.84
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 33652 0 0 0 177897 287 0 0 25 0 1 0 249820657 101036032 24037 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 24667 24037 313 324 0 23736 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 98668

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12296
/proc/meminfo: memFree=1664872/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=98668 CPUtime=1791.44
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 33655 0 0 0 178855 289 0 0 25 0 1 0 249820657 101036032 24040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 24667 24040 313 324 0 23736 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 98668

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12296
/proc/meminfo: memFree=1664872/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=98668 CPUtime=1794.64
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 33655 0 0 0 179175 289 0 0 25 0 1 0 249820657 101036032 24040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 24667 24040 313 324 0 23736 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 98668

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12296
/proc/meminfo: memFree=1664872/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=98668 CPUtime=1797.84
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 33655 0 0 0 179494 290 0 0 25 0 1 0 249820657 101036032 24040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 24667 24040 313 324 0 23736 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 98668

[startup+1799.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12296
/proc/meminfo: memFree=1664872/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=98668 CPUtime=1798.64
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 33655 0 0 0 179574 290 0 0 25 0 1 0 249820657 101036032 24040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 24667 24040 313 324 0 23736 0
Current children cumulated CPU time (s) 1798.64
Current children cumulated vsize (KiB) 98668

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12296
/proc/meminfo: memFree=1664872/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=98668 CPUtime=1799.44
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 33655 0 0 0 179654 290 0 0 25 0 1 0 249820657 101036032 24040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 24667 24040 313 324 0 23736 0
Current children cumulated CPU time (s) 1799.44
Current children cumulated vsize (KiB) 98668

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12296
/proc/meminfo: memFree=1664872/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=98668 CPUtime=1799.84
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 33655 0 0 0 179694 290 0 0 25 0 1 0 249820657 101036032 24040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 24667 24040 313 324 0 23736 0
Current children cumulated CPU time (s) 1799.84
Current children cumulated vsize (KiB) 98668

[startup+1800.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12296
/proc/meminfo: memFree=1664872/2055920 swapFree=4146640/4192956
[pid=12293] ppid=12291 vsize=98668 CPUtime=1799.94
/proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 33655 0 0 0 179704 290 0 0 25 0 1 0 249820657 101036032 24040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134571695 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12293/statm: 24667 24040 313 324 0 23736 0
Current children cumulated CPU time (s) 1799.94
Current children cumulated vsize (KiB) 98668

Child status: 0
Real time (s): 1800.47
CPU time (s): 1800.02
CPU user time (s): 1797.1
CPU system time (s): 2.92455
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 98860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.1
system time used= 2.92455
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33656
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= 12
involuntary context switches= 37493

runsolver used 1.2978 second user time and 3.98439 second system time

The end

Launcher Data (download as text)

Begin job on node29 on Tue May  1 11:30:49 UTC 2007

IDJOB= 453945
IDBENCH= 48164
IDSOLVER= 163
FILE ID= node29/453945-1178019049

PBS_JOBID= 4728355

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_4.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453945-1178019049/instance-453945-1178019049.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node29/watcher-453945-1178019049 -o ROOT/results/node29/solver-453945-1178019049 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453945-1178019049/instance-453945-1178019049.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  81ea6ef3f58dd056541f0542171b5402

RANDOM SEED= 98939299

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/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.224
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.224
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:       1760648 kB
Buffers:         60856 kB
Cached:         151844 kB
SwapCached:      11224 kB
Active:         125780 kB
Inactive:       110380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1760648 kB
SwapTotal:     4192956 kB
SwapFree:      4146640 kB
Dirty:            6912 kB
Writeback:           0 kB
Mapped:          29768 kB
Slab:            44600 kB
Committed_AS:  4275252 kB
PageTables:       1872 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node29 on Tue May  1 12:00:50 UTC 2007