Trace number 352682

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 (TO)68 1800.08 1800.52

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.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/352682-1176638827/instance-352682-1176638827.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.037 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.078 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   1162 0.09
0.09/0.10	o 88	0.1
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c      220    540     4847    29463    6    15589   31874    221   2178 0.10
0.09/0.10	o 86	0.106
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   2349 0.11
0.09/0.19	c      350    540     4978    37023    7    15871   35062    352   2800 0.12
0.09/0.19	c      601    540     5229    55801   10    16001   38569    603   3395 0.18
0.09/0.19	o 84	0.19
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   3497 0.19
0.19/0.28	c      768    540     5397    64714   11    16382   35062    771   3674 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.279
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   4050 0.28
0.29/0.30	o 80	0.298
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   4053 0.30
0.29/0.35	c     1310    540     5941    95051   15    18002   35062   1315   4132 0.32
0.29/0.35	c     1562    540     6193   100892   16    18520   38569   1567   4553 0.34
0.29/0.35	o 78	0.353
1.39/1.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.50	c     1608    540     6240   103199   16    18727   31874   1614   4555 0.35
1.39/1.50	c     1712    540     6344   109057   17    18493   35062   1718   4458 0.38
1.39/1.50	c     1962    540     6594   126955   19    19439   38569   1968   4321 0.45
1.39/1.50	c     2438    540     7070   161028   22    20569   42426   2444   4118 0.59
1.39/1.50	c     3252    540     7884   228249   28    21868   46669   3258   3750 0.87
1.39/1.50	o 76	1.496
2.69/2.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.69/2.78	c     4445    540     9078   347428   38    25023   31874   4452   2969 1.50
2.69/2.78	c     4549    540     9182   356560   38    24860   35062   4556   2919 1.56
2.69/2.78	c     4799    540     9432   378075   40    25367   38569   4806   2836 1.69
2.69/2.78	c     5274    540     9907   416835   42    26172   42426   5281   2688 1.96
2.69/2.78	c     6087    540    10720   464942   43    27408   46669   6094   2498 2.44
2.69/2.78	o 74	2.778
55.18/55.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
55.18/55.27	c     6599    540    11233   509886   45    28320   31874   6607   2374 2.78
55.18/55.27	c     6699    540    11333   518432   45    28653   35062   6707   2355 2.84
55.18/55.27	c     6954    540    11588   545790   47    28773   38569   6962   2275 3.06
55.18/55.27	c     7429    540    12063   583331   48    30305   42426   7437   2163 3.43
55.18/55.27	c     8243    540    12877   657635   51    32184   46669   8251   1995 4.13
55.18/55.27	c     9565    540    14199   782185   55    35192   51336   9573   1736 5.51
55.18/55.27	c    11646    540    16280   976382   59    38680   56470  11654   1395 8.35
55.18/55.27	c    14869    540    19503  1311547   67    45326   62118  14877   1018 14.60
55.18/55.27	c    19807    540    24441  1880617   76    55442   68330  19815    741 26.71
55.18/55.27	c    27313    540    31947  2777439   86    69955   75164  27321    579 47.10
55.18/55.27	o 72	55.263
103.77/103.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
103.77/103.83	c    29276    540    33911  2969443   87    73884   31874  29285    529 55.26
103.77/103.83	c    29376    540    34011  2974621   87    74121   35062  29385    528 55.56
103.77/103.83	c    29626    540    34261  2994667   87    75388   38569  29635    525 56.38
103.77/103.83	c    30101    540    34736  3033604   87    76489   42426  30110    516 58.32
103.77/103.83	c    30917    540    35552  3103153   87    77601   46669  30926    507 60.93
103.77/103.83	c    32237    540    36872  3222685   87    80379   51336  32246    494 65.23
103.77/103.83	c    34319    540    38954  3442044   88    84571   56470  34328    470 72.97
103.77/103.83	c    37542    540    42177  3732805   88    90522   62118  37551    414 90.63
103.77/103.83	o 70	103.802
791.50/791.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
791.50/791.79	c    39683    540    44319  3959280   89    95610   31874  39693    382 103.80
791.50/791.79	c    39783    540    18179  1145896   63    42196   35062  13553    380 104.42
791.50/791.79	c    40035    540    18431  1168261   63    42122   38569  13805    382 104.75
791.50/791.79	c    40512    540    18908  1213140   64    43058   42426  14282    382 105.87
791.50/791.79	c    41328    540    19724  1306001   66    44679   46669  15098    384 107.41
791.50/791.79	c    42648    540    21044  1440001   68    47969   51336  16418    388 109.89
791.50/791.79	c    44732    540    23128  1674678   72    52307   56470  18502    388 115.16
791.50/791.79	c    47956    540    26352  2106292   79    58234   62118  21726    389 123.08
791.50/791.79	c    52892    540    31288  2709903   86    68057   68330  26662    388 136.31
791.50/791.79	c    60399    540    38795  3676997   94    82998   75164  34169    368 163.94
791.50/791.79	c    71760    540    50156  5123251  102   105288   82681  45530    316 226.83
791.50/791.79	c    88904    540    67300  7359288  109   140253   90950  62674    254 349.34
791.50/791.79	c   114724    540    93120 11009450  118   191649  100046  88494    190 600.71
791.50/791.79	o 68	791.599
1799.96/1800.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.96/1800.48	c   144094    540    39344  4137702  105    84531   31874  34718    182 791.60
1799.96/1800.48	c   144196    540    20056  1623547   80    45404   35062  15430    181 792.36
1799.96/1800.48	c   144447    540    20307  1647923   81    46496   38569  15681    182 793.19
1799.96/1800.48	c   144922    540    20782  1697598   81    47421   42426  16156    182 794.58
1799.96/1800.48	c   145736    540    21596  1777383   82    48487   46669  16970    183 796.01
1799.96/1800.48	c   147062    540    22922  1894229   82    50709   51336  18296    183 799.84
1799.96/1800.48	c   149144    540    25004  2201647   88    55901   56470  20378    184 806.77
1799.96/1800.48	c   152368    540    28228  2638317   93    62045   62118  23602    186 818.74
1799.96/1800.48	c   157309    540    33169  3279948   98    71512   68330  28543    187 838.47
1799.96/1800.48	c   164815    540    40675  4093923  100    86801   75164  36049    185 887.71
1799.96/1800.48	c   176177    540    52037  5682254  109   109428   82681  47411    182 966.87
1799.96/1800.48	c   193321    540    69181  8073406  116   144344   90950  64555    175 1098.53
1799.96/1800.48	c   219140    540    95000 11922442  125   195588  100046  90374    160 1363.24
1799.96/1800.48	c   257973    540    51140  7022372  137   107976  110051  46514    154 1671.01
1799.96/1800.48	c Resources Exceeded
1799.96/1800.48	v x361 -x362 -x363 -x364 x365 -x366 x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 x381 -x382
1799.96/1800.48	v -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 x398 x399 -x400 -x401 x402 -x403 -x404
1799.96/1800.48	v -x405 -x406 -x407 x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425
1799.96/1800.48	v -x426 -x427 x428 -x429 -x430 x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447
1799.96/1800.48	v x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 x467 x468 x469
1799.96/1800.48	v -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490
1799.96/1800.48	v x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 -x502 x503 -x504 x505 -x506 -x507 -x508 x509 -x510 -x511 -x512
1799.96/1800.48	v -x513 -x514 x515 -x516 x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533
1799.96/1800.48	v -x534 x535 -x536 x537 -x538 x539 -x540 -x2 x38 -x74 -x110 -x146 -x182 -x218 -x254 -x290 -x326 -x3 -x39 x75 -x111 -x147 -x183
1799.96/1800.48	v -x219 -x255 -x291 -x327 -x4 -x40 -x76 -x112 -x148 -x184 -x220 x256 -x292 -x328 -x5 -x41 -x77 -x113 -x149 -x185 -x221 -x257
1799.96/1800.48	v x293 -x329 -x6 -x42 -x78 -x114 -x150 -x186 x222 -x258 -x294 -x330 -x7 -x43 -x79 x115 -x151 -x187 -x223 -x259 -x295 -x331 -x9
1799.96/1800.48	v -x45 -x81 -x117 -x153 -x189 -x225 -x261 -x297 x333 -x10 -x46 -x82 -x118 -x154 -x190 -x226 -x262 x298 -x334 -x11 -x47 x83 -x119
1799.96/1800.48	v -x155 -x191 -x227 -x263 -x299 -x335 -x12 -x48 -x84 -x120 x156 -x192 -x228 -x264 -x300 -x336 x13 -x49 -x85 -x121 -x157 -x193
1799.96/1800.48	v -x229 -x265 -x301 -x337 -x14 -x50 -x86 -x122 -x158 x194 -x230 -x266 -x302 -x338 -x16 -x52 -x88 -x124 -x160 -x196 x232 -x268
1799.96/1800.48	v -x304 -x340 -x17 -x53 -x89 -x125 -x161 -x197 -x233 x269 -x305 -x341 -x18 x54 -x90 -x126 -x162 -x198 -x234 -x270 -x306 -x342
1799.96/1800.48	v -x19 -x55 -x91 -x127 x163 -x199 -x235 -x271 -x307 -x343 x20 -x56 -x92 -x128 -x164 -x200 -x236 -x272 -x308 -x344 -x21 -x57 -x93
1799.96/1800.48	v x129 -x165 -x201 -x237 -x273 -x309 -x345 -x23 -x59 -x95 -x131 -x167 -x203 -x239 -x275 -x311 x347 -x24 -x60 -x96 -x132 -x168
1799.96/1800.48	v x204 -x240 -x276 -x312 -x348 -x25 -x61 -x97 -x133 -x169 x205 -x241 -x277 -x313 -x349 -x26 -x62 -x98 -x134 -x170 -x206 x242
1799.96/1800.48	v -x278 -x314 -x350 -x27 -x63 -x99 -x135 x171 -x207 -x243 -x279 -x315 -x351 -x28 x64 -x100 -x136 -x172 -x208 -x244 -x280 -x316
1799.96/1800.48	v -x352 x30 -x66 -x102 -x138 -x174 -x210 -x246 -x282 -x318 -x354 -x31 -x67 -x103 -x139 -x175 -x211 -x247 -x283 -x319 x355 -x32
1799.96/1800.48	v -x68 -x104 -x140 -x176 -x212 -x248 x284 -x320 -x356 -x33 -x69 -x105 -x141 -x177 -x213 -x249 -x285 x321 -x357 -x34 -x70 x106
1799.96/1800.48	v -x142 -x178 -x214 -x250 -x286 -x322 -x358 -x35 -x71 -x107 x143 -x179 -x215 -x251 -x287 -x323 -x359 x8 x44 -x80 -x116 -x152
1799.96/1800.48	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
1799.96/1800.48	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
1799.96/1800.48	v x109 x145 x181 -x217 -x253 -x289 x325
1799.96/1800.48	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.96/1800.48	c   67   272411  54033   431662    65578  8960876  60952    151 1800.05
1799.96/1800.48	c Objective: 68
1799.96/1800.48	s SATISFIABLE
1799.96/1800.48	c Total time: 1800.05 s

Verifier Data (download as text)

OK	68

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node50/watcher-352682-1176638827 -o ROOT/results/node50/solver-352682-1176638827 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352682-1176638827/instance-352682-1176638827.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: 1.08 1.03 1.01 3/64 13740
/proc/meminfo: memFree=1848896/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=11936 CPUtime=0
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 369 0 0 0 0 0 0 0 18 0 1 0 18727916 12222464 337 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8353403 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 2984 337 282 324 0 2003 0

[startup+0.0782541 s]
/proc/loadavg: 1.08 1.03 1.01 3/64 13740
/proc/meminfo: memFree=1848896/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=5264 CPUtime=0.07
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 787 0 0 0 7 0 0 0 18 0 1 0 18727916 5390336 705 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8347637 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 1316 705 307 324 0 385 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5264

[startup+0.101255 s]
/proc/loadavg: 1.08 1.03 1.01 3/64 13740
/proc/meminfo: memFree=1848896/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=5160 CPUtime=0.09
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 792 0 0 0 9 0 0 0 18 0 1 0 18727916 5283840 684 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 1290 684 312 324 0 359 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5160

[startup+0.301273 s]
/proc/loadavg: 1.08 1.03 1.01 3/64 13740
/proc/meminfo: memFree=1848896/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=5940 CPUtime=0.29
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 987 0 0 0 29 0 0 0 19 0 1 0 18727916 6082560 879 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8353403 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 1485 879 313 324 0 554 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5940

[startup+0.701307 s]
/proc/loadavg: 1.08 1.03 1.01 3/64 13740
/proc/meminfo: memFree=1848896/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=7372 CPUtime=0.69
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 1325 0 0 0 68 1 0 0 23 0 1 0 18727916 7548928 1217 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 1843 1217 313 324 0 912 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7372

[startup+1.50138 s]
/proc/loadavg: 1.07 1.03 1.00 2/65 13741
/proc/meminfo: memFree=1844216/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=9700 CPUtime=1.49
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 1902 0 0 0 148 1 0 0 25 0 1 0 18727916 9932800 1794 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 2425 1794 313 324 0 1494 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9700

[startup+3.10152 s]
/proc/loadavg: 1.07 1.03 1.00 2/65 13743
/proc/meminfo: memFree=1841208/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=12436 CPUtime=3.1
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 2610 0 0 0 307 3 0 0 25 0 1 0 18727916 12734464 2502 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 3109 2502 313 324 0 2178 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 12436

[startup+6.3018 s]
/proc/loadavg: 1.07 1.03 1.00 2/65 13743
/proc/meminfo: memFree=1836536/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=16592 CPUtime=6.29
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 3642 0 0 0 625 4 0 0 25 0 1 0 18727916 16990208 3534 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 4148 3534 313 324 0 3217 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16592

[startup+12.7024 s]
/proc/loadavg: 1.06 1.03 1.00 2/65 13743
/proc/meminfo: memFree=1831160/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=21628 CPUtime=12.69
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 4895 0 0 0 1262 7 0 0 25 0 1 0 18727916 22147072 4787 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 5407 4787 313 324 0 4476 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21628

[startup+25.5015 s]
/proc/loadavg: 1.05 1.03 1.00 2/65 13743
/proc/meminfo: memFree=1822392/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=30032 CPUtime=25.49
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 7004 0 0 0 2539 10 0 0 25 0 1 0 18727916 30752768 6896 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 7508 6896 313 324 0 6577 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30032

[startup+51.1017 s]
/proc/loadavg: 1.03 1.03 1.00 2/65 13743
/proc/meminfo: memFree=1807992/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=44528 CPUtime=51.08
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 10617 0 0 0 5093 15 0 0 25 0 1 0 18727916 45596672 10509 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 11132 10509 313 324 0 10201 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 44528

[startup+102.305 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 13743
/proc/meminfo: memFree=1793080/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=59292 CPUtime=102.27
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 14303 0 0 0 10205 22 0 0 25 0 1 0 18727916 60715008 14195 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 14823 14195 313 324 0 13892 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 59292

[startup+162.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 13743
/proc/meminfo: memFree=1792568/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=59556 CPUtime=162.25
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 14420 0 0 0 16197 28 0 0 25 0 1 0 18727916 60985344 14273 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 14889 14273 313 324 0 13958 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 59556

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 13743
/proc/meminfo: memFree=1778680/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=73796 CPUtime=222.24
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 17971 0 0 0 22189 35 0 0 25 0 1 0 18727916 75567104 17824 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551836 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 18449 17824 313 324 0 17518 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 73796

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13743
/proc/meminfo: memFree=1761848/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=90748 CPUtime=282.23
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 22216 0 0 0 28180 43 0 0 25 0 1 0 18727916 92925952 22069 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 22687 22069 313 324 0 21756 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 90748

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13743
/proc/meminfo: memFree=1748472/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=103816 CPUtime=342.21
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 25494 0 0 0 34173 48 0 0 25 0 1 0 18727916 106307584 25347 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 25954 25347 313 324 0 25023 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 103816

[startup+402.302 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 13743
/proc/meminfo: memFree=1734904/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=117532 CPUtime=402.19
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 28912 0 0 0 40166 53 0 0 25 0 1 0 18727916 120352768 28765 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 29383 28765 313 324 0 28452 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 117532

[startup+462.302 s]
/proc/loadavg: 1.14 1.04 1.01 2/65 13743
/proc/meminfo: memFree=1722488/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=129828 CPUtime=462.18
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 31980 0 0 0 46160 58 0 0 25 0 1 0 18727916 132943872 31833 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8353403 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 32457 31833 313 324 0 31526 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 129828

[startup+522.301 s]
/proc/loadavg: 1.05 1.03 1.00 2/65 13743
/proc/meminfo: memFree=1710648/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=141724 CPUtime=522.16
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 34964 0 0 0 52154 62 0 0 25 0 1 0 18727916 145125376 34817 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8349586 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 35431 34817 313 324 0 34500 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 141724

[startup+582.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 13743
/proc/meminfo: memFree=1700216/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=152072 CPUtime=582.15
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 37535 0 0 0 58149 66 0 0 25 0 1 0 18727916 155721728 37388 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 38018 37388 313 324 0 37087 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 152072

[startup+642.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 13743
/proc/meminfo: memFree=1690552/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=161636 CPUtime=642.14
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 39939 0 0 0 64142 72 0 0 25 0 1 0 18727916 165515264 39792 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 40409 39792 313 324 0 39478 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 161636


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13743
/proc/meminfo: memFree=1675576/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=176268 CPUtime=882.08
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 43683 0 0 0 88123 85 0 0 25 0 1 0 18727916 180498432 43437 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 44067 43437 313 324 0 43136 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 176268

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13743
/proc/meminfo: memFree=1675576/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=176268 CPUtime=942.07
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 43683 0 0 0 94119 88 0 0 25 0 1 0 18727916 180498432 43437 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 44067 43437 313 324 0 43136 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 176268

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13743
/proc/meminfo: memFree=1675576/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=176268 CPUtime=1002.05
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 43683 0 0 0 100115 90 0 0 25 0 1 0 18727916 180498432 43437 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 44067 43437 313 324 0 43136 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 176268

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13743
/proc/meminfo: memFree=1675576/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=176268 CPUtime=1062.04
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 43683 0 0 0 106112 92 0 0 25 0 1 0 18727916 180498432 43437 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551635 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 44067 43437 313 324 0 43136 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 176268

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13743
/proc/meminfo: memFree=1675576/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=176268 CPUtime=1122.03
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 43683 0 0 0 112109 94 0 0 25 0 1 0 18727916 180498432 43437 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160051253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 44067 43437 313 324 0 43136 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 176268

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13743
/proc/meminfo: memFree=1675576/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=176268 CPUtime=1182.01
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 43683 0 0 0 118105 96 0 0 25 0 1 0 18727916 180498432 43437 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 44067 43437 313 324 0 43136 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 176268

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13743
/proc/meminfo: memFree=1675448/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=176268 CPUtime=1242
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 43683 0 0 0 124102 98 0 0 25 0 1 0 18727916 180498432 43437 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 44067 43437 313 324 0 43136 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 176268

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13743
/proc/meminfo: memFree=1675448/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=176268 CPUtime=1301.99
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 43683 0 0 0 130099 100 0 0 25 0 1 0 18727916 180498432 43437 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 44067 43437 313 324 0 43136 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 176268

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13743
/proc/meminfo: memFree=1675448/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=176268 CPUtime=1361.97
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 43683 0 0 0 136096 101 0 0 25 0 1 0 18727916 180498432 43437 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 44067 43437 313 324 0 43136 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 176268

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13743
/proc/meminfo: memFree=1675384/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=176524 CPUtime=1421.95
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 43747 0 0 0 142093 102 0 0 25 0 1 0 18727916 180760576 43501 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 44131 43501 313 324 0 43200 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 176524

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13743
/proc/meminfo: memFree=1665464/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=186448 CPUtime=1481.94
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 46232 0 0 0 148089 105 0 0 25 0 1 0 18727916 190922752 45986 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 46612 45986 313 324 0 45681 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 186448

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13743
/proc/meminfo: memFree=1663032/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=188636 CPUtime=1541.92
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 46877 0 0 0 154083 109 0 0 25 0 1 0 18727916 193163264 46532 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8359687 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 47159 46532 313 324 0 46228 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 188636

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13743
/proc/meminfo: memFree=1663032/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=188636 CPUtime=1601.9
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 46877 0 0 0 160080 110 0 0 25 0 1 0 18727916 193163264 46532 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 47159 46532 313 324 0 46228 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 188636

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13743
/proc/meminfo: memFree=1663032/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=188636 CPUtime=1661.89
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 46877 0 0 0 166077 112 0 0 25 0 1 0 18727916 193163264 46532 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 47159 46532 313 324 0 46228 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 188636

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13743
/proc/meminfo: memFree=1663032/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=188636 CPUtime=1721.88
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 46877 0 0 0 172074 114 0 0 25 0 1 0 18727916 193163264 46532 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134521208 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 47159 46532 313 324 0 46228 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 188636

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13743
/proc/meminfo: memFree=1662904/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=188636 CPUtime=1781.86
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194304 46877 0 0 0 178070 116 0 0 25 0 1 0 18727916 193163264 46532 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 47159 46532 313 324 0 46228 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 188636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13743
/proc/meminfo: memFree=1762680/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=0 CPUtime=1800.07
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194308 46878 0 0 0 179888 119 0 0 25 0 1 0 18727916 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 0

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13743
/proc/meminfo: memFree=1762680/2055920 swapFree=4183712/4192956
[pid=13740] ppid=13738 vsize=0 CPUtime=1800.07
/proc/13740/stat : 13740 (bsolo3.0.16) R 13738 13740 13276 0 -1 4194308 46878 0 0 0 179888 119 0 0 25 0 1 0 18727916 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13740/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.08
CPU user time (s): 1798.88
CPU system time (s): 1.20282
CPU usage (%): 99.976
Max. virtual memory (cumulated for all children) (KiB): 189032

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

runsolver used 1.26781 second user time and 3.66144 second system time

The end

Launcher Data (download as text)

Begin job on node50 on Sun Apr 15 12:07:07 UTC 2007

IDJOB= 352682
IDBENCH= 2007
IDSOLVER= 163
FILE ID= node50/352682-1176638827

PBS_JOBID= 4559812

Free space on /tmp= 66560 MiB

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  ff9be653d1d3ea3b1a82846016e94df6

RANDOM SEED= 331220590

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node50.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:       1849240 kB
Buffers:         11036 kB
Cached:         145052 kB
SwapCached:       4324 kB
Active:          38492 kB
Inactive:       129116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1849240 kB
SwapTotal:     4192956 kB
SwapFree:      4183712 kB
Dirty:            4588 kB
Writeback:           0 kB
Mapped:          16044 kB
Slab:            25020 kB
Committed_AS:   356268 kB
PageTables:       1460 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= 66560 MiB

End job on node50 on Sun Apr 15 12:37:10 UTC 2007