Trace number 453165

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)39 1800.18 1800.77

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_1.opb
MD5SUM93a95f0846e71f0984a2317cf811edef
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark35
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 35
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 constraint26
Maximum length of a constraint49
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)15716
Sum of products size (including duplicates)31432
Number of different products15716
Sum of products size31432

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.01	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.01	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Time Limit set to 1800
0.00/0.01	c Memory Limit set to 1800 MB
0.00/0.01	c Instance file /tmp/evaluation/453165-1178120893/instance-453165-1178120893.opb
0.00/0.01	c File size is 223289 bytes.
0.04/0.10	c Highest Coefficient sum: 500
0.04/0.10	c Parsing was ok!!
0.04/0.10	c Total parsing time: 0.089 s
0.08/0.12	c Var: 16216 Constr: 31932 16216/0/15716 Lit: 110512 Watch. Lit: 79580
0.08/0.12	c Obj. Vars: 500 (3.08337 % of total variables)
1.29/1.31	c Pre-processing Time: 1.305 s
1.29/1.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.31	c        0  16216    31932   110512    3    79580   99701      0      0 1.30
1.29/1.31	c Switching off LPR mode.
1.29/1.33	o 499	1.325
1.29/1.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.36	c        0  16216    31933   111012    3    79583  100034      1      0 1.33
1.29/1.36	o 498	1.349
1.29/1.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.38	c        0  16216    31934   111512    3    79587  100534      2      0 1.36
1.29/1.38	o 497	1.373
1.39/1.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.40	c        0  16216    31935   112012    3    79592  101201      3      0 1.38
1.39/1.40	o 496	1.398
1.39/1.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.43	c        0  16216    31936   112512    3    79598  102034      4      0 1.41
1.39/1.43	o 495	1.425
1.39/1.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.46	c        0  16216    31937   113012    3    79605  103034      5      0 1.43
1.39/1.46	o 494	1.456
1.39/1.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.49	c        0  16216    31938   113512    3    79613  104034      6      0 1.47
1.39/1.49	o 493	1.484
1.49/1.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.52	c        0  16216    31939   114012    3    79622  105034      7      0 1.49
1.49/1.52	o 492	1.516
1.49/1.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.55	c        0  16216    31940   114512    3    79632  106034      8      0 1.52
1.49/1.55	o 491	1.545
1.49/1.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.58	c        0  16216    31941   115012    3    79643  107034      9      0 1.55
1.49/1.58	o 490	1.577
1.59/1.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.61	c        0  16216    31942   115512    3    79655  108034     10      0 1.59
1.59/1.61	o 489	1.605
1.59/1.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.64	c        0  16216    31943   116012    3    79668  109034     11      0 1.61
1.59/1.64	o 488	1.634
1.59/1.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.67	c        0  16216    31944   116512    3    79682  110034     12      0 1.64
1.59/1.67	o 487	1.663
1.69/1.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.70	c        0  16216    31945   117012    3    79697  111034     13      0 1.67
1.69/1.70	o 486	1.694
1.69/1.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.73	c        0  16216    31946   117512    3    79713  112034     14      0 1.70
1.69/1.73	o 485	1.724
1.69/1.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.76	c        0  16216    31947   118012    3    79730  113034     15      0 1.73
1.69/1.76	o 484	1.753
1.69/1.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.79	c        0  16216    31948   118512    3    79748  114034     16      0 1.76
1.69/1.79	o 483	1.783
1.78/1.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.78/1.82	c        0  16216    31949   119012    3    79767  115034     17      0 1.79
1.78/1.82	o 482	1.814
1.78/1.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.78/1.85	c        0  16216    31950   119512    3    79787  116034     18      0 1.82
1.78/1.85	o 481	1.843
1.78/1.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.78/1.88	c        0  16216    31951   120012    3    79808  117034     19      0 1.85
1.78/1.88	o 480	1.872
1.89/1.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.91	c        0  16216    31952   120512    3    79830  118034     20      0 1.88
1.89/1.91	o 479	1.9
1.89/1.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.93	c        0  16216    31953   121012    3    79853  119034     21      0 1.91
1.89/1.93	o 478	1.929
1.89/1.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.96	c        0  16216    31954   121512    3    79877  120034     22      0 1.94
1.89/1.96	o 477	1.958
1.99/2.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.00	c        1  16216    31956   122490    3    79904  120034     24      0 1.97
1.99/2.00	o 40	1.994
1.99/2.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.04	c        1  16216    31957   122990    3    80366  120034     25      0 2.00
1.99/2.04	o 39	2.038
1800.01/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.01/1800.60	c       17  16216    31974   125702    3    80861  120034     42      8 2.05
1800.01/1800.60	c      118  16216    32075   139952    4    81063  132038    143     55 2.12
1800.01/1800.60	c      369  16216    32326   179846    5    81565  145242    394    162 2.26
1800.01/1800.60	c      844  16216    32801   261722    7    82515  159767    869    338 2.49
1800.01/1800.60	c     1657  16216    33614   388913   11    84141  175744   1682    565 2.93
1800.01/1800.60	c     2978  16216    34935   588540   16    86783  193319   3003    828 3.60
1800.01/1800.60	c     5060  16216    37017   850695   22    90947  212651   5085   1102 4.59
1800.01/1800.60	c     8284  16216    40241  1443898   35    97395  233917   8309   1285 6.45
1800.01/1800.60	c    13220  16216    45177  2346436   51   107267  257309  13245   1312 10.08
1800.01/1800.60	c    20728  16216    52685  3345522   63   122283  283040  20753   1329 15.59
1800.01/1800.60	c    32090  16216    64047  5354100   83   145007  311345  32115    927 34.60
1800.01/1800.60	c    49234  16216    81191  8704419  107   179295  342480  49259    815 60.34
1800.01/1800.60	c    75053  16216   107010 12277255  114   230933  376729  75078    721 103.99
1800.01/1800.60	c   113886  16216   145843 18423034  126   308599  414402 113911    556 204.59
1800.01/1800.60	c   172239  16216   204196 27900854  136   425305  455843 172264    349 493.21
1800.01/1800.60	c   259871  16216   291828 41911897  143   600569  501428 259896    273 948.93
1800.01/1800.60	c Caught signal: 15
1800.01/1800.61	v -x1 -x2 -x3 -x4 x5 x6 -x7 -x8 x9 -x10 x11 x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 x30 x31 -x32
1800.01/1800.61	v -x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 x42 x43 x44 x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
1800.01/1800.61	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86
1800.01/1800.61	v -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109
1800.01/1800.61	v -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
1800.01/1800.61	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151
1800.01/1800.61	v -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172
1800.01/1800.61	v -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193
1800.01/1800.61	v -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214
1800.01/1800.61	v -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 x235
1800.01/1800.61	v -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256
1800.01/1800.61	v -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277
1800.01/1800.61	v -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298
1800.01/1800.61	v -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319
1800.01/1800.61	v -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340
1800.01/1800.61	v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361
1800.01/1800.61	v -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
1800.01/1800.61	v -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424
1800.01/1800.61	v -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 x445
1800.01/1800.61	v -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466
1800.01/1800.61	v -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487
1800.01/1800.61	v -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
1800.01/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.01/1800.61	c   40   351053 123857   627535   383010 71014147 351078    195 1800.02
1800.01/1800.61	c Objective: 39
1800.01/1800.61	s SATISFIABLE
1800.01/1800.61	c Total time: 1800.02 s

Verifier Data (download as text)

OK	39

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node6/watcher-453165-1178120893 -o ROOT/results/node6/solver-453165-1178120893 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453165-1178120893/instance-453165-1178120893.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.92 0.98 0.99 3/77 18801
/proc/meminfo: memFree=1840496/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=3780 CPUtime=0
/proc/18801/stat : 18801 (bsolo3.0.16) D 18799 18801 17028 0 -1 4194304 182 0 1 0 0 0 0 0 18 0 1 0 288126998 3870720 153 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4160041328 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/18801/statm: 945 155 129 324 0 14 0

[startup+0.058192 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 18801
/proc/meminfo: memFree=1840496/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=6748 CPUtime=0.04
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 1036 0 3 0 4 0 0 0 18 0 1 0 288126998 6909952 1009 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 2623099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 1687 1009 320 324 0 701 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6748

[startup+0.101195 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 18801
/proc/meminfo: memFree=1840496/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=8808 CPUtime=0.08
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 1634 0 3 0 8 0 0 0 18 0 1 0 288126998 9019392 1552 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134523468 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 2202 1552 300 324 0 1271 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8808

[startup+0.301217 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 18801
/proc/meminfo: memFree=1840496/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=12144 CPUtime=0.28
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 2419 0 3 0 27 1 0 0 19 0 1 0 288126998 12435456 2337 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 3036 2337 305 324 0 2105 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 12144

[startup+0.701263 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 18801
/proc/meminfo: memFree=1840496/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=12144 CPUtime=0.68
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 2419 0 3 0 67 1 0 0 23 0 1 0 288126998 12435456 2337 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 3036 2337 305 324 0 2105 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 12144

[startup+1.50136 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 18802
/proc/meminfo: memFree=1831720/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=12564 CPUtime=1.49
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 3063 0 3 0 144 5 0 0 25 0 1 0 288126998 12865536 2454 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134575991 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 3141 2454 311 324 0 2210 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12564

[startup+3.10155 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 18802
/proc/meminfo: memFree=1830760/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=16876 CPUtime=3.08
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 4156 0 3 0 300 8 0 0 25 0 1 0 288126998 17281024 3547 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 2623099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 4219 3547 312 324 0 3288 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 16876

[startup+6.30192 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 18802
/proc/meminfo: memFree=1817512/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=29800 CPUtime=6.29
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 7381 0 3 0 618 11 0 0 25 0 1 0 288126998 30515200 6772 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 2623099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 7450 6772 312 324 0 6519 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29800

[startup+12.7017 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 18802
/proc/meminfo: memFree=1795880/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=49104 CPUtime=12.68
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 12218 0 3 0 1254 14 0 0 25 0 1 0 288126998 50282496 11609 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 2623099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 12276 11609 312 324 0 11345 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49104

[startup+25.5022 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 18802
/proc/meminfo: memFree=1772392/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=71888 CPUtime=25.48
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 17918 0 3 0 2528 20 0 0 25 0 1 0 288126998 73613312 17309 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 2623099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 17972 17309 312 324 0 17041 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 71888

[startup+51.1022 s]
/proc/loadavg: 0.97 0.98 0.99 2/78 18802
/proc/meminfo: memFree=1728872/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=115800 CPUtime=51.07
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 28896 0 3 0 5077 30 0 0 25 0 1 0 288126998 118579200 28287 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 2623099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 28950 28287 312 324 0 28019 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 115800

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 18802
/proc/meminfo: memFree=1668584/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=175028 CPUtime=102.26
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 43695 0 3 0 10177 49 0 0 25 0 1 0 288126998 179228672 43086 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134572575 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 43757 43086 312 324 0 42826 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 175028

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18802
/proc/meminfo: memFree=1612520/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=231324 CPUtime=162.24
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 57774 0 3 0 16158 66 0 0 25 0 1 0 288126998 236875776 57165 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 57831 57165 312 324 0 56900 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 231324

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18802
/proc/meminfo: memFree=1568872/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=274460 CPUtime=222.23
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 68558 0 3 0 22142 81 0 0 25 0 1 0 288126998 281047040 67949 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 68615 67949 312 324 0 67684 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 274460

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18802
/proc/meminfo: memFree=1535592/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=307728 CPUtime=282.21
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 76862 0 3 0 28130 91 0 0 25 0 1 0 288126998 315113472 76253 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 76932 76253 312 324 0 76001 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 307728

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18802
/proc/meminfo: memFree=1510760/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=332324 CPUtime=342.2
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 83019 0 3 0 34121 99 0 0 25 0 1 0 288126998 340299776 82410 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 83081 82410 312 324 0 82150 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 332324

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18802
/proc/meminfo: memFree=1485800/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=357608 CPUtime=402.18
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 89344 0 3 0 40112 106 0 0 25 0 1 0 288126998 366190592 88735 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 89402 88735 312 324 0 88471 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 357608

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18802
/proc/meminfo: memFree=1466216/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=376748 CPUtime=462.16
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 94110 0 3 0 46102 114 0 0 25 0 1 0 288126998 385789952 93501 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 94187 93501 312 324 0 93256 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 376748

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18802
/proc/meminfo: memFree=1437480/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=405960 CPUtime=522.15
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 101433 0 3 0 52091 124 0 0 25 0 1 0 288126998 415703040 100824 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 101490 100824 312 324 0 100559 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 405960

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18802
/proc/meminfo: memFree=1400232/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=442528 CPUtime=582.13
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 110567 0 3 0 58078 135 0 0 25 0 1 0 288126998 453148672 109958 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 110632 109958 312 324 0 109701 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 442528

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18802
/proc/meminfo: memFree=1373288/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=469104 CPUtime=642.12
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 117218 0 3 0 64068 144 0 0 25 0 1 0 288126998 480362496 116609 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 117276 116609 312 324 0 116345 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 469104


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19000
/proc/meminfo: memFree=1291944/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=550068 CPUtime=881.95
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 137440 0 3 0 88022 173 0 0 25 0 1 0 288126998 563269632 136831 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 137517 136831 312 324 0 136586 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 550068

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19000
/proc/meminfo: memFree=1270760/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=571448 CPUtime=941.94
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 142785 0 3 0 94014 180 0 0 25 0 1 0 288126998 585162752 142176 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 142862 142176 312 324 0 141931 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 571448

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19000
/proc/meminfo: memFree=1245480/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=596296 CPUtime=1001.92
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 149006 0 3 0 100002 190 0 0 25 0 1 0 288126998 610607104 148397 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 149074 148397 312 324 0 148143 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 596296

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19000
/proc/meminfo: memFree=1215720/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=626244 CPUtime=1061.91
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 156496 0 3 0 105993 198 0 0 25 0 1 0 288126998 641273856 155887 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 156561 155887 312 324 0 155630 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 626244

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19000
/proc/meminfo: memFree=1183592/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=657912 CPUtime=1121.89
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 164430 0 3 0 111981 208 0 0 25 0 1 0 288126998 673701888 163821 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 2622355 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 164478 163821 312 324 0 163547 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 657912

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19000
/proc/meminfo: memFree=1147240/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=694280 CPUtime=1181.87
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 173513 0 3 0 117971 216 0 0 25 0 1 0 288126998 710942720 172904 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 173570 172904 312 324 0 172639 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 694280

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19000
/proc/meminfo: memFree=1128296/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=713020 CPUtime=1241.85
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 178200 0 3 0 123963 222 0 0 25 0 1 0 288126998 730132480 177591 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 178255 177591 312 324 0 177324 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 713020

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19000
/proc/meminfo: memFree=1103720/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=737308 CPUtime=1301.84
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 184268 0 3 0 129956 228 0 0 25 0 1 0 288126998 755003392 183659 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 184327 183659 312 324 0 183396 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 737308

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19000
/proc/meminfo: memFree=1071720/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=769648 CPUtime=1361.83
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 192359 0 3 0 135946 237 0 0 25 0 1 0 288126998 788119552 191750 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 192412 191750 312 324 0 191481 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 769648

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19000
/proc/meminfo: memFree=1024552/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=816440 CPUtime=1421.82
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 204035 0 3 0 141936 246 0 0 25 0 1 0 288126998 836034560 203426 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 204110 203426 312 324 0 203179 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 816440

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19000
/proc/meminfo: memFree=997160/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=844136 CPUtime=1481.79
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 210972 0 3 0 147928 251 0 0 25 0 1 0 288126998 864395264 210363 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 2621128 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 211034 210363 312 324 0 210103 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 844136

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19000
/proc/meminfo: memFree=979688/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=861056 CPUtime=1541.78
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 215187 0 3 0 153921 257 0 0 25 0 1 0 288126998 881721344 214578 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 215264 214578 312 324 0 214333 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 861056

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19000
/proc/meminfo: memFree=961640/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=879200 CPUtime=1601.76
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 219740 0 3 0 159914 262 0 0 25 0 1 0 288126998 900300800 219131 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 2623099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 219800 219131 312 324 0 218869 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 879200

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19000
/proc/meminfo: memFree=941416/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=899076 CPUtime=1661.74
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 224705 0 3 0 165907 267 0 0 25 0 1 0 288126998 920653824 224096 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 224769 224096 312 324 0 223838 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 899076

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19000
/proc/meminfo: memFree=915368/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=925420 CPUtime=1721.73
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 231305 0 3 0 171900 273 0 0 25 0 1 0 288126998 947630080 230696 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 2621162 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 231355 230696 312 324 0 230424 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 925420

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19000
/proc/meminfo: memFree=894376/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=946212 CPUtime=1781.71
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 236484 0 3 0 177892 279 0 0 25 0 1 0 288126998 968921088 235875 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 236553 235875 312 324 0 235622 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 946212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19000
/proc/meminfo: memFree=885608/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=954736 CPUtime=1800.01
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194304 238612 0 3 0 179720 281 0 0 25 0 1 0 288126998 977649664 238003 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 238684 238003 312 324 0 237753 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 954736

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19000
/proc/meminfo: memFree=885608/2055924 swapFree=4146580/4192956
[pid=18801] ppid=18799 vsize=0 CPUtime=1800.11
/proc/18801/stat : 18801 (bsolo3.0.16) R 18799 18801 17028 0 -1 4194308 238613 0 3 0 179720 291 0 0 25 0 1 0 288126998 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/18801/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.77
CPU time (s): 1800.18
CPU user time (s): 1797.21
CPU system time (s): 2.97355
CPU usage (%): 99.9675
Max. virtual memory (cumulated for all children) (KiB): 954736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.21
system time used= 2.97355
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 238613
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 35966

runsolver used 1.37479 second user time and 4.05638 second system time

The end

Launcher Data (download as text)

Begin job on node6 on Wed May  2 15:48:13 UTC 2007

IDJOB= 453165
IDBENCH= 48112
IDSOLVER= 163
FILE ID= node6/453165-1178120893

PBS_JOBID= 4751034

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/mds/normalized-mds_500_25_1.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453165-1178120893/instance-453165-1178120893.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node6/watcher-453165-1178120893 -o ROOT/results/node6/solver-453165-1178120893 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453165-1178120893/instance-453165-1178120893.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  93a95f0846e71f0984a2317cf811edef

RANDOM SEED= 330545209

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node6.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:      2055924 kB
MemFree:       1840968 kB
Buffers:         66420 kB
Cached:          55308 kB
SwapCached:      14272 kB
Active:          63920 kB
Inactive:        86996 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1840968 kB
SwapTotal:     4192956 kB
SwapFree:      4146580 kB
Dirty:            6892 kB
Writeback:           0 kB
Mapped:          35448 kB
Slab:            49644 kB
Committed_AS: 12357268 kB
PageTables:       1796 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 node6 on Wed May  2 16:18:16 UTC 2007