Trace number 453585

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)38 1800.2 1800.66

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_2.opb
MD5SUMe4d0ce6c299ae1a05f607b170c68aad6
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark33
Best CPU time to get the best result obtained on this benchmark1800.15
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 33
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 constraint46
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)15670
Sum of products size (including duplicates)31340
Number of different products15670
Sum of products size31340

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/453585-1178143380/instance-453585-1178143380.opb
0.00/0.00	c File size is 222673 bytes.
0.05/0.09	c Highest Coefficient sum: 500
0.05/0.09	c Parsing was ok!!
0.05/0.09	c Total parsing time: 0.091 s
0.09/0.11	c Var: 16170 Constr: 31840 16170/0/15670 Lit: 110190 Watch. Lit: 79350
0.09/0.11	c Obj. Vars: 500 (3.09215 % of total variables)
1.19/1.29	c Pre-processing Time: 1.295 s
1.19/1.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.30	c        0  16170    31840   110190    3    79350   99410      0      0 1.29
1.19/1.30	c Switching off LPR mode.
1.29/1.31	o 499	1.315
1.29/1.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.34	c        0  16170    31841   110690    3    79353   99743      1      0 1.32
1.29/1.34	o 498	1.344
1.29/1.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.37	c        0  16170    31842   111190    3    79357  100243      2      0 1.35
1.29/1.37	o 497	1.375
1.39/1.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.40	c        0  16170    31843   111690    3    79362  100910      3      0 1.38
1.39/1.40	o 496	1.405
1.39/1.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.43	c        0  16170    31844   112190    3    79368  101743      4      0 1.41
1.39/1.43	o 495	1.434
1.39/1.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.46	c        0  16170    31845   112690    3    79375  102743      5      0 1.44
1.39/1.46	o 494	1.463
1.39/1.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.49	c        0  16170    31846   113190    3    79383  103743      6      0 1.47
1.39/1.49	o 493	1.494
1.49/1.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.52	c        0  16170    31847   113690    3    79392  104743      7      0 1.50
1.49/1.52	o 492	1.525
1.49/1.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.55	c        0  16170    31848   114190    3    79402  105743      8      0 1.53
1.49/1.55	o 491	1.554
1.49/1.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.58	c        0  16170    31849   114690    3    79413  106743      9      0 1.56
1.49/1.58	o 490	1.583
1.59/1.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.61	c        0  16170    31850   115190    3    79425  107743     10      0 1.59
1.59/1.61	o 489	1.612
1.59/1.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.64	c        0  16170    31851   115690    3    79438  108743     11      0 1.62
1.59/1.64	o 488	1.641
1.59/1.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.67	c        0  16170    31852   116190    3    79452  109743     12      0 1.65
1.59/1.67	o 487	1.669
1.59/1.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.70	c        0  16170    31853   116690    3    79467  110743     13      0 1.68
1.59/1.70	o 486	1.696
1.69/1.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.72	c        0  16170    31854   117190    3    79483  111743     14      0 1.71
1.69/1.72	o 485	1.725
1.69/1.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.76	c        0  16170    31855   117690    3    79500  112743     15      0 1.73
1.69/1.76	o 484	1.756
1.69/1.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.78	c        0  16170    31856   118190    3    79518  113743     16      0 1.76
1.69/1.78	o 483	1.785
1.79/1.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.81	c        0  16170    31857   118690    3    79537  114743     17      0 1.79
1.79/1.81	o 482	1.815
1.79/1.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.84	c        0  16170    31858   119190    3    79557  115743     18      0 1.82
1.79/1.84	o 481	1.843
1.79/1.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.87	c        0  16170    31859   119690    3    79578  116743     19      0 1.85
1.79/1.87	o 480	1.874
1.89/1.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.90	c        0  16170    31860   120190    3    79600  117743     20      0 1.88
1.89/1.90	o 479	1.903
1.89/1.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.93	c        0  16170    31861   120690    3    79623  118743     21      0 1.91
1.89/1.93	o 478	1.931
1.89/1.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.96	c        0  16170    31862   121190    3    79647  119743     22      0 1.94
1.89/1.96	o 477	1.96
1.89/1.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.99	c        0  16170    31863   121690    3    79672  120743     23      0 1.97
1.89/1.99	o 476	1.991
1.99/2.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.02	c        0  16170    31864   122190    3    79698  121743     24      0 2.00
1.99/2.02	o 475	2.019
1.99/2.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.05	c        0  16170    31865   122690    3    79725  122743     25      0 2.03
1.99/2.05	o 474	2.048
1.99/2.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.08	c        0  16170    31866   123190    3    79753  123743     26      0 2.06
1.99/2.08	o 473	2.077
2.10/2.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.10/2.11	c        1  16170    31868   124164    3    79784  123743     28      0 2.09
2.10/2.11	o 39	2.113
2.10/2.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.10/2.15	c        1  16170    31869   124664    3    80247  123743     29      0 2.12
2.10/2.15	o 38	2.152
1799.93/1800.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.93/1800.46	c        9  16170    31878   126344    3    80727  123743     38      4 2.16
1799.93/1800.46	c      110  16170    31979   142974    4    80929  136118    139     49 2.24
1799.93/1800.46	c      362  16170    32231   186078    5    81433  149730    391    152 2.37
1799.93/1800.46	c      838  16170    32707   259858    7    82385  164704    867    324 2.58
1799.93/1800.46	c     1651  16170    33520   357053   10    84011  181175   1680    544 3.03
1799.93/1800.46	c     2972  16170    34841   557491   16    86653  199293   3001    804 3.70
1799.93/1800.46	c     5053  16170    36922   813266   22    90815  219223   5082   1047 4.82
1799.93/1800.46	c     8276  16170    40145  1259547   31    97261  241146   8305   1220 6.78
1799.93/1800.46	c    13212  16170    45081  2136943   47   107133  265261  13241   1276 10.35
1799.93/1800.46	c    20719  16170    52588  3211246   61   122147  291788  20748   1204 17.20
1799.93/1800.46	c    32083  16170    63952  4409918   68   144875  320967  32112   1144 28.04
1799.93/1800.46	c    49227  16170    81096  8017774   98   179163  353064  49256    942 52.26
1799.93/1800.46	c    75046  16170   106915 13427046  125   230801  388371  75075    751 99.92
1799.93/1800.46	c   113879  16170   145748 23308572  159   308467  427209 113908    470 242.12
1799.93/1800.46	c   172232  16170   204101 34657418  169   425173  469930 172261    321 536.20
1799.93/1800.46	c   259865  16170   291734 59651190  204   600439  516924 259894    247 1049.93
1799.93/1800.46	c Resources Exceeded
1799.93/1800.46	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
1799.93/1800.46	v -x32 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
1799.93/1800.46	v -x60 -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
1799.93/1800.46	v -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109
1799.93/1800.46	v -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130
1799.93/1800.46	v x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151
1799.93/1800.46	v -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172
1799.93/1800.46	v -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193
1799.93/1800.46	v -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214
1799.93/1800.46	v -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235
1799.93/1800.46	v -x236 -x237 x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256
1799.93/1800.46	v -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277
1799.93/1800.46	v -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298
1799.93/1800.46	v -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319
1799.93/1800.46	v -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340
1799.93/1800.46	v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361
1799.93/1800.46	v -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 x380 -x381 -x382
1799.93/1800.46	v -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403
1799.93/1800.46	v -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424
1799.93/1800.46	v -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445
1799.93/1800.46	v x446 x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466
1799.93/1800.46	v -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487
1799.93/1800.46	v -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
1799.93/1800.46	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.93/1800.46	c   44   349539 110617   599965   381408 83964329 349568    194 1800.00
1799.93/1800.46	c Objective: 38
1799.93/1800.46	s SATISFIABLE
1799.93/1800.46	c Total time: 1800 s

Verifier Data (download as text)

OK	38

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node7/watcher-453585-1178143380 -o ROOT/results/node7/solver-453585-1178143380 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453585-1178143380/instance-453585-1178143380.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.91 0.95 0.91 3/77 16373
/proc/meminfo: memFree=1657640/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=11956 CPUtime=0
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 290375631 12242944 335 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 2989 335 281 324 0 2003 0

[startup+0.0606571 s]
/proc/loadavg: 0.91 0.95 0.91 3/77 16373
/proc/meminfo: memFree=1657640/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=7192 CPUtime=0.05
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 1170 0 0 0 5 0 0 0 18 0 1 0 290375631 7364608 1140 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 1798 1141 325 324 0 812 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7192

[startup+0.101661 s]
/proc/loadavg: 0.91 0.95 0.91 3/77 16373
/proc/meminfo: memFree=1657640/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=8672 CPUtime=0.09
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 1635 0 0 0 9 0 0 0 18 0 1 0 290375631 8880128 1550 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 10850391 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 2168 1550 301 324 0 1237 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8672

[startup+0.301682 s]
/proc/loadavg: 0.91 0.95 0.91 3/77 16373
/proc/meminfo: memFree=1657640/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=12120 CPUtime=0.29
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 2416 0 0 0 28 1 0 0 19 0 1 0 290375631 12410880 2331 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 3030 2331 306 324 0 2099 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12120

[startup+0.701724 s]
/proc/loadavg: 0.91 0.95 0.91 3/77 16373
/proc/meminfo: memFree=1657640/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=12120 CPUtime=0.69
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 2416 0 0 0 68 1 0 0 23 0 1 0 290375631 12410880 2331 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 3030 2331 306 324 0 2099 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12120

[startup+1.50181 s]
/proc/loadavg: 0.91 0.95 0.91 2/78 16374
/proc/meminfo: memFree=1648416/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=12544 CPUtime=1.49
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 3060 0 0 0 144 5 0 0 25 0 1 0 290375631 12845056 2449 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134575991 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 3136 2449 311 324 0 2205 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12544

[startup+3.10198 s]
/proc/loadavg: 0.91 0.95 0.91 2/78 16374
/proc/meminfo: memFree=1648736/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=16016 CPUtime=3.09
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 3940 0 0 0 303 6 0 0 25 0 1 0 290375631 16400384 3329 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 4004 3329 312 324 0 3073 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16016

[startup+6.30131 s]
/proc/loadavg: 0.92 0.95 0.91 2/78 16374
/proc/meminfo: memFree=1637344/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=26916 CPUtime=6.29
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 6677 0 0 0 622 7 0 0 25 0 1 0 290375631 27561984 6066 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 6729 6066 312 324 0 5798 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26916

[startup+12.702 s]
/proc/loadavg: 0.93 0.95 0.91 2/78 16374
/proc/meminfo: memFree=1616992/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=45948 CPUtime=12.69
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 11412 0 0 0 1258 11 0 0 25 0 1 0 290375631 47050752 10801 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 11487 10801 312 324 0 10556 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45948

[startup+25.5013 s]
/proc/loadavg: 0.94 0.96 0.91 2/78 16374
/proc/meminfo: memFree=1593440/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=68200 CPUtime=25.48
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 16988 0 0 0 2531 17 0 0 25 0 1 0 290375631 69836800 16377 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 10850077 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 17050 16377 312 324 0 16119 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 68200

[startup+51.102 s]
/proc/loadavg: 0.96 0.96 0.91 2/78 16374
/proc/meminfo: memFree=1544032/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=117748 CPUtime=51.08
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 29371 0 0 0 5080 28 0 0 25 0 1 0 290375631 120573952 28760 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 29437 28760 312 324 0 28506 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 117748

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.91 2/78 16374
/proc/meminfo: memFree=1467296/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=193864 CPUtime=102.26
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 48412 0 0 0 10181 45 0 0 25 0 1 0 290375631 198516736 47801 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550897 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 48466 47801 312 324 0 47535 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 193864

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 16374
/proc/meminfo: memFree=1408224/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=253528 CPUtime=162.24
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 63323 0 0 0 16161 63 0 0 25 0 1 0 290375631 259612672 62712 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 63382 62712 312 324 0 62451 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 253528

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 16374
/proc/meminfo: memFree=1355872/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=305332 CPUtime=222.23
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 76260 0 0 0 22148 75 0 0 25 0 1 0 290375631 312659968 75649 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 76333 75649 312 324 0 75402 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 305332

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 16374
/proc/meminfo: memFree=1317664/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=343556 CPUtime=282.22
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 85829 0 0 0 28134 88 0 0 25 0 1 0 290375631 351801344 85218 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 85889 85218 312 324 0 84958 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 343556

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 16374
/proc/meminfo: memFree=1281056/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=379756 CPUtime=342.2
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 94893 0 0 0 34124 96 0 0 25 0 1 0 290375631 388870144 94282 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 94939 94282 312 324 0 94008 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 379756

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 16374
/proc/meminfo: memFree=1250592/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=410532 CPUtime=402.18
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 102563 0 0 0 40113 105 0 0 25 0 1 0 290375631 420384768 101952 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 102633 101952 312 324 0 101702 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 410532

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 16374
/proc/meminfo: memFree=1219744/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=441028 CPUtime=462.17
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 110190 0 0 0 46100 117 0 0 25 0 1 0 290375631 451612672 109579 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 110257 109579 312 324 0 109326 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 441028

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 16374
/proc/meminfo: memFree=1195168/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=465844 CPUtime=522.16
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 116385 0 0 0 52090 126 0 0 25 0 1 0 290375631 477024256 115774 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 116461 115774 312 324 0 115530 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 465844

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 16374
/proc/meminfo: memFree=1132384/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=528632 CPUtime=582.14
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 132098 0 0 0 58075 139 0 0 25 0 1 0 290375631 541319168 131487 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134573706 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 132158 131487 312 324 0 131227 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 528632

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 16374
/proc/meminfo: memFree=1081824/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=578584 CPUtime=642.13
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 144575 0 0 0 64060 153 0 0 25 0 1 0 290375631 592470016 143964 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 144646 143964 312 324 0 143715 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 578584


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 16374
/proc/meminfo: memFree=931168/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=728940 CPUtime=882.06
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 182181 0 0 0 88021 185 0 0 25 0 1 0 290375631 746434560 181570 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 182235 181570 312 324 0 181304 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 728940

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 16374
/proc/meminfo: memFree=909984/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=750616 CPUtime=942.04
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 187589 0 0 0 94011 193 0 0 25 0 1 0 290375631 768630784 186978 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 10846277 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 187654 186978 312 324 0 186723 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 750616

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 16374
/proc/meminfo: memFree=879072/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=780992 CPUtime=1002.04
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 195191 0 0 0 100004 200 0 0 25 0 1 0 290375631 799735808 194580 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 195248 194580 312 324 0 194317 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 780992

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 16374
/proc/meminfo: memFree=853472/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=807060 CPUtime=1062.02
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 201696 0 0 0 105992 210 0 0 25 0 1 0 290375631 826429440 201085 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 201765 201085 312 324 0 200834 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 807060

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 16374
/proc/meminfo: memFree=821984/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=838124 CPUtime=1122
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 209471 0 0 0 111981 219 0 0 25 0 1 0 290375631 858238976 208860 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 209531 208860 312 324 0 208600 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 838124

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 16374
/proc/meminfo: memFree=792416/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=867860 CPUtime=1181.99
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 216913 0 0 0 117970 229 0 0 25 0 1 0 290375631 888688640 216302 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 216965 216302 312 324 0 216034 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 867860

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 16374
/proc/meminfo: memFree=770528/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=889484 CPUtime=1241.97
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 222303 0 0 0 123960 237 0 0 25 0 1 0 290375631 910831616 221692 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 222371 221692 312 324 0 221440 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 889484

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 16374
/proc/meminfo: memFree=740192/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=919480 CPUtime=1301.96
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 229814 0 0 0 129953 243 0 0 25 0 1 0 290375631 941547520 229203 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 229870 229203 312 324 0 228939 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 919480

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 16374
/proc/meminfo: memFree=718432/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=941520 CPUtime=1361.94
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 235308 0 0 0 135945 249 0 0 25 0 1 0 290375631 964116480 234697 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 235380 234697 312 324 0 234449 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 941520

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 16374
/proc/meminfo: memFree=695904/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=963732 CPUtime=1421.93
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 240883 0 0 0 141938 255 0 0 25 0 1 0 290375631 986861568 240272 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 240933 240272 312 324 0 240002 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 963732

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 16374
/proc/meminfo: memFree=666016/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=993936 CPUtime=1481.91
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 248434 0 0 0 147931 260 0 0 25 0 1 0 290375631 1017790464 247823 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 248484 247823 312 324 0 247553 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 993936

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 16374
/proc/meminfo: memFree=639968/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=1019612 CPUtime=1541.9
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 254830 0 0 0 153923 267 0 0 25 0 1 0 290375631 1044082688 254219 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 254903 254219 312 324 0 253972 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1019612

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 16374
/proc/meminfo: memFree=614880/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=1044972 CPUtime=1601.88
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 261169 0 0 0 159915 273 0 0 25 0 1 0 290375631 1070051328 260558 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 261243 260558 312 324 0 260312 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1044972

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 16374
/proc/meminfo: memFree=592096/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=1067320 CPUtime=1661.87
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 266779 0 0 0 165909 278 0 0 25 0 1 0 290375631 1092935680 266168 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 266830 266168 312 324 0 265899 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1067320

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 16374
/proc/meminfo: memFree=566944/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=1092884 CPUtime=1721.85
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 273152 0 0 0 171902 283 0 0 25 0 1 0 290375631 1119113216 272541 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 273221 272541 312 324 0 272290 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1092884

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 16374
/proc/meminfo: memFree=546336/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=1113088 CPUtime=1781.83
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194304 278201 0 0 0 177894 289 0 0 25 0 1 0 290375631 1139802112 277590 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 278272 277590 312 324 0 277341 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1113088



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.07 0.99 0.91 2/78 16374
/proc/meminfo: memFree=723232/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=0 CPUtime=1800.04
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194308 279632 0 0 0 179709 295 0 0 25 0 1 0 290375631 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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.61 s]
/proc/loadavg: 1.07 0.99 0.91 2/79 16375
/proc/meminfo: memFree=1337048/2055920 swapFree=4157020/4192956
[pid=16373] ppid=16371 vsize=0 CPUtime=1800.14
/proc/16373/stat : 16373 (bsolo3.0.16) R 16371 16373 13827 0 -1 4194308 279632 0 0 0 179709 305 0 0 25 0 1 0 290375631 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16373/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.66
CPU time (s): 1800.2
CPU user time (s): 1797.09
CPU system time (s): 3.10353
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 1118720

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

runsolver used 1.42978 second user time and 4.08838 second system time

The end

Launcher Data (download as text)

Begin job on node7 on Wed May  2 22:03:00 UTC 2007

IDJOB= 453585
IDBENCH= 48140
IDSOLVER= 163
FILE ID= node7/453585-1178143380

PBS_JOBID= 4751070

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  e4d0ce6c299ae1a05f607b170c68aad6

RANDOM SEED= 602528986

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node7.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.231
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.231
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:       1658048 kB
Buffers:        201016 kB
Cached:          85352 kB
SwapCached:      15756 kB
Active:         198472 kB
Inactive:       111744 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1658048 kB
SwapTotal:     4192956 kB
SwapFree:      4157020 kB
Dirty:            6932 kB
Writeback:           0 kB
Mapped:          30076 kB
Slab:            73068 kB
Committed_AS: 14482888 kB
PageTables:       1864 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 node7 on Wed May  2 22:33:03 UTC 2007