Trace number 3708524

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
bsolo 3.2SAT26 1798.02 1798.43

General information on the benchmark

Name/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_0_errors.opb
MD5SUMa240e4a37082dfb03371e204a64a9828
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.044992
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables584
Total number of constraints427
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints394
Minimum length of a constraint1
Maximum length of a constraint34
Number of terms in the objective function 182
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 182
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 182
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2406
Sum of products size (including duplicates)10572
Number of different products2406
Sum of products size10572

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.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3708524-1338190945.opb
0.00/0.00	c File size is 96935 bytes.
0.00/0.01	c Highest Coefficient sum: 182
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.011 s
0.00/0.01	c Var: 2990 Constr: 5666 2775/485/2406 Lit: 37628 Watch. Lit: 24414
0.00/0.01	c Obj. Vars: 182 (6.08696 % of total variables)
0.09/0.14	c Pre-processing Time: 0.146 s
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   2273     4294    29110    6    18729   56052      0      0 0.15
0.09/0.14	c Switching off lower bounding mode.
0.49/0.51	c      100   2273     4437    49099   11    19154   61658    143    515 0.19
0.49/0.51	c      251   2273     4638    58704   12    19682   67824    344   1077 0.23
0.49/0.51	c      479   2273     4961    74002   14    20410   74607    667   1287 0.37
0.49/0.51	c      817   2273     5391    91871   17    21317   82068   1097   1768 0.46
0.49/0.51	o 55
1.79/1.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.86	c      921   2273     5541   104859   18    21830   57052   1247   1809 0.51
1.79/1.86	c     1021   2273     5670   111363   19    22264   62758   1376   1866 0.55
1.79/1.86	c     1271   2273     6016   126006   20    23041   69034   1722   1780 0.71
1.79/1.86	c     1747   2273     6654   175431   26    24692   75938   2360   1643 1.06
1.79/1.86	c     2560   2273     7780   281615   36    27599   83532   3486   1599 1.60
1.79/1.86	o 42
6.50/6.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.50/6.58	c     2889   2273     8234   301699   36    28875   57052   3940   1550 1.86
6.50/6.58	c     2993   2273     8366   307383   36    29182   62758   4072   1576 1.90
6.50/6.58	c     3243   2273     8709   330071   37    30099   69034   4415   1557 2.08
6.50/6.58	c     3719   2273     9298   374084   40    31600   75938   5004   1510 2.46
6.50/6.58	c     4532   2273    10383   482088   46    34181   83532   6089   1395 3.25
6.50/6.58	c     5853   2273    12266   680237   55    38655   91886   7972   1289 4.54
6.50/6.58	c     7934   2273    14964  1019295   68    44924  101075  10670   1278 6.21
6.50/6.58	o 41
14.20/14.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
14.20/14.29	c     8562   2273    15791  1069816   67    46827   57052  11497   1301 6.58
14.20/14.29	c     8662   2273    15923  1077359   67    47159   62758  11629   1298 6.67
14.20/14.29	c     8913   2273    16279  1098060   67    47993   69034  11985   1282 6.95
14.20/14.29	c     9389   2273    16984  1157678   68    49548   75938  12690   1265 7.42
14.20/14.29	c    10202   2273    18131  1227695   67    52229   83532  13837   1235 8.26
14.20/14.29	c    11522   2273    19797  1403621   70    56437   91886  15503   1216 9.47
14.20/14.29	c    13605   2273    22551  1689603   74    63025  101075  18257   1146 11.86
14.20/14.29	o 39
17.38/17.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.38/17.40	c    15043   2273    24499  1916160   78    67780   57052  20205   1052 14.30
17.38/17.40	c    15143   2273    24638  1928068   78    68142   62758  20344   1049 14.42
17.38/17.40	c    15393   2273    24962  1964412   78    69084   69034  20668   1042 14.77
17.38/17.40	c    15868   2273    25609  2038859   79    70775   75938  21315   1012 15.67
17.38/17.40	c    16681   2273    26661  2153601   80    73217   83532  22367    984 16.94
17.38/17.40	o 37
46.79/46.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
46.79/46.84	c    17022   2273    27117  2194039   80    74508   57052  22823    978 17.40
46.79/46.84	c    17122   2273    27238  2201358   80    74786   62758  22944    976 17.53
46.79/46.84	c    17372   2273    27570  2226982   80    75553   69034  23276    973 17.84
46.79/46.84	c    17848   2273    28167  2278886   80    76886   75938  23873    958 18.62
46.79/46.84	c    18662   2273    29154  2358549   80    79269   83532  24860    948 19.68
46.79/46.84	c    19982   2273    30877  2515672   81    83265   91886  26583    906 22.05
46.79/46.84	c    22063   2273    33576  2795195   83    89466  101075  29282    848 26.01
46.79/46.84	c    25286   2273    37612  3252856   86    98274  111183  33318    801 31.56
46.79/46.84	c    30222   2273    44333  4083349   92   112777  122302  40039    651 46.41
46.79/46.84	o 30
54.38/54.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
54.38/54.49	c    30355   2273    44513  4102568   92   113324   57052  40219    648 46.83
54.38/54.49	c    30455   2273    44634  4112074   92   113592   62758  40340    646 47.11
54.38/54.49	c    30705   2273    44967  4130743   91   114399   69034  40673    643 47.72
54.38/54.49	c    31181   2273    45630  4202550   92   115885   75938  41336    632 49.27
54.38/54.49	c    31994   2273    46732  4339643   92   118472   83532  42438    624 51.22
54.38/54.49	c    33318   2273    48583  4439971   91   122630   91886  44289    638 52.18
54.38/54.49	o 27
316.89/317.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
316.89/317.05	c    34212   2273    49799  4555291   91   125539   57052  45505    627 54.49
316.89/317.05	c    34312   2273    49938  4567241   91   125946   62758  45644    624 54.91
316.89/317.05	c    34564   2273    50239  4586949   91   126907   69034  45945    624 55.38
316.89/317.05	c    35040   2273    50880  4639725   91   128415   75938  46586    616 56.82
316.89/317.05	c    35853   2273    51862  4717549   90   130596   83532  47568    617 58.08
316.89/317.05	c    37174   2273    53548  4850626   90   134299   91886  49254    601 61.85
316.89/317.05	c    39256   2273    56417  5163992   91   140979  101075  52123    577 67.96
316.89/317.05	c    42479   2273    60723  5666127   93   150546  111183  56429    561 75.72
316.89/317.05	c    47415   2273    67768  6500996   95   166991  122302  63474    505 93.80
316.89/317.05	c    54922   2273    78280  7627075   97   189758  134533  73986    416 131.71
316.89/317.05	c    66284   2273    93425  9542689  102   223047  147987  89131    338 195.84
316.89/317.05	c    83428   2273   117420 12530558  106   275126  162786 113126    265 313.74
316.89/317.05	o 26
1797.99/1798.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.99/1798.42	c    83721   2273   117859 12570421  106   276273   57052 113565    264 316.95
1797.99/1798.42	c    83822   2273    23314  2316570   99    60092   62758  19020    262 318.81
1797.99/1798.42	c    84072   2273    23725  2346602   98    61475   69034  19431    263 319.42
1797.99/1798.42	c    84547   2273    24312  2377043   97    63452   75938  20018    264 319.84
1797.99/1798.42	c    85360   2273    25492  2461791   96    66343   83532  21198    265 320.94
1797.99/1798.42	c    86682   2273    27251  2601256   95    70862   91886  22957    268 322.69
1797.99/1798.42	c    88763   2273    29627  2740545   92    76000  101075  25333    273 324.85
1797.99/1798.42	c    91986   2273    33961  3136052   92    86435  111183  29667    278 329.83
1797.99/1798.42	c    96923   2273    40185  3795641   94   101838  122302  35891    286 338.11
1797.99/1798.42	c   104430   2273    50119  4611465   92   123722  134533  45825    294 354.46
1797.99/1798.42	c   115793   2273    64528  5869858   90   156584  147987  60234    303 380.99
1797.99/1798.42	c   132938   2273    86691  8688566  100   204688  162786  82397    299 444.17
1797.99/1798.42	c   158757   2273   121181 11780202   97   278920  179065 116887    266 595.29
1797.99/1798.42	c   197590   2273   173019 18423594  106   396006  196972 168725    214 921.74
1797.99/1798.42	c   255943   2273    79033 14410482  182   184783  216670  74739    204 1250.20
1797.99/1798.42	c Resources Exceeded
1797.99/1798.42	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 x221 x220 -x219 -x218 x217 x222 x224 x223 -x225 -x226 -x230 -x229 -x228 -x227 x231 -x232 -x233 -x234 x238 -x237 -x236 -x235 -x239 -x240 -x241 -x242 x246 x245 -x244 x243 x247 -x248 -x249 -x250 x254 x253 x252 x251 -x255 x256 x257 -x260 x259 x258 -x261 -x262 -x263 x265 x264 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 -x501 x502 x503 -x504 -x505 x506 -x507 -x508 -x509 -x510 x511 -x512 x513 -x514 -x515 x516 x517 -x518 -x519 x520 x521 x522 x523 x524 -x525 x526 -x527 -x528 -x529 x530 x531 x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 x541 x542 x543 x544 x545 -x546 x547 -x548 -x549 x550 -x551 x552 x553 x554 x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 x563 x564 -x565 -x566 -x567 x568 x569 -x570 -x571 x572 -x573 x574 x575 -x576 -x577 x578 -x579 x580 x581 x582 -x583 -x584 
1797.99/1798.42	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.99/1798.42	c   70   332655  93475   533162   180060 30096901 175766    185 1798.01
1797.99/1798.42	c Objective: 26
1797.99/1798.42	s SATISFIABLE
1797.99/1798.42	c Total time: 1798.01 s

Verifier Data 

OK	26

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-3708524-1338190945/watcher-3708524-1338190945 -o /tmp/evaluation-result-3708524-1338190945/solver-3708524-1338190945 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708524-1338190945.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.02 2.01 2.00 3/174 2351
/proc/meminfo: memFree=28212188/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=11300 CPUtime=0 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 390 0 0 0 0 0 0 0 20 0 1 0 285219995 11571200 344 33554432000 134512640 137138936 4293235152 4293233416 136505211 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 2825 345 181 642 0 2157 0

[startup+0.097066 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 2351
/proc/meminfo: memFree=28212188/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=12548 CPUtime=0.09 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 767 0 0 0 9 0 0 0 20 0 1 0 285219995 12849152 697 33554432000 134512640 137138936 4293235152 4293197948 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 3137 697 185 642 0 2493 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12548

[startup+0.100271 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 2351
/proc/meminfo: memFree=28212188/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=12548 CPUtime=0.09 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 767 0 0 0 9 0 0 0 20 0 1 0 285219995 12849152 697 33554432000 134512640 137138936 4293235152 4293197948 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 3137 697 185 642 0 2493 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12548

[startup+0.300224 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 2351
/proc/meminfo: memFree=28212188/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=12884 CPUtime=0.29 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 860 0 0 0 29 0 0 0 20 0 1 0 285219995 13193216 785 33554432000 134512640 137138936 4293235152 4293234080 134542246 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 3221 785 192 642 0 2577 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12884

[startup+0.70023 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 2351
/proc/meminfo: memFree=28212188/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=13700 CPUtime=0.69 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 1062 0 0 0 69 0 0 0 20 0 1 0 285219995 14028800 987 33554432000 134512640 137138936 4293235152 4293233892 136296964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 3425 987 192 642 0 2781 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13700

[startup+1.50024 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 2352
/proc/meminfo: memFree=28208840/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=15732 CPUtime=1.49 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 1573 0 0 0 149 0 0 0 20 0 1 0 285219995 16109568 1498 33554432000 134512640 137138936 4293235152 4293234268 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 3933 1498 192 642 0 3289 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15732

[startup+3.10021 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 2352
/proc/meminfo: memFree=28206112/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=18512 CPUtime=3.09 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 2272 0 0 0 308 1 0 0 20 0 1 0 285219995 18956288 2197 33554432000 134512640 137138936 4293235152 4293233584 134618200 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 4628 2197 192 642 0 3984 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18512

[startup+6.30025 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 2352
/proc/meminfo: memFree=28199044/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=26400 CPUtime=6.29 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 4237 0 0 0 628 1 0 0 20 0 1 0 285219995 27033600 4162 33554432000 134512640 137138936 4293235152 4293234256 134543427 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 6600 4162 192 642 0 5956 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26400

[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 2352
/proc/meminfo: memFree=28186652/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=36904 CPUtime=12.68 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 6852 0 0 0 1265 3 0 0 20 0 1 0 285219995 37789696 6777 33554432000 134512640 137138936 4293235152 4293234076 135984576 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 9226 6777 192 642 0 8582 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 36904

[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 2352
/proc/meminfo: memFree=28172152/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=50696 CPUtime=25.48 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 10307 0 0 0 2543 5 0 0 20 0 1 0 285219995 51912704 10232 33554432000 134512640 137138936 4293235152 4293234072 135984592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 12674 10232 192 642 0 12030 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 50696

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2352
/proc/meminfo: memFree=28150948/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=72176 CPUtime=51.08 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 15688 0 0 0 5098 10 0 0 20 0 1 0 285219995 73908224 15613 33554432000 134512640 137138936 4293235152 4293234072 135984592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 18044 15613 192 642 0 17400 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 72176

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2352
/proc/meminfo: memFree=28115360/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=105468 CPUtime=102.28 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 24016 0 0 0 10211 17 0 0 20 0 1 0 285219995 107999232 23941 33554432000 134512640 137138936 4293235152 4293233904 134574839 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 26367 23941 192 642 0 25723 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 105468

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2352
/proc/meminfo: memFree=28078524/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=129632 CPUtime=162.24 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 30066 0 0 0 16201 23 0 0 20 0 1 0 285219995 132743168 29959 33554432000 134512640 137138936 4293235152 4293234080 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 32408 29959 192 642 0 31764 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 129632

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2353
/proc/meminfo: memFree=28053036/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=152932 CPUtime=222.2 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 35942 0 0 0 22192 28 0 0 20 0 1 0 285219995 156602368 35801 33554432000 134512640 137138936 4293235152 4293234080 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 38233 35801 192 642 0 37589 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 152932

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2353
/proc/meminfo: memFree=28030840/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=175352 CPUtime=282.19 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 41531 0 0 0 28185 34 0 0 20 0 1 0 285219995 179560448 41390 33554432000 134512640 137138936 4293235152 4293234080 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 43838 41390 192 642 0 43194 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 175352

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2353
/proc/meminfo: memFree=28019680/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=185780 CPUtime=342.18 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 44251 0 0 0 34179 39 0 0 20 0 1 0 285219995 190238720 43999 33554432000 134512640 137138936 4293235152 4293234080 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 46445 43999 192 642 0 45801 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 185780

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2353
/proc/meminfo: memFree=28019608/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=185780 CPUtime=402.17 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 44251 0 0 0 40173 44 0 0 20 0 1 0 285219995 190238720 43999 33554432000 134512640 137138936 4293235152 4293234012 136521049 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 46445 43999 192 642 0 45801 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 185780

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2356
/proc/meminfo: memFree=28019440/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=185780 CPUtime=462.16 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 44253 0 0 0 46170 46 0 0 20 0 1 0 285219995 190238720 43999 33554432000 134512640 137138936 4293235152 4293234080 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 46445 43999 192 642 0 45801 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 185780

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2357
/proc/meminfo: memFree=28019580/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=185780 CPUtime=522.13 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 44269 0 0 0 52165 48 0 0 20 0 1 0 285219995 190238720 43999 33554432000 134512640 137138936 4293235152 4293233864 136504035 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 46445 43999 192 642 0 45801 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 185780

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2357
/proc/meminfo: memFree=28019696/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=185784 CPUtime=582.13 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 44270 0 0 0 58162 51 0 0 20 0 1 0 285219995 190242816 44000 33554432000 134512640 137138936 4293235152 4293234080 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 46446 44000 192 642 0 45802 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 185784

[startup+642.3 s]

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

/proc/meminfo: memFree=27966396/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=349540 CPUtime=1122.01 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 85467 0 0 0 112111 90 0 0 20 0 1 0 285219995 357928960 84951 33554432000 134512640 137138936 4293235152 4293234192 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 87385 84951 192 642 0 86741 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 349540

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2423
/proc/meminfo: memFree=27933400/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=349540 CPUtime=1181.98 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 85495 0 0 0 118104 94 0 0 20 0 1 0 285219995 357928960 84951 33554432000 134512640 137138936 4293235152 4293234080 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 87385 84951 192 642 0 86741 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 349540

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2423
/proc/meminfo: memFree=27893128/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=349540 CPUtime=1241.96 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 85495 0 0 0 124099 97 0 0 20 0 1 0 285219995 357928960 84951 33554432000 134512640 137138936 4293235152 4293234080 134542484 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 87385 84951 192 642 0 86741 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 349540

[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 2423
/proc/meminfo: memFree=27856700/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=349540 CPUtime=1301.96 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 85495 0 0 0 130096 100 0 0 20 0 1 0 285219995 357928960 84951 33554432000 134512640 137138936 4293235152 4293234048 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 87385 84951 192 642 0 86741 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 349540

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 2423
/proc/meminfo: memFree=27823600/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=349540 CPUtime=1361.95 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 85495 0 0 0 136092 103 0 0 20 0 1 0 285219995 357928960 84951 33554432000 134512640 137138936 4293235152 4293234080 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 87385 84951 192 642 0 86741 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 349540

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2423
/proc/meminfo: memFree=27794956/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=349540 CPUtime=1421.94 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 85495 0 0 0 142089 105 0 0 20 0 1 0 285219995 357928960 84951 33554432000 134512640 137138936 4293235152 4293234080 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 87385 84951 192 642 0 86741 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 349540

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2424
/proc/meminfo: memFree=27760732/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=349540 CPUtime=1481.93 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 85495 0 0 0 148085 108 0 0 20 0 1 0 285219995 357928960 84951 33554432000 134512640 137138936 4293235152 4293234080 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 87385 84951 192 642 0 86741 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 349540

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2424
/proc/meminfo: memFree=27733576/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=349540 CPUtime=1541.91 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 85495 0 0 0 154082 109 0 0 20 0 1 0 285219995 357928960 84951 33554432000 134512640 137138936 4293235152 4293233700 136500388 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 87385 84951 192 642 0 86741 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 349540

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2424
/proc/meminfo: memFree=27733204/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=351004 CPUtime=1601.91 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 85869 0 0 0 160080 111 0 0 20 0 1 0 285219995 359428096 85325 33554432000 134512640 137138936 4293235152 4293234080 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 87751 85325 192 642 0 87107 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 351004

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2427
/proc/meminfo: memFree=27712340/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=371480 CPUtime=1661.9 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 90985 0 0 0 166075 115 0 0 20 0 1 0 285219995 380395520 90441 33554432000 134512640 137138936 4293235152 4293234080 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 92870 90441 192 642 0 92226 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 371480

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2427
/proc/meminfo: memFree=27692904/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=391048 CPUtime=1721.9 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 95882 0 0 0 172071 119 0 0 20 0 1 0 285219995 400433152 95338 33554432000 134512640 137138936 4293235152 4293234080 134542484 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 97762 95338 192 642 0 97118 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 391048

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2428
/proc/meminfo: memFree=27672736/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=410680 CPUtime=1781.88 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 100777 0 0 0 178065 123 0 0 20 0 1 0 285219995 420536320 100233 33554432000 134512640 137138936 4293235152 4293234080 134542237 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 102670 100233 192 642 0 102026 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 410680

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

[startup+1791.91 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 2428
/proc/meminfo: memFree=27669744/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=413912 CPUtime=1791.49 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 101577 0 0 0 179025 124 0 0 20 0 1 0 285219995 423845888 101033 33554432000 134512640 137138936 4293235152 4293234080 134542354 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 103478 101033 192 642 0 102834 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (KiB) 413912

[startup+1795.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 2428
/proc/meminfo: memFree=27669000/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=414712 CPUtime=1794.69 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 101780 0 0 0 179345 124 0 0 20 0 1 0 285219995 424665088 101236 33554432000 134512640 137138936 4293235152 4293234080 134542237 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 103678 101236 192 642 0 103034 0
Current children cumulated CPU time (s) 1794.69
Current children cumulated vsize (KiB) 414712

[startup+1796.7 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 2428
/proc/meminfo: memFree=27668504/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=415512 CPUtime=1796.28 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 101981 0 0 0 179504 124 0 0 20 0 1 0 285219995 425484288 101437 33554432000 134512640 137138936 4293235152 4293234268 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 103878 101437 192 642 0 103234 0
Current children cumulated CPU time (s) 1796.28
Current children cumulated vsize (KiB) 415512

[startup+1797.5 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 2428
/proc/meminfo: memFree=27668008/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=415780 CPUtime=1797.08 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 102043 0 0 0 179584 124 0 0 20 0 1 0 285219995 425758720 101499 33554432000 134512640 137138936 4293235152 4293234080 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 103945 101499 192 642 0 103301 0
Current children cumulated CPU time (s) 1797.08
Current children cumulated vsize (KiB) 415780

[startup+1797.9 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 2428
/proc/meminfo: memFree=27668008/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=415780 CPUtime=1797.47 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 102060 0 0 0 179623 124 0 0 20 0 1 0 285219995 425758720 101516 33554432000 134512640 137138936 4293235152 4293234080 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 103945 101516 192 642 0 103301 0
Current children cumulated CPU time (s) 1797.47
Current children cumulated vsize (KiB) 415780

[startup+1798.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 2428
/proc/meminfo: memFree=27668008/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=415912 CPUtime=1797.88 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 102085 0 0 0 179663 125 0 0 20 0 1 0 285219995 425893888 101541 33554432000 134512640 137138936 4293235152 4293234080 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 103978 101541 192 642 0 103334 0
Current children cumulated CPU time (s) 1797.88
Current children cumulated vsize (KiB) 415912

[startup+1798.4 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 2428
/proc/meminfo: memFree=27667760/32873852 swapFree=6848/6848
[pid=2351] ppid=2349 vsize=415912 CPUtime=1797.99 cores=1,3,5,7
/proc/2351/stat : 2351 (bsolo) R 2349 2351 31475 0 -1 4202496 102095 0 0 0 179674 125 0 0 20 0 1 0 285219995 425893888 101551 33554432000 134512640 137138936 4293235152 4293234080 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2351/statm: 103978 101551 192 642 0 103334 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 415912

Child status: 0
Real time (s): 1798.43
CPU time (s): 1798.02
CPU user time (s): 1796.76
CPU system time (s): 1.25881
CPU usage (%): 99.9771
Max. virtual memory (cumulated for all children) (KiB): 415912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.76
system time used= 1.25881
maximum resident set size= 406212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102097
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= 167
involuntary context switches= 1845

runsolver used 2.50362 second user time and 7.34188 second system time

The end

Launcher Data 

Begin job on node129 at 2012-05-28 09:42:25
IDJOB=3708524
IDBENCH=72486
IDSOLVER=2286
FILE ID=node129/3708524-1338190945
RUNJOBID= node129-1338158686-31492
PBS_JOBID= 14624544
Free space on /tmp= 71192 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_0_errors.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708524-1338190945/watcher-3708524-1338190945 -o /tmp/evaluation-result-3708524-1338190945/solver-3708524-1338190945 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3708524-1338190945.opb

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

MD5SUM BENCH= a240e4a37082dfb03371e204a64a9828
RANDOM SEED=376854653

node129.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.957
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.91
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.957
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.957
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.91
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.957
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.957
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.90
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.957
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.957
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.957
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        28212716 kB
Buffers:          388640 kB
Cached:          3139712 kB
SwapCached:            0 kB
Active:          1514576 kB
Inactive:        2286472 kB
Active(anon):     274764 kB
Inactive(anon):        0 kB
Active(file):    1239812 kB
Inactive(file):  2286472 kB
Unevictable:        6848 kB
Mlocked:            6848 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3968 kB
Writeback:             0 kB
AnonPages:        278264 kB
Mapped:            15160 kB
Shmem:               204 kB
Slab:             720232 kB
SReclaimable:     162820 kB
SUnreclaim:       557412 kB
KernelStack:        1440 kB
PageTables:         4372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     390844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    256000 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= 71188 MiB
End job on node129 at 2012-05-28 10:12:24