Trace number 432892

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.17SAT (TO)68 1800.05 1800.64

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ6_3.opb
MD5SUMff9be653d1d3ea3b1a82846016e94df6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark64
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 64
Optimality of the best value was proved NO
Number of variables540
Total number of constraints4476
Number of constraints which are clauses2532
Number of constraints which are cardinality constraints (but not clauses)264
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 180
Biggest coefficient in the objective function 3
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 324
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 324
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/432892-1177951917/instance-432892-1177951917.opb
0.00/0.00	c File size is 202558 bytes.
0.00/0.04	c Highest Coefficient sum: 324
0.00/0.04	c Parsing was ok!!
0.00/0.04	c Total parsing time: 0.038 s
0.00/0.04	c Var: 540 Constr: 4626 2682/264/1680 Lit: 21888 Watch. Lit: 10776
0.00/0.04	c Obj. Vars: 180 (33.3333 % of total variables)
0.07/0.08	c Pre-processing Time: 0.08 s
0.07/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.07/0.08	c        0    540     4626    21888    4    14136   31514      0      0 0.08
0.07/0.08	c Switching off LPR mode.
0.09/0.10	c      100    540     4726    24556    5    15712   34666    100   1136 0.09
0.09/0.10	o 88	0.102
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c      220    540     4847    29463    6    15589   31874    221   2156 0.10
0.09/0.11	o 86	0.108
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c      249    540     4877    30970    6    15406   31874    251   2305 0.11
0.09/0.19	c      350    540     4978    37023    7    15871   35062    352   2755 0.13
0.09/0.19	c      601    540     5229    55801   10    16001   38569    603   3357 0.18
0.09/0.19	o 84	0.192
0.19/0.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.28	c      668    540     5297    59404   11    16298   31874    671   3461 0.19
0.19/0.28	c      768    540     5397    64714   11    16382   35062    771   3639 0.21
0.19/0.28	c     1018    540     5647    77634   13    16834   38569   1021   3992 0.26
0.19/0.28	o 82	0.28
0.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c     1130    540     5760    84888   14    17160   31874   1134   4035 0.28
0.29/0.30	o 80	0.299
0.29/0.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.35	c     1208    540     5839    90383   15    17778   31874   1213   4026 0.30
0.29/0.35	c     1310    540     5941    95051   15    18002   35062   1315   4119 0.32
0.29/0.35	c     1562    540     6193   100892   16    18520   38569   1567   4527 0.34
0.29/0.35	o 78	0.355
1.49/1.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.51	c     1608    540     6240   103199   16    18727   31874   1614   4529 0.35
1.49/1.51	c     1712    540     6344   109057   17    18493   35062   1718   4423 0.39
1.49/1.51	c     1962    540     6594   126955   19    19439   38569   1968   4274 0.46
1.49/1.51	c     2438    540     7070   161028   22    20569   42426   2444   4063 0.60
1.49/1.51	c     3252    540     7884   228249   28    21868   46669   3258   3699 0.88
1.49/1.51	o 76	1.509
2.79/2.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.79/2.80	c     4445    540     9078   347428   38    25023   31874   4452   2943 1.51
2.79/2.80	c     4549    540     9182   356560   38    24860   35062   4556   2893 1.57
2.79/2.80	c     4799    540     9432   378075   40    25367   38569   4806   2811 1.71
2.79/2.80	c     5274    540     9907   416835   42    26172   42426   5281   2664 1.98
2.79/2.80	c     6087    540    10720   464942   43    27408   46669   6094   2476 2.46
2.79/2.80	o 74	2.805
55.56/55.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
55.56/55.62	c     6599    540    11233   509886   45    28320   31874   6607   2352 2.81
55.56/55.62	c     6699    540    11333   518432   45    28653   35062   6707   2333 2.87
55.56/55.62	c     6954    540    11588   545790   47    28773   38569   6962   2254 3.08
55.56/55.62	c     7429    540    12063   583331   48    30305   42426   7437   2143 3.47
55.56/55.62	c     8243    540    12877   657635   51    32184   46669   8251   1978 4.17
55.56/55.62	c     9565    540    14199   782185   55    35192   51336   9573   1725 5.54
55.56/55.62	c    11646    540    16280   976382   59    38680   56470  11654   1390 8.37
55.56/55.62	c    14869    540    19503  1311547   67    45326   62118  14877   1019 14.58
55.56/55.62	c    19807    540    24441  1880617   76    55442   68330  19815    740 26.76
55.56/55.62	c    27313    540    31947  2777439   86    69955   75164  27321    577 47.30
55.56/55.62	o 72	55.596
105.75/105.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
105.75/105.84	c    29276    540    33911  2969443   87    73884   31874  29285    526 55.60
105.75/105.84	c    29376    540    34011  2974621   87    74121   35062  29385    525 55.91
105.75/105.84	c    29626    540    34261  2994667   87    75388   38569  29635    522 56.74
105.75/105.84	c    30101    540    34736  3033604   87    76489   42426  30110    512 58.73
105.75/105.84	c    30917    540    35552  3103153   87    77601   46669  30926    503 61.43
105.75/105.84	c    32237    540    36872  3222685   87    80379   51336  32246    489 65.87
105.75/105.84	c    34319    540    38954  3442044   88    84571   56470  34328    465 73.79
105.75/105.84	c    37542    540    42177  3732805   88    90522   62118  37551    407 92.11
105.75/105.84	o 70	105.802
836.56/836.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
836.56/836.95	c    39683    540    44319  3959280   89    95610   31874  39693    375 105.80
836.56/836.95	c    39783    540    18179  1145896   63    42196   35062  13553    373 106.49
836.56/836.95	c    40035    540    18431  1168261   63    42122   38569  13805    374 106.84
836.56/836.95	c    40512    540    18908  1213140   64    43058   42426  14282    375 108.00
836.56/836.95	c    41328    540    19724  1306001   66    44679   46669  15098    377 109.61
836.56/836.95	c    42648    540    21044  1440001   68    47969   51336  16418    380 112.19
836.56/836.95	c    44732    540    23128  1674678   72    52307   56470  18502    380 117.70
836.56/836.95	c    47956    540    26352  2106292   79    58234   62118  21726    380 126.03
836.56/836.95	c    52892    540    31288  2709903   86    68057   68330  26662    378 139.92
836.56/836.95	c    60399    540    38795  3676997   94    82998   75164  34169    357 168.92
836.56/836.95	c    71760    540    50156  5123251  102   105288   82681  45530    305 235.12
836.56/836.95	c    88904    540    67300  7359288  109   140253   90950  62674    243 364.92
836.56/836.95	c   114724    540    93120 11009450  118   191649  100046  88494    181 631.33
836.56/836.95	o 68	836.625
1800.01/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.01/1800.60	c   144094    540    39344  4137702  105    84531   31874  34718    172 836.63
1800.01/1800.60	c   144196    540    20056  1623547   80    45404   35062  15430    172 837.55
1800.01/1800.60	c   144447    540    20307  1647923   81    46496   38569  15681    172 838.47
1800.01/1800.60	c   144922    540    20782  1697598   81    47421   42426  16156    172 840.01
1800.01/1800.60	c   145736    540    21596  1777383   82    48487   46669  16970    173 841.60
1800.01/1800.60	c   147062    540    22922  1894229   82    50709   51336  18296    173 845.83
1800.01/1800.60	c   149144    540    25004  2201647   88    55901   56470  20378    174 853.48
1800.01/1800.60	c   152368    540    28228  2638317   93    62045   62118  23602    175 866.68
1800.01/1800.60	c   157309    540    33169  3279948   98    71512   68330  28543    177 888.34
1800.01/1800.60	c   164815    540    40675  4093923  100    86801   75164  36049    174 942.50
1800.01/1800.60	c   176177    540    52037  5682254  109   109428   82681  47411    171 1029.06
1800.01/1800.60	c   193321    540    69181  8073406  116   144344   90950  64555    164 1172.52
1800.01/1800.61	c   219140    540    95000 11922442  125   195588  100046  90374    150 1459.63
1800.01/1800.61	c   257973    540    51140  7022372  137   107976  110051  46514    143 1793.88
1800.01/1800.61	c Caught signal: 15
1800.01/1800.61	v x361 -x362 -x363 -x364 x365 -x366 x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 x381 -x382
1800.01/1800.61	v -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 x398 x399 -x400 -x401 x402 -x403 -x404
1800.01/1800.61	v -x405 -x406 -x407 x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425
1800.01/1800.61	v -x426 -x427 x428 -x429 -x430 x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447
1800.01/1800.61	v x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 x467 x468 x469
1800.01/1800.61	v -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490
1800.01/1800.61	v x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 -x502 x503 -x504 x505 -x506 -x507 -x508 x509 -x510 -x511 -x512
1800.01/1800.61	v -x513 -x514 x515 -x516 x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533
1800.01/1800.61	v -x534 x535 -x536 x537 -x538 x539 -x540 -x2 x38 -x74 -x110 -x146 -x182 -x218 -x254 -x290 -x326 -x3 -x39 x75 -x111 -x147 -x183
1800.01/1800.61	v -x219 -x255 -x291 -x327 -x4 -x40 -x76 -x112 -x148 -x184 -x220 x256 -x292 -x328 -x5 -x41 -x77 -x113 -x149 -x185 -x221 -x257
1800.01/1800.61	v x293 -x329 -x6 -x42 -x78 -x114 -x150 -x186 x222 -x258 -x294 -x330 -x7 -x43 -x79 x115 -x151 -x187 -x223 -x259 -x295 -x331 -x9
1800.01/1800.61	v -x45 -x81 -x117 -x153 -x189 -x225 -x261 -x297 x333 -x10 -x46 -x82 -x118 -x154 -x190 -x226 -x262 x298 -x334 -x11 -x47 x83 -x119
1800.01/1800.61	v -x155 -x191 -x227 -x263 -x299 -x335 -x12 -x48 -x84 -x120 x156 -x192 -x228 -x264 -x300 -x336 x13 -x49 -x85 -x121 -x157 -x193
1800.01/1800.61	v -x229 -x265 -x301 -x337 -x14 -x50 -x86 -x122 -x158 x194 -x230 -x266 -x302 -x338 -x16 -x52 -x88 -x124 -x160 -x196 x232 -x268
1800.01/1800.61	v -x304 -x340 -x17 -x53 -x89 -x125 -x161 -x197 -x233 x269 -x305 -x341 -x18 x54 -x90 -x126 -x162 -x198 -x234 -x270 -x306 -x342
1800.01/1800.61	v -x19 -x55 -x91 -x127 x163 -x199 -x235 -x271 -x307 -x343 x20 -x56 -x92 -x128 -x164 -x200 -x236 -x272 -x308 -x344 -x21 -x57 -x93
1800.01/1800.61	v x129 -x165 -x201 -x237 -x273 -x309 -x345 -x23 -x59 -x95 -x131 -x167 -x203 -x239 -x275 -x311 x347 -x24 -x60 -x96 -x132 -x168
1800.01/1800.61	v x204 -x240 -x276 -x312 -x348 -x25 -x61 -x97 -x133 -x169 x205 -x241 -x277 -x313 -x349 -x26 -x62 -x98 -x134 -x170 -x206 x242
1800.01/1800.61	v -x278 -x314 -x350 -x27 -x63 -x99 -x135 x171 -x207 -x243 -x279 -x315 -x351 -x28 x64 -x100 -x136 -x172 -x208 -x244 -x280 -x316
1800.01/1800.61	v -x352 x30 -x66 -x102 -x138 -x174 -x210 -x246 -x282 -x318 -x354 -x31 -x67 -x103 -x139 -x175 -x211 -x247 -x283 -x319 x355 -x32
1800.01/1800.61	v -x68 -x104 -x140 -x176 -x212 -x248 x284 -x320 -x356 -x33 -x69 -x105 -x141 -x177 -x213 -x249 -x285 x321 -x357 -x34 -x70 x106
1800.01/1800.61	v -x142 -x178 -x214 -x250 -x286 -x322 -x358 -x35 -x71 -x107 x143 -x179 -x215 -x251 -x287 -x323 -x359 x8 x44 -x80 -x116 -x152
1800.01/1800.61	v x188 x224 x260 -x296 -x332 -x15 -x51 x87 x123 x159 -x195 -x231 -x267 x303 x339 -x22 x58 x94 -x130 -x166 -x202 x238 x274 x310
1800.01/1800.61	v -x346 -x29 -x65 x101 x137 -x173 -x209 -x245 x281 x317 x353 x36 x72 -x108 -x144 x180 x216 x252 -x288 -x324 -x360 x1 -x37 -x73
1800.01/1800.61	v x109 x145 x181 -x217 -x253 -x289 x325
1800.01/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.01/1800.61	c   67   258646  51073   409921    51813  7097379  47187    143 1800.02
1800.01/1800.61	c Objective: 68
1800.01/1800.61	s SATISFIABLE
1800.01/1800.61	c Total time: 1800.02 s

Verifier Data (download as text)

OK	68

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node35/watcher-432892-1177951917 -o ROOT/results/node35/solver-432892-1177951917 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432892-1177951917/instance-432892-1177951917.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.99 0.98 0.93 3/77 27580
/proc/meminfo: memFree=1824888/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=11936 CPUtime=0
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 243107152 12222464 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 2984 335 280 324 0 2004 0

[startup+0.0773089 s]
/proc/loadavg: 0.99 0.98 0.93 3/77 27580
/proc/meminfo: memFree=1824888/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=5264 CPUtime=0.07
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 783 0 0 0 7 0 0 0 18 0 1 0 243107152 5390336 703 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 1316 703 305 324 0 386 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5264

[startup+0.101311 s]
/proc/loadavg: 0.99 0.98 0.93 3/77 27580
/proc/meminfo: memFree=1824888/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=5160 CPUtime=0.09
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 787 0 0 0 9 0 0 0 18 0 1 0 243107152 5283840 681 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 1290 681 309 324 0 360 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5160

[startup+0.301336 s]
/proc/loadavg: 0.99 0.98 0.93 3/77 27580
/proc/meminfo: memFree=1824888/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=5940 CPUtime=0.29
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 980 0 0 0 29 0 0 0 19 0 1 0 243107152 6082560 874 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 1485 874 311 324 0 555 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5940

[startup+0.701384 s]
/proc/loadavg: 0.99 0.98 0.93 3/77 27580
/proc/meminfo: memFree=1824888/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=7372 CPUtime=0.69
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 1311 0 0 0 68 1 0 0 23 0 1 0 243107152 7548928 1205 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 1843 1205 311 324 0 913 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7372

[startup+1.50148 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 27581
/proc/meminfo: memFree=1820336/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=9572 CPUtime=1.49
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 1890 0 0 0 148 1 0 0 25 0 1 0 243107152 9801728 1784 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 2393 1784 311 324 0 1463 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9572

[startup+3.10167 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 27581
/proc/meminfo: memFree=1817648/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=12436 CPUtime=3.09
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 2594 0 0 0 308 1 0 0 25 0 1 0 243107152 12734464 2488 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 3109 2488 311 324 0 2179 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12436

[startup+6.30105 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 27581
/proc/meminfo: memFree=1812656/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=16592 CPUtime=6.29
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 3629 0 0 0 627 2 0 0 25 0 1 0 243107152 16990208 3523 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551241 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 4148 3523 311 324 0 3218 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16592

[startup+12.7018 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 27581
/proc/meminfo: memFree=1807224/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=21628 CPUtime=12.69
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 4895 0 0 0 1265 4 0 0 25 0 1 0 243107152 22147072 4789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 5407 4789 311 324 0 4477 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21628

[startup+25.5013 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 27581
/proc/meminfo: memFree=1798520/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=30032 CPUtime=25.48
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 6990 0 0 0 2542 6 0 0 25 0 1 0 243107152 30752768 6884 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551356 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 7508 6884 311 324 0 6578 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30032

[startup+51.1014 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 27581
/proc/meminfo: memFree=1784120/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=44396 CPUtime=51.07
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 10590 0 0 0 5096 11 0 0 25 0 1 0 243107152 45461504 10484 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 11099 10484 311 324 0 10169 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 44396

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 27581
/proc/meminfo: memFree=1769656/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=58640 CPUtime=102.26
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 14157 0 0 0 10210 16 0 0 25 0 1 0 243107152 60047360 14051 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1904357 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 14660 14051 311 324 0 13730 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 58640

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 27581
/proc/meminfo: memFree=1768632/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=59556 CPUtime=162.24
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 14416 0 0 0 16208 16 0 0 25 0 1 0 243107152 60985344 14271 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 14889 14271 311 324 0 13959 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 59556

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 27581
/proc/meminfo: memFree=1756792/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=71584 CPUtime=222.23
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 17407 0 0 0 22203 20 0 0 25 0 1 0 243107152 73302016 17262 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 17896 17262 311 324 0 16966 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 71584

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 27581
/proc/meminfo: memFree=1740472/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=87904 CPUtime=282.21
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 21506 0 0 0 28196 25 0 0 25 0 1 0 243107152 90013696 21361 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 21976 21361 311 324 0 21046 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 87904

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 27581
/proc/meminfo: memFree=1727160/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=101092 CPUtime=342.19
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 24803 0 0 0 34191 28 0 0 25 0 1 0 243107152 103518208 24658 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 25273 24658 311 324 0 24343 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 101092

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 27581
/proc/meminfo: memFree=1714680/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=113652 CPUtime=402.17
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 27936 0 0 0 40185 32 0 0 25 0 1 0 243107152 116379648 27791 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 28413 27791 311 324 0 27483 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 113652

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 27581
/proc/meminfo: memFree=1702072/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=126208 CPUtime=462.16
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 31064 0 0 0 46181 35 0 0 25 0 1 0 243107152 129236992 30919 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 31552 30919 311 324 0 30622 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 126208

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 27581
/proc/meminfo: memFree=1691896/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=136404 CPUtime=522.14
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 33636 0 0 0 52176 38 0 0 25 0 1 0 243107152 139677696 33491 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 34101 33491 311 324 0 33171 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 136404

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/84 27749
/proc/meminfo: memFree=1679608/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=147412 CPUtime=582.05
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 36365 0 0 0 58162 43 0 0 25 0 1 0 243107152 150949888 36220 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 36853 36220 311 324 0 35923 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 147412

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 27779
/proc/meminfo: memFree=1671864/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=156080 CPUtime=642.02
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 38545 0 0 0 64157 45 0 0 25 0 1 0 243107152 159825920 38400 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 39020 38400 311 324 0 38090 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 156080


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 27779
/proc/meminfo: memFree=1651640/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=176268 CPUtime=821.97
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 43679 0 0 0 82145 52 0 0 25 0 1 0 243107152 180498432 43435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551482 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 44067 43435 311 324 0 43137 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 176268

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 27779
/proc/meminfo: memFree=1651704/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=176268 CPUtime=881.95
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 43679 0 0 0 88143 52 0 0 25 0 1 0 243107152 180498432 43435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 44067 43435 311 324 0 43137 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 176268

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.93 3/78 27779
/proc/meminfo: memFree=1651768/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=176268 CPUtime=941.93
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 43679 0 0 0 94141 52 0 0 25 0 1 0 243107152 180498432 43435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 44067 43435 311 324 0 43137 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 176268

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 27779
/proc/meminfo: memFree=1651768/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=176268 CPUtime=1001.92
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 43679 0 0 0 100139 53 0 0 25 0 1 0 243107152 180498432 43435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 44067 43435 311 324 0 43137 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 176268

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.93 3/78 27779
/proc/meminfo: memFree=1651832/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=176268 CPUtime=1061.9
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 43679 0 0 0 106137 53 0 0 25 0 1 0 243107152 180498432 43435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 44067 43435 311 324 0 43137 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 176268

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 27779
/proc/meminfo: memFree=1651832/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=176268 CPUtime=1121.89
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 43679 0 0 0 112135 54 0 0 25 0 1 0 243107152 180498432 43435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 44067 43435 311 324 0 43137 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 176268

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 27779
/proc/meminfo: memFree=1651832/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=176268 CPUtime=1181.87
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 43679 0 0 0 118133 54 0 0 25 0 1 0 243107152 180498432 43435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 44067 43435 311 324 0 43137 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 176268

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.93 3/78 27779
/proc/meminfo: memFree=1651768/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=176268 CPUtime=1241.86
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 43679 0 0 0 124131 55 0 0 25 0 1 0 243107152 180498432 43435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 44067 43435 311 324 0 43137 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 176268

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 27779
/proc/meminfo: memFree=1651768/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=176268 CPUtime=1301.84
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 43679 0 0 0 130129 55 0 0 25 0 1 0 243107152 180498432 43435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 44067 43435 311 324 0 43137 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 176268

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 27779
/proc/meminfo: memFree=1651896/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=176268 CPUtime=1361.82
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 43679 0 0 0 136127 55 0 0 25 0 1 0 243107152 180498432 43435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 44067 43435 311 324 0 43137 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 176268

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 27779
/proc/meminfo: memFree=1651896/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=176268 CPUtime=1421.81
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 43679 0 0 0 142125 56 0 0 25 0 1 0 243107152 180498432 43435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 44067 43435 311 324 0 43137 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 176268

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 27779
/proc/meminfo: memFree=1651960/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=176268 CPUtime=1481.79
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 43679 0 0 0 148123 56 0 0 25 0 1 0 243107152 180498432 43435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 44067 43435 311 324 0 43137 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 176268

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 27779
/proc/meminfo: memFree=1648888/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=179356 CPUtime=1541.77
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 44452 0 0 0 154119 58 0 0 25 0 1 0 243107152 183660544 44208 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 44839 44208 311 324 0 43909 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 179356

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 27779
/proc/meminfo: memFree=1639864/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=188380 CPUtime=1601.76
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 46711 0 0 0 160115 61 0 0 25 0 1 0 243107152 192901120 46467 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 47095 46467 311 324 0 46165 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 188380

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 27779
/proc/meminfo: memFree=1639288/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=188636 CPUtime=1661.74
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 46873 0 0 0 166113 61 0 0 25 0 1 0 243107152 193163264 46530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550791 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 47159 46530 311 324 0 46229 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 188636

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 27779
/proc/meminfo: memFree=1639288/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=188636 CPUtime=1721.73
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 46873 0 0 0 172111 62 0 0 25 0 1 0 243107152 193163264 46530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 47159 46530 311 324 0 46229 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 188636

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 27779
/proc/meminfo: memFree=1639352/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=188636 CPUtime=1781.71
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 46873 0 0 0 178109 62 0 0 25 0 1 0 243107152 193163264 46530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 47159 46530 311 324 0 46229 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 188636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 27779
/proc/meminfo: memFree=1639352/2055920 swapFree=4151240/4192956
[pid=27580] ppid=27578 vsize=188636 CPUtime=1800.01
/proc/27580/stat : 27580 (bsolo3.0.17) R 27578 27580 26773 0 -1 4194304 46873 0 0 0 179939 62 0 0 25 0 1 0 243107152 193163264 46530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27580/statm: 47159 46530 311 324 0 46229 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 188636

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 15
Real time (s): 1800.64
CPU time (s): 1800.05
CPU user time (s): 1799.39
CPU system time (s): 0.659899
CPU usage (%): 99.9672
Max. virtual memory (cumulated for all children) (KiB): 189032

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

runsolver used 1.38979 second user time and 3.89541 second system time

The end

Launcher Data (download as text)

Begin job on node35 on Mon Apr 30 16:51:57 UTC 2007

IDJOB= 432892
IDBENCH= 2007
IDSOLVER= 199
FILE ID= node35/432892-1177951917

PBS_JOBID= 4727669

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432892-1177951917/instance-432892-1177951917.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node35/watcher-432892-1177951917 -o ROOT/results/node35/solver-432892-1177951917 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432892-1177951917/instance-432892-1177951917.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  ff9be653d1d3ea3b1a82846016e94df6

RANDOM SEED= 405525765

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node35.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.232
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.232
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:       1825360 kB
Buffers:         35812 kB
Cached:         104128 kB
SwapCached:       8980 kB
Active:          57400 kB
Inactive:       107680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1825360 kB
SwapTotal:     4192956 kB
SwapFree:      4151240 kB
Dirty:            6884 kB
Writeback:           0 kB
Mapped:          32088 kB
Slab:            50844 kB
Committed_AS:  2723584 kB
PageTables:       2000 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 node35 on Mon Apr 30 17:22:00 UTC 2007