Trace number 3736693

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
PB07: bsolo 3.0.17SAT (TO)20 1800.08 1800.74

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_60_4.opb
MD5SUMefe239846afd4f2627c83cec32ebc27d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark1796.86
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 17
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 constraint61
Maximum length of a constraint107
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)37458
Sum of products size (including duplicates)74916
Number of different products37458
Sum of products size74916

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

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 15500 MB
0.00/0.00	c Instance file HOME/instance-3736693-1338710055.opb
0.00/0.00	c File size is 516457 bytes.
0.01/0.09	c Highest Coefficient sum: 500
0.01/0.09	c Parsing was ok!!
0.01/0.09	c Total parsing time: 0.094 s
0.08/0.12	c Var: 37958 Constr: 75416 37958/0/37458 Lit: 262706 Watch. Lit: 188290
0.08/0.12	c Obj. Vars: 500 (1.31725 % of total variables)
3.48/3.58	c Pre-processing Time: 3.58 s
3.48/3.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.48/3.58	c        0  37958    75416   262706    3   188290  237400      0      0 3.58
3.48/3.58	c Switching off LPR mode.
3.58/3.61	o 499	3.612
3.58/3.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.58/3.64	c        0  37958    75417   263206    3   188293  237733      1      0 3.62
3.58/3.64	o 498	3.644
3.58/3.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.58/3.68	c        0  37958    75418   263706    3   188297  238233      2      0 3.65
3.58/3.68	o 497	3.678
3.68/3.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.68/3.71	c        0  37958    75419   264206    3   188302  238900      3      0 3.69
3.68/3.71	o 496	3.711
3.68/3.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.68/3.74	c        0  37958    75420   264706    3   188308  239733      4      0 3.72
3.68/3.74	o 495	3.745
3.68/3.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.68/3.78	c        0  37958    75421   265206    3   188315  240733      5      0 3.75
3.68/3.78	o 494	3.776
3.78/3.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.78/3.81	c        0  37958    75422   265706    3   188323  241733      6      0 3.79
3.78/3.81	o 493	3.808
3.78/3.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.78/3.84	c        0  37958    75423   266206    3   188332  242733      7      0 3.82
3.78/3.84	o 492	3.842
3.78/3.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.78/3.87	c        0  37958    75424   266706    3   188342  243733      8      0 3.85
3.78/3.87	o 491	3.874
3.88/3.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.88/3.91	c        0  37958    75425   267206    3   188353  244733      9      0 3.88
3.88/3.91	o 490	3.906
3.88/3.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.88/3.94	c        0  37958    75426   267706    3   188365  245733     10      0 3.92
3.88/3.94	o 489	3.938
3.88/3.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.88/3.97	c        0  37958    75427   268206    3   188378  246733     11      0 3.95
3.88/3.97	o 488	3.97
3.98/4.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.98/4.00	c        0  37958    75428   268706    3   188392  247733     12      0 3.98
3.98/4.00	o 487	4.002
3.98/4.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.98/4.04	c        0  37958    75429   269206    3   188407  248733     13      0 4.01
3.98/4.04	o 486	4.035
3.98/4.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.98/4.07	c        0  37958    75430   269706    3   188423  249733     14      0 4.04
3.98/4.07	o 485	4.068
4.08/4.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.08/4.15	c        0  37958    75431   270206    3   188440  250733     15      0 4.08
4.08/4.15	o 484	4.102
4.08/4.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.08/4.15	c        0  37958    75432   270706    3   188458  251733     16      0 4.11
4.08/4.15	o 483	4.136
4.08/4.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.08/4.17	c        0  37958    75433   271206    3   188477  252733     17      0 4.15
4.08/4.17	o 482	4.169
4.18/4.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.18/4.20	c        0  37958    75434   271706    3   188497  253733     18      0 4.18
4.18/4.20	o 481	4.202
4.18/4.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.18/4.24	c        0  37958    75435   272206    3   188518  254733     19      0 4.21
4.18/4.24	o 480	4.236
4.18/4.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.18/4.27	c        0  37958    75436   272706    3   188540  255733     20      0 4.25
4.18/4.27	o 479	4.269
4.29/4.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.29/4.30	c        0  37958    75437   273206    3   188563  256733     21      0 4.28
4.29/4.30	o 478	4.303
4.29/4.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.29/4.34	c        0  37958    75438   273706    3   188587  257733     22      0 4.31
4.29/4.34	o 477	4.337
4.29/4.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.29/4.37	c        0  37958    75439   274206    3   188612  258733     23      0 4.35
4.29/4.37	o 476	4.369
4.39/4.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.39/4.42	c        1  37958    75441   275183    3   188640  258733     25      0 4.38
4.39/4.42	o 21	4.421
4.39/4.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.39/4.48	c        1  37958    75442   275683    3   189121  258733     26      0 4.44
4.39/4.48	o 20	4.477
1800.05/1800.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.05/1800.71	c        5  37958    75447   276920    3   189611  258733     31      1 4.49
1800.05/1800.71	c      105  37958    75547   299831    3   189811  284607    131     22 4.58
1800.05/1800.71	c      356  37958    75798   358438    4   190313  313068    382     75 4.72
1800.05/1800.71	c      832  37958    76274   516723    6   191265  344375    858    167 4.96
1800.05/1800.71	c     1646  37958    77088   670740    8   192893  378813   1672    311 5.28
1800.05/1800.71	c     2966  37958    78408  1116506   14   195533  416695   2992    500 5.93
1800.05/1800.71	c     5048  37958    80490  1921686   23   199697  458365   5074    696 7.25
1800.05/1800.71	c     8272  37958    83714  3092100   36   206145  504202   8298    878 9.41
1800.05/1800.71	c    13210  37958    88652  4911771   55   216021  554623  13236    993 13.29
1800.05/1800.71	c    20716  37958    96158  7489883   77   231033  610086  20742   1029 20.11
1800.05/1800.71	c    32077  37958   107519 10934674  101   253755  671095  32103   1033 31.04
1800.05/1800.71	c    49221  37958   124663 16869279  135   288043  738205  49247    867 56.71
1800.05/1800.71	c    75040  37958   150482 26283389  174   339681  812026  75066    741 101.18
1800.05/1800.71	c   113872  37958   189314 39337799  207   417345  893229 113898    664 171.47
1800.05/1800.71	c   172224  37958   247666 64478102  260   534049  982552 172250    406 423.30
1800.05/1800.71	c   259856  37958   335298 87776885  261   709313  500000 259882    290 895.20
1800.05/1800.71	c Caught signal: 15
1800.05/1800.71	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 -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 -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 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 
1800.05/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.05/1800.71	c   41   384829 117142   640617   460271 122211590 384855    213 1800.06
1800.05/1800.71	c Objective: 20
1800.05/1800.71	s SATISFIABLE
1800.05/1800.71	c Total time: 1800.06 s

Verifier Data 

OK	20

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3736693-1338710055/watcher-3736693-1338710055 -o /tmp/evaluation-result-3736693-1338710055/solver-3736693-1338710055 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3736693-1338710055.opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.18 2.06 2.02 3/175 2203
/proc/meminfo: memFree=28552888/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=5196 CPUtime=0 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 488 0 0 0 0 0 0 0 20 0 1 0 337131145 5320704 424 33554432000 134512640 135840783 4290434928 4290433536 6001959 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 1299 425 331 325 0 108 0

[startup+0.0211479 s]
/proc/loadavg: 2.18 2.06 2.02 3/175 2203
/proc/meminfo: memFree=28552888/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=7164 CPUtime=0.01 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 982 0 0 0 1 0 0 0 20 0 1 0 337131145 7335936 918 33554432000 134512640 135840783 4290434928 4290433408 6001959 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 1791 919 351 325 0 600 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7164

[startup+0.100269 s]
/proc/loadavg: 2.18 2.06 2.02 3/175 2203
/proc/meminfo: memFree=28552888/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=15976 CPUtime=0.08 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 3462 0 0 0 8 0 0 0 20 0 1 0 337131145 16359424 3231 33554432000 134512640 135840783 4290434928 4290434576 134523464 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 3994 3231 336 325 0 2930 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15976

[startup+0.300313 s]
/proc/loadavg: 2.18 2.06 2.02 3/175 2203
/proc/meminfo: memFree=28552888/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=23756 CPUtime=0.29 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 5303 0 0 0 28 1 0 0 20 0 1 0 337131145 24326144 5072 33554432000 134512640 135840783 4290434928 4289978524 2884656 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 5939 5072 342 325 0 4875 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23756

[startup+0.700321 s]
/proc/loadavg: 2.18 2.06 2.02 3/175 2203
/proc/meminfo: memFree=28552888/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=23756 CPUtime=0.69 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 5303 0 0 0 68 1 0 0 20 0 1 0 337131145 24326144 5072 33554432000 134512640 135840783 4290434928 4289978524 2884656 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 5939 5072 342 325 0 4875 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23756

[startup+1.50031 s]
/proc/loadavg: 2.18 2.06 2.02 3/176 2204
/proc/meminfo: memFree=28535956/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=23756 CPUtime=1.48 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 5303 0 0 0 147 1 0 0 20 0 1 0 337131145 24326144 5072 33554432000 134512640 135840783 4290434928 4289978524 2884656 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 5939 5072 342 325 0 4875 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 23756

[startup+3.10032 s]
/proc/loadavg: 2.18 2.06 2.02 3/176 2204
/proc/meminfo: memFree=28535072/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=28548 CPUtime=3.09 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 6573 0 0 0 306 3 0 0 20 0 1 0 337131145 29233152 6267 33554432000 134512640 135840783 4290434928 4289978348 2884656 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 7137 6267 344 325 0 6073 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28548

[startup+6.30027 s]
/proc/loadavg: 2.17 2.05 2.01 3/176 2204
/proc/meminfo: memFree=28525892/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=38672 CPUtime=6.28 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 10419 0 0 0 622 6 0 0 20 0 1 0 337131145 39600128 8803 33554432000 134512640 135840783 4290434928 4290429728 6001959 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 9668 8803 348 325 0 8604 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 38672

[startup+12.7003 s]
/proc/loadavg: 2.15 2.05 2.01 3/176 2204
/proc/meminfo: memFree=28477680/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=81912 CPUtime=12.69 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 21228 0 0 0 1261 8 0 0 20 0 1 0 337131145 83877888 19612 33554432000 134512640 135840783 4290434928 4290434288 134550913 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 20478 19612 348 325 0 19414 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 81912

[startup+25.5003 s]
/proc/loadavg: 2.12 2.05 2.01 3/176 2204
/proc/meminfo: memFree=28414996/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=144224 CPUtime=25.49 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 36830 0 0 0 2537 12 0 0 20 0 1 0 337131145 147685376 35214 33554432000 134512640 135840783 4290434928 4290434160 6004410 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 36056 35214 348 325 0 34992 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 144224

[startup+51.1003 s]
/proc/loadavg: 2.13 2.06 2.02 3/177 2205
/proc/meminfo: memFree=28332900/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=227664 CPUtime=51.08 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 57674 0 0 0 5089 19 0 0 20 0 1 0 337131145 233127936 56058 33554432000 134512640 135840783 4290434928 4290434288 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 56916 56058 348 325 0 55852 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 227664

[startup+102.307 s]
/proc/loadavg: 2.06 2.05 2.01 3/177 2205
/proc/meminfo: memFree=28190288/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=369260 CPUtime=102.26 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 93111 0 0 0 10196 30 0 0 20 0 1 0 337131145 378122240 91461 33554432000 134512640 135840783 4290434928 4290434288 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 92315 91461 348 325 0 91251 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 369260

[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 2205
/proc/meminfo: memFree=28039840/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=518148 CPUtime=162.21 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 130365 0 0 0 16180 41 0 0 20 0 1 0 337131145 530583552 128679 33554432000 134512640 135840783 4290434928 4290434288 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 129537 128679 348 325 0 128473 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 518148

[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 2205
/proc/meminfo: memFree=27924860/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=633160 CPUtime=222.18 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 159162 0 0 0 22167 51 0 0 20 0 1 0 337131145 648355840 157440 33554432000 134512640 135840783 4290434928 4290434240 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 158290 157440 348 325 0 157226 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 633160

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 2206
/proc/meminfo: memFree=27843916/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=714788 CPUtime=282.13 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 179623 0 0 0 28155 58 0 0 20 0 1 0 337131145 731942912 177861 33554432000 134512640 135840783 4290434928 4290429072 6001959 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 178697 177861 348 325 0 177633 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 714788

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 2206
/proc/meminfo: memFree=27782000/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=773512 CPUtime=342.11 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 194345 0 0 0 34147 64 0 0 20 0 1 0 337131145 792076288 192540 33554432000 134512640 135840783 4290434928 4290434000 5999518 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 193378 192540 348 325 0 192314 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 773512

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 2209
/proc/meminfo: memFree=27706064/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=841296 CPUtime=402.08 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 211320 0 0 0 40138 70 0 0 20 0 1 0 337131145 861487104 209472 33554432000 134512640 135840783 4290434928 4290434288 134551324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 210324 209472 348 325 0 209260 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 841296

[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 2271
/proc/meminfo: memFree=27704772/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=905032 CPUtime=462.04 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 227300 0 0 0 46128 76 0 0 20 0 1 0 337131145 926752768 225409 33554432000 134512640 135840783 4290434928 4290434288 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 226258 225409 348 325 0 225194 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 905032

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2271
/proc/meminfo: memFree=27476416/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=953280 CPUtime=522.01 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 239404 0 0 0 52120 81 0 0 20 0 1 0 337131145 976158720 237475 33554432000 134512640 135840783 4290434928 4290434288 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 238320 237475 348 325 0 237256 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 953280

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2272
/proc/meminfo: memFree=27386544/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=995676 CPUtime=581.98 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 250037 0 0 0 58113 85 0 0 20 0 1 0 337131145 1019572224 248069 33554432000 134512640 135840783 4290434928 4290434288 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 248919 248069 348 325 0 247855 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 995676

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2273
/proc/meminfo: memFree=27153952/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=1161252 CPUtime=881.86 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 291531 0 0 0 88080 106 0 0 20 0 1 0 337131145 1189122048 289471 33554432000 134512640 135840783 4290434928 4290434288 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 290313 289471 348 325 0 289249 0
Current children cumulated CPU time (s) 881.86
Current children cumulated vsize (KiB) 1161252

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2273
/proc/meminfo: memFree=27113324/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=1202396 CPUtime=941.85 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 301804 0 0 0 94075 110 0 0 20 0 1 0 337131145 1231253504 299744 33554432000 134512640 135840783 4290434928 4290434288 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 300599 299744 348 325 0 299535 0
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (KiB) 1202396

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2276
/proc/meminfo: memFree=27072148/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=1243184 CPUtime=1001.85 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 312026 0 0 0 100070 115 0 0 20 0 1 0 337131145 1273020416 309966 33554432000 134512640 135840783 4290434928 4290434288 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 310796 309966 348 325 0 309732 0
Current children cumulated CPU time (s) 1001.85
Current children cumulated vsize (KiB) 1243184

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2276
/proc/meminfo: memFree=27033468/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=1282536 CPUtime=1061.84 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 321840 0 0 0 106064 120 0 0 20 0 1 0 337131145 1313316864 319780 33554432000 134512640 135840783 4290434928 4290434288 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 320634 319780 348 325 0 319570 0
Current children cumulated CPU time (s) 1061.84
Current children cumulated vsize (KiB) 1282536

[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 2276
/proc/meminfo: memFree=26973576/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=1315084 CPUtime=1121.83 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 329995 0 0 0 112059 124 0 0 20 0 1 0 337131145 1346646016 327935 33554432000 134512640 135840783 4290434928 4290434240 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 328771 327935 348 325 0 327707 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 1315084

[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 2276
/proc/meminfo: memFree=26939484/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=1349924 CPUtime=1181.82 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 338685 0 0 0 118054 128 0 0 20 0 1 0 337131145 1382322176 336625 33554432000 134512640 135840783 4290434928 4290431184 6001959 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 337481 336625 348 325 0 336417 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 1349924

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2277
/proc/meminfo: memFree=26909468/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=1379404 CPUtime=1241.81 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 346057 0 0 0 124050 131 0 0 20 0 1 0 337131145 1412509696 343997 33554432000 134512640 135840783 4290434928 4290434288 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 344851 343997 348 325 0 343787 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 1379404

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2277
/proc/meminfo: memFree=26887024/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=1401272 CPUtime=1301.81 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 351528 0 0 0 130047 134 0 0 20 0 1 0 337131145 1434902528 349468 33554432000 134512640 135840783 4290434928 4290434288 134551063 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 350318 349468 348 325 0 349254 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 1401272

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2277
/proc/meminfo: memFree=26864952/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=1423392 CPUtime=1361.79 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 357070 0 0 0 136043 136 0 0 20 0 1 0 337131145 1457553408 355010 33554432000 134512640 135840783 4290434928 4290434236 16045159 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 355848 355010 348 325 0 354784 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 1423392

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2277
/proc/meminfo: memFree=26836060/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=1452712 CPUtime=1421.79 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 364377 0 0 0 142040 139 0 0 20 0 1 0 337131145 1487577088 362317 33554432000 134512640 135840783 4290434928 4290434288 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 363178 362317 348 325 0 362114 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 1452712

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2277
/proc/meminfo: memFree=26810888/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=1477880 CPUtime=1481.78 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 370684 0 0 0 148035 143 0 0 20 0 1 0 337131145 1513349120 368624 33554432000 134512640 135840783 4290434928 4290434288 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 369470 368624 348 325 0 368406 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1477880

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2278
/proc/meminfo: memFree=26782988/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=1506016 CPUtime=1541.77 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 377730 0 0 0 154030 147 0 0 20 0 1 0 337131145 1542160384 375670 33554432000 134512640 135840783 4290434928 4290434288 134550808 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 376504 375670 348 325 0 375440 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 1506016

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2281
/proc/meminfo: memFree=26754380/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=1534432 CPUtime=1601.75 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 384827 0 0 0 160025 150 0 0 20 0 1 0 337131145 1571258368 382760 33554432000 134512640 135840783 4290434928 4290434288 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 383608 382760 348 325 0 382544 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 1534432

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2281
/proc/meminfo: memFree=26725276/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=1563384 CPUtime=1661.72 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 392098 0 0 0 166018 154 0 0 20 0 1 0 337131145 1600905216 389997 33554432000 134512640 135840783 4290434928 4290428912 134547392 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 390846 389997 348 325 0 389782 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 1563384

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2281
/proc/meminfo: memFree=26698272/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=1590224 CPUtime=1721.68 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 398867 0 0 0 172011 157 0 0 20 0 1 0 337131145 1628389376 396723 33554432000 134512640 135840783 4290434928 4290434288 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 397556 396723 348 325 0 396492 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 1590224

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2281
/proc/meminfo: memFree=26676476/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=1611988 CPUtime=1781.64 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 404337 0 0 0 178003 161 0 0 20 0 1 0 337131145 1650675712 402152 33554432000 134512640 135840783 4290434928 4290434288 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 402997 402152 348 325 0 401933 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 1611988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 2282
/proc/meminfo: memFree=26669252/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=1619052 CPUtime=1800.05 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 406102 0 0 0 179843 162 0 0 20 0 1 0 337131145 1657909248 403904 33554432000 134512640 135840783 4290434928 4290434288 134550624 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 404763 403904 348 325 0 403699 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1619052

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: 2.07 2.02 2.00 3/177 2282
/proc/meminfo: memFree=26669252/32873844 swapFree=7112/7112
[pid=2203] ppid=2201 vsize=1619052 CPUtime=1800.05 cores=1,3,5,7
/proc/2203/stat : 2203 (bsolo3.0.17) R 2201 2203 31541 0 -1 4202496 406102 0 0 0 179843 162 0 0 20 0 1 0 337131145 1657909248 403904 33554432000 134512640 135840783 4290434928 4290434288 134550624 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2203/statm: 404763 403904 348 325 0 403699 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1619052

Child status: 15
Real time (s): 1800.74
CPU time (s): 1800.08
CPU user time (s): 1798.44
CPU system time (s): 1.64075
CPU usage (%): 99.9635
Max. virtual memory (cumulated for all children) (KiB): 1619052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.44
system time used= 1.64075
maximum resident set size= 1615616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 406105
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= 615
involuntary context switches= 1852

runsolver used 3.64945 second user time and 9.74652 second system time

The end

Launcher Data 

Begin job on node119 at 2012-06-03 09:54:15
IDJOB=3736693
IDBENCH=48104
IDSOLVER=2318
FILE ID=node119/3736693-1338710055
RUNJOBID= node119-1338678620-31561
PBS_JOBID= 14636694
Free space on /tmp= 70888 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_60_4.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736693-1338710055/watcher-3736693-1338710055 -o /tmp/evaluation-result-3736693-1338710055/solver-3736693-1338710055 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3736693-1338710055.opb            

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= efe239846afd4f2627c83cec32ebc27d
RANDOM SEED=471883544

node119.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28552888 kB
Buffers:          402724 kB
Cached:          2958252 kB
SwapCached:         1936 kB
Active:          1596916 kB
Inactive:        1895744 kB
Active(anon):     126236 kB
Inactive(anon):     7216 kB
Active(file):    1470680 kB
Inactive(file):  1888528 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67100224 kB
Dirty:              7156 kB
Writeback:             0 kB
AnonPages:        136552 kB
Mapped:            13240 kB
Shmem:                 0 kB
Slab:             690064 kB
SReclaimable:     131612 kB
SUnreclaim:       558452 kB
KernelStack:        1464 kB
PageTables:         4216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     342844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     96256 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70888 MiB
End job on node119 at 2012-06-03 10:24:17