Trace number 453171

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17SAT (TO)39 1800.26 1800.26

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.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/453171-1178120916/instance-453171-1178120916.opb
0.00/0.00	c File size is 223289 bytes.
0.04/0.09	c Highest Coefficient sum: 500
0.04/0.09	c Parsing was ok!!
0.04/0.09	c Total parsing time: 0.092 s
0.09/0.12	c Var: 16216 Constr: 31932 16216/0/15716 Lit: 110512 Watch. Lit: 79580
0.09/0.12	c Obj. Vars: 500 (3.08337 % of total variables)
1.29/1.31	c Pre-processing Time: 1.311 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.31
1.29/1.31	c Switching off LPR mode.
1.29/1.33	o 499	1.33
1.29/1.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.35	c        0  16216    31933   111012    3    79583  100034      1      0 1.34
1.29/1.35	o 498	1.353
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.376
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.39
1.39/1.40	o 496	1.399
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.426
1.39/1.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.45	c        0  16216    31937   113012    3    79605  103034      5      0 1.43
1.39/1.45	o 494	1.456
1.39/1.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.48	c        0  16216    31938   113512    3    79613  104034      6      0 1.47
1.39/1.48	o 493	1.483
1.49/1.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.51	c        0  16216    31939   114012    3    79622  105034      7      0 1.49
1.49/1.51	o 492	1.514
1.49/1.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.54	c        0  16216    31940   114512    3    79632  106034      8      0 1.52
1.49/1.54	o 491	1.542
1.49/1.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.57	c        0  16216    31941   115012    3    79643  107034      9      0 1.55
1.49/1.57	o 490	1.571
1.59/1.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.60	c        0  16216    31942   115512    3    79655  108034     10      0 1.58
1.59/1.60	o 489	1.598
1.59/1.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.63	c        0  16216    31943   116012    3    79668  109034     11      0 1.61
1.59/1.63	o 488	1.626
1.59/1.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.65	c        0  16216    31944   116512    3    79682  110034     12      0 1.64
1.59/1.65	o 487	1.654
1.59/1.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.68	c        0  16216    31945   117012    3    79697  111034     13      0 1.66
1.59/1.68	o 486	1.682
1.69/1.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.71	c        0  16216    31946   117512    3    79713  112034     14      0 1.69
1.69/1.71	o 485	1.711
1.69/1.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.74	c        0  16216    31947   118012    3    79730  113034     15      0 1.72
1.69/1.74	o 484	1.738
1.69/1.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.77	c        0  16216    31948   118512    3    79748  114034     16      0 1.75
1.69/1.77	o 483	1.767
1.79/1.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.80	c        0  16216    31949   119012    3    79767  115034     17      0 1.78
1.79/1.80	o 482	1.797
1.79/1.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.82	c        0  16216    31950   119512    3    79787  116034     18      0 1.81
1.79/1.82	o 481	1.826
1.79/1.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.85	c        0  16216    31951   120012    3    79808  117034     19      0 1.83
1.79/1.85	o 480	1.853
1.79/1.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.88	c        0  16216    31952   120512    3    79830  118034     20      0 1.86
1.79/1.88	o 479	1.88
1.89/1.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.91	c        0  16216    31953   121012    3    79853  119034     21      0 1.89
1.89/1.91	o 478	1.908
1.89/1.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.94	c        0  16216    31954   121512    3    79877  120034     22      0 1.92
1.89/1.94	o 477	1.936
1.89/1.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.97	c        1  16216    31956   122490    3    79904  120034     24      0 1.95
1.89/1.97	o 40	1.972
1.99/2.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.02	c        1  16216    31957   122990    3    80366  120034     25      0 1.98
1.99/2.02	o 39	2.016
1800.09/1800.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.09/1800.10	c       17  16216    31974   125702    3    80861  120034     42      8 2.03
1800.09/1800.10	c      118  16216    32075   139952    4    81063  132038    143     56 2.10
1800.09/1800.10	c      369  16216    32326   179846    5    81565  145242    394    164 2.24
1800.09/1800.10	c      844  16216    32801   261722    7    82515  159767    869    341 2.47
1800.09/1800.10	c     1657  16216    33614   388913   11    84141  175744   1682    570 2.91
1800.09/1800.10	c     2978  16216    34935   588540   16    86783  193319   3003    833 3.57
1800.09/1800.10	c     5060  16216    37017   850695   22    90947  212651   5085   1109 4.56
1800.09/1800.10	c     8284  16216    40241  1443898   35    97395  233917   8309   1292 6.41
1800.09/1800.10	c    13220  16216    45177  2346436   51   107267  257309  13245   1317 10.03
1800.09/1800.10	c    20728  16216    52685  3345522   63   122283  283040  20753   1336 15.51
1800.09/1800.10	c    32090  16216    64047  5354100   83   145007  311345  32115    930 34.49
1800.09/1800.10	c    49234  16216    81191  8704419  107   179295  342480  49259    819 60.11
1800.09/1800.10	c    75053  16216   107010 12277255  114   230933  376729  75078    724 103.65
1800.09/1800.10	c   113886  16216   145843 18423034  126   308599  414402 113911    557 204.11
1800.09/1800.10	c   172239  16216   204196 27900854  136   425305  455843 172264    350 491.92
1800.09/1800.10	c   259871  16216   291828 41911897  143   600569  501428 259896    274 947.06
1800.09/1800.10	c Caught signal: 15
1800.09/1800.10	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.09/1800.10	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.09/1800.10	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.09/1800.10	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.09/1800.10	v -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
1800.09/1800.10	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151
1800.09/1800.10	v -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172
1800.09/1800.10	v -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193
1800.09/1800.10	v -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214
1800.09/1800.10	v -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 x235
1800.09/1800.10	v -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256
1800.09/1800.10	v -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277
1800.09/1800.10	v -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298
1800.09/1800.10	v -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319
1800.09/1800.10	v -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340
1800.09/1800.10	v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361
1800.09/1800.10	v -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382
1800.09/1800.10	v -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403
1800.09/1800.10	v -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424
1800.09/1800.10	v -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 x445
1800.09/1800.10	v -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466
1800.09/1800.10	v -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487
1800.09/1800.10	v -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
1800.09/1800.10	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.09/1800.10	c   40   351268 123929   627881   383225 71095428 351293    195 1800.10
1800.09/1800.10	c Objective: 39
1800.09/1800.10	s SATISFIABLE
1800.09/1800.10	c Total time: 1800.1 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/node16/watcher-453171-1178120916 -o ROOT/results/node16/solver-453171-1178120916 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453171-1178120916/instance-453171-1178120916.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.00 1.00 0.98 3/77 30976
/proc/meminfo: memFree=1818768/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=11956 CPUtime=0
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 260009230 12242944 333 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4160527360 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 2989 334 279 324 0 2004 0

[startup+0.053668 s]
/proc/loadavg: 1.00 1.00 0.98 3/77 30976
/proc/meminfo: memFree=1818768/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=6748 CPUtime=0.04
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 1042 0 0 0 4 0 0 0 18 0 1 0 260009230 6909952 1012 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 1687 1012 318 324 0 702 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6748

[startup+0.101658 s]
/proc/loadavg: 1.00 1.00 0.98 3/77 30976
/proc/meminfo: memFree=1818768/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=8808 CPUtime=0.09
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 1636 0 0 0 9 0 0 0 18 0 1 0 260009230 9019392 1551 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7635096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 2202 1551 299 324 0 1272 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8808

[startup+0.301616 s]
/proc/loadavg: 1.00 1.00 0.98 3/77 30976
/proc/meminfo: memFree=1818768/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=12144 CPUtime=0.28
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 2420 0 0 0 28 0 0 0 19 0 1 0 260009230 12435456 2335 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 3036 2335 303 324 0 2106 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 12144

[startup+0.702532 s]
/proc/loadavg: 1.00 1.00 0.98 3/77 30976
/proc/meminfo: memFree=1818768/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=12144 CPUtime=0.69
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 2420 0 0 0 68 1 0 0 23 0 1 0 260009230 12435456 2335 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 3036 2335 303 324 0 2106 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12144

[startup+1.50136 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 30977
/proc/meminfo: memFree=1810376/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=12564 CPUtime=1.49
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 3064 0 0 0 144 5 0 0 25 0 1 0 260009230 12865536 2452 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7639127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 3141 2452 309 324 0 2211 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12564

[startup+3.10103 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 30977
/proc/meminfo: memFree=1809544/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=17008 CPUtime=3.09
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 4195 0 0 0 304 5 0 0 25 0 1 0 260009230 17416192 3583 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 4252 3583 310 324 0 3322 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17008

[startup+6.30135 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 30977
/proc/meminfo: memFree=1796360/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=30060 CPUtime=6.29
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 7436 0 0 0 623 6 0 0 25 0 1 0 260009230 30781440 6824 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 7515 6824 310 324 0 6585 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30060

[startup+12.701 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 30977
/proc/meminfo: memFree=1774600/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=49232 CPUtime=12.69
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 12257 0 0 0 1260 9 0 0 25 0 1 0 260009230 50413568 11645 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 12308 11645 310 324 0 11378 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49232

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 30977
/proc/meminfo: memFree=1751112/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=72140 CPUtime=25.49
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 17961 0 0 0 2536 13 0 0 25 0 1 0 260009230 73871360 17349 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 18035 17349 310 324 0 17105 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 72140

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 30977
/proc/meminfo: memFree=1707336/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=116188 CPUtime=51.09
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 28997 0 0 0 5088 21 0 0 25 0 1 0 260009230 118976512 28385 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 29047 28385 310 324 0 28117 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 116188

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 30977
/proc/meminfo: memFree=1647176/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=175284 CPUtime=102.3
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 43754 0 0 0 10195 35 0 0 25 0 1 0 260009230 179490816 43142 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7638772 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 43821 43142 310 324 0 42891 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 175284

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 30977
/proc/meminfo: memFree=1591048/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=231584 CPUtime=162.3
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 57839 0 0 0 16185 45 0 0 25 0 1 0 260009230 237142016 57227 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 57896 57227 310 324 0 56966 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 231584

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 30977
/proc/meminfo: memFree=1547336/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=274976 CPUtime=222.3
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 68666 0 0 0 22174 56 0 0 25 0 1 0 260009230 281575424 68054 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 68744 68054 310 324 0 67814 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 274976

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 30977
/proc/meminfo: memFree=1514312/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=307992 CPUtime=282.3
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 76924 0 0 0 28166 64 0 0 25 0 1 0 260009230 315383808 76312 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 76998 76312 310 324 0 76068 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 307992

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 30977
/proc/meminfo: memFree=1489416/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=332708 CPUtime=342.31
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 83106 0 0 0 34161 70 0 0 25 0 1 0 260009230 340692992 82494 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 83177 82494 310 324 0 82247 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 332708

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 30977
/proc/meminfo: memFree=1464072/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=358248 CPUtime=402.31
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 89509 0 0 0 40156 75 0 0 25 0 1 0 260009230 366845952 88897 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 89562 88897 310 324 0 88632 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 358248

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 30977
/proc/meminfo: memFree=1444872/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=377140 CPUtime=462.31
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 94209 0 0 0 46152 79 0 0 25 0 1 0 260009230 386191360 93597 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 94285 93597 310 324 0 93355 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 377140

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 30977
/proc/meminfo: memFree=1415368/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=407264 CPUtime=522.32
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 101739 0 0 0 52146 86 0 0 25 0 1 0 260009230 417038336 101127 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 101816 101127 310 324 0 100886 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 407264

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 30977
/proc/meminfo: memFree=1378696/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=443176 CPUtime=582.32
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 110723 0 0 0 58138 94 0 0 25 0 1 0 260009230 453812224 110111 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 110794 110111 310 324 0 109864 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 443176

[startup+642.303 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 30977
/proc/meminfo: memFree=1351752/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=469876 CPUtime=642.33
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 117399 0 0 0 64131 102 0 0 25 0 1 0 260009230 481153024 116787 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7638881 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 117469 116787 310 324 0 116539 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 469876


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31175
/proc/meminfo: memFree=1270280/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=550716 CPUtime=882.24
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 137632 0 0 0 88102 122 0 0 25 0 1 0 260009230 563933184 137020 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 137679 137020 310 324 0 136749 0
Current children cumulated CPU time (s) 882.24
Current children cumulated vsize (KiB) 550716

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31175
/proc/meminfo: memFree=1248712/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=572836 CPUtime=942.24
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 143140 0 0 0 94099 125 0 0 25 0 1 0 260009230 586584064 142528 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 143209 142528 310 324 0 142279 0
Current children cumulated CPU time (s) 942.24
Current children cumulated vsize (KiB) 572836

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31175
/proc/meminfo: memFree=1223432/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=597708 CPUtime=1002.24
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 149349 0 0 0 100093 131 0 0 25 0 1 0 260009230 612052992 148737 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 149427 148737 310 324 0 148497 0
Current children cumulated CPU time (s) 1002.24
Current children cumulated vsize (KiB) 597708

[startup+1062.3 s]
/proc/loadavg: 1.05 1.01 0.99 2/78 31175
/proc/meminfo: memFree=1193736/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=627772 CPUtime=1062.25
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 156886 0 0 0 106087 138 0 0 25 0 1 0 260009230 642838528 156274 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 156943 156274 310 324 0 156013 0
Current children cumulated CPU time (s) 1062.25
Current children cumulated vsize (KiB) 627772

[startup+1122.3 s]
/proc/loadavg: 1.02 1.01 0.99 2/78 31175
/proc/meminfo: memFree=1161608/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=659400 CPUtime=1122.25
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 164803 0 0 0 112082 143 0 0 25 0 1 0 260009230 675225600 164191 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 164850 164191 310 324 0 163920 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 659400

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31175
/proc/meminfo: memFree=1125960/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=694932 CPUtime=1182.26
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 173671 0 0 0 118077 149 0 0 25 0 1 0 260009230 711610368 173059 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 173733 173059 310 324 0 172803 0
Current children cumulated CPU time (s) 1182.26
Current children cumulated vsize (KiB) 694932

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31175
/proc/meminfo: memFree=1106696/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=713940 CPUtime=1242.26
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 178408 0 0 0 124073 153 0 0 25 0 1 0 260009230 731074560 177796 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 178485 177796 310 324 0 177555 0
Current children cumulated CPU time (s) 1242.26
Current children cumulated vsize (KiB) 713940

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31175
/proc/meminfo: memFree=1081544/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=738724 CPUtime=1302.27
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 184634 0 0 0 130069 158 0 0 25 0 1 0 260009230 756453376 184022 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 184681 184022 310 324 0 183751 0
Current children cumulated CPU time (s) 1302.27
Current children cumulated vsize (KiB) 738724

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31175
/proc/meminfo: memFree=1049032/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=771712 CPUtime=1362.27
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 192852 0 0 0 136064 163 0 0 25 0 1 0 260009230 790233088 192240 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 192928 192240 310 324 0 191998 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 771712

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31175
/proc/meminfo: memFree=1001544/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=818660 CPUtime=1422.27
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 204600 0 0 0 142057 170 0 0 25 0 1 0 260009230 838307840 203988 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 204665 203988 310 324 0 203735 0
Current children cumulated CPU time (s) 1422.27
Current children cumulated vsize (KiB) 818660

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31175
/proc/meminfo: memFree=974792/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=845416 CPUtime=1482.27
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 211296 0 0 0 148052 175 0 0 25 0 1 0 260009230 865705984 210684 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 211354 210684 310 324 0 210424 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 845416

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31175
/proc/meminfo: memFree=958536/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=861572 CPUtime=1542.28
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 215321 0 0 0 154050 178 0 0 25 0 1 0 260009230 882249728 214709 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551071 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 215393 214709 310 324 0 214463 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 861572

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31175
/proc/meminfo: memFree=939592/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=880852 CPUtime=1602.28
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 220143 0 0 0 160046 182 0 0 25 0 1 0 260009230 901992448 219531 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 220213 219531 310 324 0 219283 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 880852

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31175
/proc/meminfo: memFree=920392/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=899712 CPUtime=1662.28
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 224852 0 0 0 166043 185 0 0 25 0 1 0 260009230 921305088 224240 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 224928 224240 310 324 0 223998 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 899712

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31175
/proc/meminfo: memFree=893128/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=927204 CPUtime=1722.28
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 231748 0 0 0 172038 190 0 0 25 0 1 0 260009230 949456896 231136 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 231801 231136 310 324 0 230871 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 927204

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31175
/proc/meminfo: memFree=871816/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=948136 CPUtime=1782.29
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 236957 0 0 0 178035 194 0 0 25 0 1 0 260009230 970891264 236345 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 237034 236345 310 324 0 236104 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 948136



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31175
/proc/meminfo: memFree=863880/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=955776 CPUtime=1800.09
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194304 238878 0 0 0 179813 196 0 0 25 0 1 0 260009230 978714624 238266 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 238944 238266 310 324 0 238014 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 955776

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

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

[startup+1800.21 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 31175
/proc/meminfo: memFree=863880/2055920 swapFree=4148560/4192956
[pid=30976] ppid=30974 vsize=0 CPUtime=1800.2
/proc/30976/stat : 30976 (bsolo3.0.17) R 30974 30976 29755 0 -1 4194308 238882 0 0 0 179814 206 0 0 25 0 1 0 260009230 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/30976/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.26
CPU time (s): 1800.26
CPU user time (s): 1798.14
CPU system time (s): 2.12068
CPU usage (%): 99.9999
Max. virtual memory (cumulated for all children) (KiB): 955776

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

runsolver used 1.49077 second user time and 4.17736 second system time

The end

Launcher Data (download as text)

Begin job on node16 on Wed May  2 15:48:36 UTC 2007

IDJOB= 453171
IDBENCH= 48112
IDSOLVER= 199
FILE ID= node16/453171-1178120916

PBS_JOBID= 4751010

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_1.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453171-1178120916/instance-453171-1178120916.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node16/watcher-453171-1178120916 -o ROOT/results/node16/solver-453171-1178120916 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/453171-1178120916/instance-453171-1178120916.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  93a95f0846e71f0984a2317cf811edef

RANDOM SEED= 847495012

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node16.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:       1819240 kB
Buffers:         74724 kB
Cached:          76592 kB
SwapCached:      12496 kB
Active:          88820 kB
Inactive:        97072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1819240 kB
SwapTotal:     4192956 kB
SwapFree:      4148560 kB
Dirty:            6820 kB
Writeback:           0 kB
Mapped:          37864 kB
Slab:            36340 kB
Committed_AS: 13927188 kB
PageTables:       1860 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 node16 on Wed May  2 16:18:38 UTC 2007