Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a4.opb |
MD5SUM | 8a77190c2eeefb9e88447a9087adfd6f |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 283 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 792 |
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 | 792 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 792 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02084 |
Number of variables | 792 |
Total number of constraints | 3194 |
Number of constraints which are clauses | 3194 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 8 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-07 04:46:15 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1487 boxname=wulflinc31 idbench=166 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 8a77190c2eeefb9e88447a9087adfd6f /oldhome/oroussel/tmp/wulflinc31/normalized-ii8a4.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ii8a4.opb IDLAUNCH: 1487 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 148964 kB Buffers: 38048 kB Cached: 813416 kB SwapCached: 644 kB Active: 487640 kB Inactive: 366100 kB HighTotal: 131008 kB HighFree: 8232 kB LowTotal: 903652 kB LowFree: 140732 kB SwapTotal: 2097892 kB SwapFree: 2096612 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5608 kB Slab: 26296 kB Committed_AS: 63652 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-07 05:06:18 (client local time) WITH STATUS 0 IN 1200.54 SECONDS stats: 1487 7 1200.54 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 792 variables and 3194 constraints. c After prepocess the problem consists of 792 variables and 5126 constraints. c preprocess terminated 31.699 s c Initial Lower Bound: 281 c Lower Bound Elapsed time: 12.3253 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 396 @ 68.874 c NEW SOLUTION FOUND: 395 @ 68.876 c NEW SOLUTION FOUND: 394 @ 68.887 c NEW SOLUTION FOUND: 393 @ 68.896 c NEW SOLUTION FOUND: 392 @ 68.905 c NEW SOLUTION FOUND: 391 @ 68.924 c NEW SOLUTION FOUND: 390 @ 68.934 c NEW SOLUTION FOUND: 389 @ 68.944 c NEW SOLUTION FOUND: 388 @ 68.954 c NEW SOLUTION FOUND: 387 @ 68.964 c NEW SOLUTION FOUND: 386 @ 68.975 c NEW SOLUTION FOUND: 385 @ 68.985 c NEW SOLUTION FOUND: 384 @ 68.995 c NEW SOLUTION FOUND: 383 @ 69.006 c NEW SOLUTION FOUND: 382 @ 69.027 c NEW SOLUTION FOUND: 381 @ 69.049 c NEW SOLUTION FOUND: 380 @ 69.105 c NEW SOLUTION FOUND: 379 @ 69.132 c NEW SOLUTION FOUND: 378 @ 69.147 c NEW SOLUTION FOUND: 377 @ 69.162 c NEW SOLUTION FOUND: 376 @ 69.179 c NEW SOLUTION FOUND: 375 @ 69.197 c NEW SOLUTION FOUND: 374 @ 69.215 c NEW SOLUTION FOUND: 373 @ 69.233 c NEW SOLUTION FOUND: 372 @ 69.252 c NEW SOLUTION FOUND: 371 @ 69.271 c NEW SOLUTION FOUND: 370 @ 69.289 c NEW SOLUTION FOUND: 369 @ 69.308 c NEW SOLUTION FOUND: 368 @ 69.329 c NEW SOLUTION FOUND: 367 @ 69.349 c NEW SOLUTION FOUND: 366 @ 69.368 c NEW SOLUTION FOUND: 365 @ 69.414 c NEW SOLUTION FOUND: 364 @ 69.438 c NEW SOLUTION FOUND: 363 @ 69.46 c NEW SOLUTION FOUND: 362 @ 69.486 c NEW SOLUTION FOUND: 361 @ 69.509 c NEW SOLUTION FOUND: 360 @ 69.565 c NEW SOLUTION FOUND: 359 @ 69.595 c NEW SOLUTION FOUND: 358 @ 69.624 c NEW SOLUTION FOUND: 357 @ 69.655 c NEW SOLUTION FOUND: 356 @ 69.687 c NEW SOLUTION FOUND: 355 @ 69.719 c NEW SOLUTION FOUND: 354 @ 69.75 c NEW SOLUTION FOUND: 353 @ 69.781 c NEW SOLUTION FOUND: 352 @ 69.814 c NEW SOLUTION FOUND: 351 @ 69.844 c NEW SOLUTION FOUND: 350 @ 69.907 c NEW SOLUTION FOUND: 349 @ 69.94 c NEW SOLUTION FOUND: 348 @ 69.975 c NEW SOLUTION FOUND: 347 @ 70.008 c NEW SOLUTION FOUND: 346 @ 70.041 c NEW SOLUTION FOUND: 345 @ 70.074 c NEW SOLUTION FOUND: 344 @ 70.106 c NEW SOLUTION FOUND: 343 @ 70.142 c NEW SOLUTION FOUND: 342 @ 70.177 c NEW SOLUTION FOUND: 341 @ 70.214 c NEW SOLUTION FOUND: 340 @ 70.25 c NEW SOLUTION FOUND: 339 @ 70.286 c NEW SOLUTION FOUND: 338 @ 70.322 c NEW SOLUTION FOUND: 337 @ 70.358 c NEW SOLUTION FOUND: 336 @ 70.452 c NEW SOLUTION FOUND: 335 @ 70.501 c NEW SOLUTION FOUND: 334 @ 70.55 c NEW SOLUTION FOUND: 333 @ 70.601 c NEW SOLUTION FOUND: 332 @ 70.648 c NEW SOLUTION FOUND: 331 @ 70.696 c NEW SOLUTION FOUND: 330 @ 70.75 c NEW SOLUTION FOUND: 329 @ 70.848 c NEW SOLUTION FOUND: 328 @ 70.911 c NEW SOLUTION FOUND: 327 @ 70.971 c NEW SOLUTION FOUND: 326 @ 71.023 c NEW SOLUTION FOUND: 325 @ 71.072 c NEW SOLUTION FOUND: 324 @ 71.141 c NEW SOLUTION FOUND: 323 @ 71.202 c NEW SOLUTION FOUND: 322 @ 71.266 c NEW SOLUTION FOUND: 321 @ 71.488 c NEW SOLUTION FOUND: 320 @ 71.599 c NEW SOLUTION FOUND: 319 @ 71.722 c NEW SOLUTION FOUND: 318 @ 71.84 c NEW SOLUTION FOUND: 317 @ 71.94 c NEW SOLUTION FOUND: 316 @ 72.248 c NEW SOLUTION FOUND: 315 @ 72.404 c NEW SOLUTION FOUND: 314 @ 72.513 c NEW SOLUTION FOUND: 313 @ 72.695 c NEW SOLUTION FOUND: 312 @ 72.879 c NEW SOLUTION FOUND: 311 @ 73.191 c NEW SOLUTION FOUND: 310 @ 73.36 c NEW SOLUTION FOUND: 309 @ 73.558 c NEW SOLUTION FOUND: 308 @ 73.747 c NEW SOLUTION FOUND: 307 @ 73.95 c NEW SOLUTION FOUND: 306 @ 74.255 c NEW SOLUTION FOUND: 290 @ 91.467 c NEW SOLUTION FOUND: 289 @ 99.59 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.92 0.97 0.99 1/54 29041 Raw data (stat): 29041 (runsolver) D 29040 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 18 0 1 0 680549545 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 3225161850 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0013 s] Raw data (loadavg): 0.93 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 1653 0 0 0 989 6 0 0 25 0 1 0 680549545 9928704 1573 4294967295 134512640 134714508 3221221792 3221220440 134558609 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2424 1573 1111 63 0 2361 0 vsize: 9696 [startup+20.0017 s] Raw data (loadavg): 0.94 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 1669 0 0 0 1989 6 0 0 25 0 1 0 680549545 9928704 1589 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2424 1589 1111 63 0 2361 0 vsize: 9696 [startup+30.0016 s] Raw data (loadavg): 0.95 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 1793 0 0 0 2989 7 0 0 25 0 1 0 680549545 10469376 1713 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2556 1713 1111 63 0 2493 0 vsize: 10224 [startup+40.0019 s] Raw data (loadavg): 0.96 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 2949 0 0 0 3986 9 0 0 25 0 1 0 680549545 14835712 2681 4294967295 134512640 134714508 3221221792 3221218640 1075960291 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3622 2681 1111 63 0 3559 0 vsize: 14488 [startup+50.0025 s] Raw data (loadavg): 0.96 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 3018 0 0 0 4986 10 0 0 25 0 1 0 680549545 14995456 2747 4294967295 134512640 134714508 3221221792 3221217952 1075115715 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3661 2747 1111 63 0 3598 0 vsize: 14644 [startup+60.0035 s] Raw data (loadavg): 0.97 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 4528 0 0 0 5982 13 0 0 25 0 1 0 680549545 16244736 2587 4294967295 134512640 134714508 3221221792 3221218244 1075863638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3966 2587 1111 63 0 3903 0 vsize: 15864 [startup+70.0035 s] Raw data (loadavg): 0.97 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 9643 0 0 0 6970 26 0 0 25 0 1 0 680549545 12636160 2404 4294967295 134512640 134714508 3221221792 3221220512 134592104 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3085 2404 1111 63 0 3022 0 vsize: 12340 [startup+80.0034 s] Raw data (loadavg): 0.98 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 16662 0 0 0 7953 43 0 0 25 0 1 0 680549545 16367616 2603 4294967295 134512640 134714508 3221221792 3221217752 1074789695 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3996 2603 1111 63 0 3933 0 vsize: 15984 [startup+90.0032 s] Raw data (loadavg): 0.98 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 18313 0 0 0 8949 47 0 0 25 0 1 0 680549545 15663104 2792 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3824 2792 1111 63 0 3761 0 vsize: 15296 [startup+100.003 s] Raw data (loadavg): 0.98 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 19561 0 0 0 9944 51 0 0 25 0 1 0 680549545 12902400 2479 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3150 2479 1111 63 0 3087 0 vsize: 12600 [startup+110.004 s] Raw data (loadavg): 0.98 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 21507 0 0 0 10941 55 0 0 25 0 1 0 680549545 12902400 2479 4294967295 134512640 134714508 3221221792 3221220176 1074153800 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3150 2479 1111 63 0 3087 0 vsize: 12600 [startup+120.004 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 24022 0 0 0 11935 61 0 0 25 0 1 0 680549545 16994304 2713 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4149 2713 1111 63 0 4086 0 vsize: 16596 [startup+130.004 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 26381 0 0 0 12928 68 0 0 25 0 1 0 680549545 17039360 2789 4294967295 134512640 134714508 3221221792 3221218064 1074960928 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4160 2789 1111 63 0 4097 0 vsize: 16640 [startup+140.005 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 31160 0 0 0 13917 80 0 0 25 0 1 0 680549545 16257024 2969 4294967295 134512640 134714508 3221221792 3221217676 1074788953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3969 2969 1111 63 0 3906 0 vsize: 15876 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 33805 0 0 0 14911 86 0 0 25 0 1 0 680549545 12902400 2479 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3150 2479 1111 63 0 3087 0 vsize: 12600 [startup+160.006 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 37451 0 0 0 15903 94 0 0 25 0 1 0 680549545 16224256 2933 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3961 2933 1111 63 0 3898 0 vsize: 15844 [startup+170.006 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 39732 0 0 0 16898 99 0 0 25 0 1 0 680549545 16363520 2961 4294967295 134512640 134714508 3221221792 3221217760 1075965284 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3995 2961 1111 63 0 3932 0 vsize: 15980 [startup+180.006 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 42559 0 0 0 17891 106 0 0 25 0 1 0 680549545 14229504 2753 4294967295 134512640 134714508 3221221792 3221220272 1074031989 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3474 2753 1111 63 0 3411 0 vsize: 13896 [startup+190.006 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 45556 0 0 0 18884 113 0 0 25 0 1 0 680549545 12931072 2486 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3157 2486 1111 63 0 3094 0 vsize: 12628 [startup+200.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 48086 0 0 0 19879 119 0 0 25 0 1 0 680549545 17174528 2842 4294967295 134512640 134714508 3221221792 3221217660 1074787937 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4193 2842 1111 63 0 4130 0 vsize: 16772 [startup+210.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 49561 0 0 0 20875 123 0 0 25 0 1 0 680549545 17584128 2911 4294967295 134512640 134714508 3221221792 3221218320 1075120005 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4293 2911 1111 63 0 4230 0 vsize: 17172 [startup+220.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 51760 0 0 0 21870 128 0 0 25 0 1 0 680549545 16818176 3076 4294967295 134512640 134714508 3221221792 3221218064 1074961146 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4106 3076 1111 63 0 4043 0 vsize: 16424 [startup+230.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 53503 0 0 0 22866 132 0 0 25 0 1 0 680549545 17928192 3037 4294967295 134512640 134714508 3221221792 3221217672 1074788565 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4377 3037 1111 63 0 4314 0 vsize: 17508 [startup+240.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 54838 0 0 0 23862 136 0 0 25 0 1 0 680549545 17825792 3018 4294967295 134512640 134714508 3221221792 3221217848 1074789806 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4352 3018 1111 63 0 4289 0 vsize: 17408 [startup+250.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 55773 0 0 0 24860 138 0 0 25 0 1 0 680549545 14622720 2833 4294967295 134512640 134714508 3221221792 3221220048 1073990032 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3570 2833 1111 63 0 3507 0 vsize: 14280 [startup+260.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 58194 0 0 0 25854 145 0 0 25 0 1 0 680549545 17010688 3128 4294967295 134512640 134714508 3221221792 3221217756 1074788953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4153 3128 1111 63 0 4090 0 vsize: 16612 [startup+270.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 59469 0 0 0 26851 147 0 0 25 0 1 0 680549545 16883712 3070 4294967295 134512640 134714508 3221221792 3221218320 1075397167 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4122 3070 1111 63 0 4059 0 vsize: 16488 [startup+280.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 61592 0 0 0 27846 153 0 0 25 0 1 0 680549545 18092032 3126 4294967295 134512640 134714508 3221221792 3221218064 1074960759 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4417 3126 1111 63 0 4354 0 vsize: 17668 [startup+290.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 63466 0 0 0 28841 158 0 0 25 0 1 0 680549545 17092608 3155 4294967295 134512640 134714508 3221221792 3221217676 1074788950 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4173 3155 1111 63 0 4110 0 vsize: 16692 [startup+300.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 65555 0 0 0 29835 164 0 0 25 0 1 0 680549545 18341888 3157 4294967295 134512640 134714508 3221221792 3221218064 1074960896 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4478 3157 1111 63 0 4415 0 vsize: 17912 [startup+310.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 68221 0 0 0 30829 170 0 0 25 0 1 0 680549545 18268160 3170 4294967295 134512640 134714508 3221221792 3221218000 1074815309 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4460 3170 1111 63 0 4397 0 vsize: 17840 [startup+320.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 68524 0 0 0 31829 171 0 0 25 0 1 0 680549545 17338368 3211 4294967295 134512640 134714508 3221221792 3221217700 1074786498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4233 3211 1111 63 0 4170 0 vsize: 16932 [startup+330.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 71609 0 0 0 32823 177 0 0 25 0 1 0 680549545 18477056 3209 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4511 3209 1111 63 0 4448 0 vsize: 18044 [startup+340.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 72305 0 0 0 33821 179 0 0 25 0 1 0 680549545 13905920 2724 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3395 2724 1111 63 0 3332 0 vsize: 13580 [startup+350.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 75563 0 0 0 34813 187 0 0 25 0 1 0 680549545 18386944 3186 4294967295 134512640 134714508 3221221792 3221218720 1075960265 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4489 3186 1111 63 0 4426 0 vsize: 17956 [startup+360.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 78612 0 0 0 35806 195 0 0 25 0 1 0 680549545 17580032 3261 4294967295 134512640 134714508 3221221792 3221217752 1075964775 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4292 3261 1111 63 0 4229 0 vsize: 17168 [startup+370.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 79805 0 0 0 36802 198 0 0 25 0 1 0 680549545 17666048 3285 4294967295 134512640 134714508 3221221792 3221218336 1075088573 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4313 3285 1111 63 0 4250 0 vsize: 17252 [startup+380.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 81079 0 0 0 37799 201 0 0 25 0 1 0 680549545 17698816 3312 4294967295 134512640 134714508 3221221792 3221217856 1075084533 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4321 3312 1111 63 0 4258 0 vsize: 17284 [startup+390.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 82723 0 0 0 38795 206 0 0 25 0 1 0 680549545 18833408 3562 4294967295 134512640 134714508 3221221792 3221217792 1075965246 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4598 3562 1111 63 0 4535 0 vsize: 18392 [startup+400.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 84002 0 0 0 39792 209 0 0 25 0 1 0 680549545 17571840 3297 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4290 3297 1111 63 0 4227 0 vsize: 17160 [startup+410.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 85317 0 0 0 40789 212 0 0 25 0 1 0 680549545 17756160 3319 4294967295 134512640 134714508 3221221792 3221217804 1074788950 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4335 3319 1111 63 0 4272 0 vsize: 17340 [startup+420.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 88304 0 0 0 41782 220 0 0 25 0 1 0 680549545 18903040 3578 4294967295 134512640 134714508 3221221792 3221218160 1075894558 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4615 3578 1111 63 0 4552 0 vsize: 18460 [startup+430.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 91165 0 0 0 42775 227 0 0 25 0 1 0 680549545 14077952 2766 4294967295 134512640 134714508 3221221792 3221220192 1074153663 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3437 2766 1111 63 0 3374 0 vsize: 13748 [startup+440.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 93967 0 0 0 43768 234 0 0 25 0 1 0 680549545 14213120 2799 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3470 2799 1111 63 0 3407 0 vsize: 13880 [startup+450.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 94947 0 0 0 44765 237 0 0 25 0 1 0 680549545 17989632 3385 4294967295 134512640 134714508 3221221792 3221217936 1074969461 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4392 3385 1111 63 0 4329 0 vsize: 17568 [startup+460.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 98096 0 0 0 45757 245 0 0 25 0 1 0 680549545 17682432 3294 4294967295 134512640 134714508 3221221792 3221218064 1074961301 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4317 3294 1111 63 0 4254 0 vsize: 17268 [startup+470.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 99381 0 0 0 46754 248 0 0 25 0 1 0 680549545 18046976 3388 4294967295 134512640 134714508 3221221792 3221217760 1075965250 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4406 3388 1111 63 0 4343 0 vsize: 17624 [startup+480.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 101656 0 0 0 47750 253 0 0 25 0 1 0 680549545 17596416 3261 4294967295 134512640 134714508 3221221792 3221217676 1074788926 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4296 3261 1111 63 0 4233 0 vsize: 17184 [startup+490.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 102837 0 0 0 48747 256 0 0 25 0 1 0 680549545 18026496 3394 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4401 3394 1111 63 0 4338 0 vsize: 17604 [startup+500.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 104027 0 0 0 49744 259 0 0 25 0 1 0 680549545 19374080 3454 4294967295 134512640 134714508 3221221792 3221217752 1074789570 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4730 3454 1111 63 0 4667 0 vsize: 18920 [startup+510.015 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 105842 0 0 0 50739 264 0 0 25 0 1 0 680549545 19472384 3436 4294967295 134512640 134714508 3221221792 3221217672 1074788437 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4754 3436 1111 63 0 4691 0 vsize: 19016 [startup+520.016 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 107666 0 0 0 51735 268 0 0 25 0 1 0 680549545 18268160 3459 4294967295 134512640 134714508 3221221792 3221217804 1074788950 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4460 3459 1111 63 0 4397 0 vsize: 17840 [startup+530.015 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 107676 0 0 0 52735 268 0 0 25 0 1 0 680549545 18268160 3469 4294967295 134512640 134714508 3221221792 3221217944 1074883056 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4460 3469 1111 63 0 4397 0 vsize: 17840 [startup+540.015 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 107676 0 0 0 53735 268 0 0 25 0 1 0 680549545 18268160 3469 4294967295 134512640 134714508 3221221792 3221217804 1074788950 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4460 3469 1111 63 0 4397 0 vsize: 17840 [startup+550.016 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 109978 0 0 0 54730 274 0 0 25 0 1 0 680549545 14581760 2889 4294967295 134512640 134714508 3221221792 3221220176 1074153766 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3560 2889 1111 63 0 3497 0 vsize: 14240 [startup+560.016 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 110906 0 0 0 55728 276 0 0 25 0 1 0 680549545 18157568 3423 4294967295 134512640 134714508 3221221792 3221217676 1074788950 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4433 3423 1111 63 0 4370 0 vsize: 17732 [startup+570.016 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 112323 0 0 0 56724 280 0 0 25 0 1 0 680549545 18313216 3476 4294967295 134512640 134714508 3221221792 3221217952 1075093350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4471 3476 1111 63 0 4408 0 vsize: 17884 [startup+580.016 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 112324 0 0 0 57725 280 0 0 25 0 1 0 680549545 18313216 3477 4294967295 134512640 134714508 3221221792 3221217952 1075094841 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4471 3477 1111 63 0 4408 0 vsize: 17884 [startup+590.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 115385 0 0 0 58717 287 0 0 25 0 1 0 680549545 19451904 3388 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4749 3388 1111 63 0 4686 0 vsize: 18996 [startup+600.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 117150 0 0 0 59712 292 0 0 25 0 1 0 680549545 19554304 3540 4294967295 134512640 134714508 3221221792 3221218032 1075115747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4774 3540 1111 63 0 4711 0 vsize: 19096 [startup+610.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 118693 0 0 0 60709 296 0 0 25 0 1 0 680549545 19566592 3527 4294967295 134512640 134714508 3221221792 3221217936 1074969465 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4777 3527 1111 63 0 4714 0 vsize: 19108 [startup+620.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 118956 0 0 0 61708 297 0 0 25 0 1 0 680549545 18485248 3526 4294967295 134512640 134714508 3221221792 3221218160 1075894487 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4513 3526 1111 63 0 4450 0 vsize: 18052 [startup+630.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 119863 0 0 0 62707 299 0 0 25 0 1 0 680549545 16261120 3203 4294967295 134512640 134714508 3221221792 3221220320 134648534 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3970 3203 1111 63 0 3907 0 vsize: 15880 [startup+640.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 122301 0 0 0 63701 305 0 0 25 0 1 0 680549545 18198528 3435 4294967295 134512640 134714508 3221221792 3221218124 1076111491 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4443 3435 1111 63 0 4380 0 vsize: 17772 [startup+650.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 123719 0 0 0 64697 309 0 0 25 0 1 0 680549545 18534400 3523 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4525 3523 1111 63 0 4462 0 vsize: 18100 [startup+660.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 123735 0 0 0 65697 309 0 0 25 0 1 0 680549545 18534400 3539 4294967295 134512640 134714508 3221221792 3221217752 1075964745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4525 3539 1111 63 0 4462 0 vsize: 18100 [startup+670.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 126189 0 0 0 66692 314 0 0 25 0 1 0 680549545 14872576 2960 4294967295 134512640 134714508 3221221792 3221220176 1074153669 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3631 2960 1111 63 0 3568 0 vsize: 14524 [startup+680.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 128379 0 0 0 67686 321 0 0 25 0 1 0 680549545 19656704 3529 4294967295 134512640 134714508 3221221792 3221217936 1074969461 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4799 3529 1111 63 0 4736 0 vsize: 19196 [startup+690.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 128665 0 0 0 68685 322 0 0 25 0 1 0 680549545 18575360 3552 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4535 3552 1111 63 0 4472 0 vsize: 18140 [startup+700.021 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 129196 0 0 0 69684 323 0 0 25 0 1 0 680549545 14852096 2934 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3626 2934 1111 63 0 3563 0 vsize: 14504 [startup+710.021 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 130192 0 0 0 70682 325 0 0 25 0 1 0 680549545 18505728 3515 4294967295 134512640 134714508 3221221792 3221218040 1077410163 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4518 3515 1111 63 0 4455 0 vsize: 18072 [startup+720.021 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 130679 0 0 0 71681 326 0 0 25 0 1 0 680549545 14897152 2966 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3637 2966 1111 63 0 3574 0 vsize: 14548 [startup+730.022 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 131674 0 0 0 72678 329 0 0 25 0 1 0 680549545 18767872 3545 4294967295 134512640 134714508 3221221792 3221218784 1075110432 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4582 3545 1111 63 0 4519 0 vsize: 18328 [startup+740.022 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 134607 0 0 0 73672 336 0 0 25 0 1 0 680549545 19550208 3487 4294967295 134512640 134714508 3221221792 3221218064 1074961146 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4773 3487 1111 63 0 4710 0 vsize: 19092 [startup+750.022 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 137595 0 0 0 74664 343 0 0 25 0 1 0 680549545 18534400 3488 4294967295 134512640 134714508 3221221792 3221217864 1075964745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4525 3488 1111 63 0 4462 0 vsize: 18100 [startup+760.023 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 140823 0 0 0 75656 352 0 0 25 0 1 0 680549545 19570688 3419 4294967295 134512640 134714508 3221221792 3221217952 1075091819 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4778 3419 1111 63 0 4715 0 vsize: 19112 [startup+770.023 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 143301 0 0 0 76649 359 0 0 25 0 1 0 680549545 16125952 3213 4294967295 134512640 134714508 3221221792 3221220040 1074207217 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3937 3213 1111 63 0 3874 0 vsize: 15748 [startup+780.023 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 146977 0 0 0 77640 368 0 0 25 0 1 0 680549545 19529728 3480 4294967295 134512640 134714508 3221221792 3221218000 1074815253 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4768 3480 1111 63 0 4705 0 vsize: 19072 [startup+790.023 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 147606 0 0 0 78639 369 0 0 25 0 1 0 680549545 15065088 3007 4294967295 134512640 134714508 3221221792 3221219960 1077377534 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3678 3007 1111 63 0 3615 0 vsize: 14712 [startup+800.024 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 150907 0 0 0 79632 376 0 0 25 0 1 0 680549545 19517440 3411 4294967295 134512640 134714508 3221221792 3221218560 1076083431 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4765 3411 1111 63 0 4702 0 vsize: 19060 [startup+810.025 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 154045 0 0 0 80625 384 0 0 25 0 1 0 680549545 15335424 3041 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3744 3041 1111 63 0 3681 0 vsize: 14976 [startup+820.025 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 155796 0 0 0 81621 388 0 0 25 0 1 0 680549545 19746816 3520 4294967295 134512640 134714508 3221221792 3221218064 1074961301 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4821 3520 1111 63 0 4758 0 vsize: 19284 [startup+830.156 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 29041 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 157257 0 0 0 82630 392 0 0 25 0 1 0 680549545 18976768 3615 4294967295 134512640 134714508 3221221792 3221218560 1076083584 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4633 3615 1111 63 0 4570 0 vsize: 18532 [startup+840.213 s] Raw data (loadavg): 1.30 1.04 1.01 3/57 29081 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 160287 0 0 0 83628 400 0 0 25 0 1 0 680549545 20041728 3881 4294967295 134512640 134714508 3221221792 3221217756 1074788153 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4893 3881 1111 63 0 4830 0 vsize: 19572 [startup+850.391 s] Raw data (loadavg): 1.40 1.07 1.02 3/58 29091 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 160298 0 0 0 84646 400 0 0 25 0 1 0 680549545 18960384 3629 4294967295 134512640 134714508 3221221792 3221218032 1075115709 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4629 3629 1111 63 0 4566 0 vsize: 18516 [startup+860.393 s] Raw data (loadavg): 1.34 1.06 1.02 2/54 29094 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 163896 0 0 0 85638 407 0 0 25 0 1 0 680549545 20090880 3619 4294967295 134512640 134714508 3221221792 3221217740 1074788930 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4905 3619 1111 63 0 4842 0 vsize: 19620 [startup+870.393 s] Raw data (loadavg): 1.37 1.08 1.02 2/54 29094 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 164204 0 0 0 86638 408 0 0 25 0 1 0 680549545 19173376 3662 4294967295 134512640 134714508 3221221792 3221218416 1075965240 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4681 3662 1111 63 0 4618 0 vsize: 18724 [startup+880.393 s] Raw data (loadavg): 1.31 1.08 1.02 2/54 29094 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 167279 0 0 0 87631 416 0 0 25 0 1 0 680549545 19054592 3648 4294967295 134512640 134714508 3221221792 3221217756 1074788950 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4652 3648 1111 63 0 4589 0 vsize: 18608 [startup+890.393 s] Raw data (loadavg): 1.26 1.07 1.02 2/54 29094 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 167291 0 0 0 88631 416 0 0 25 0 1 0 680549545 19054592 3660 4294967295 134512640 134714508 3221221792 3221218032 1075115747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4652 3660 1111 63 0 4589 0 vsize: 18608 [startup+900.394 s] Raw data (loadavg): 1.22 1.07 1.02 2/54 29094 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 170464 0 0 0 89623 424 0 0 25 0 1 0 680549545 19111936 3659 4294967295 134512640 134714508 3221221792 3221217804 1074788964 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4666 3659 1111 63 0 4603 0 vsize: 18664 [startup+910.395 s] Raw data (loadavg): 1.19 1.07 1.02 2/54 29096 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 170474 0 0 0 90623 424 0 0 25 0 1 0 680549545 19111936 3669 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4666 3669 1111 63 0 4603 0 vsize: 18664 [startup+920.396 s] Raw data (loadavg): 1.16 1.06 1.02 2/54 29096 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 173543 0 0 0 91616 431 0 0 25 0 1 0 680549545 20205568 3663 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4933 3663 1111 63 0 4870 0 vsize: 19732 [startup+930.397 s] Raw data (loadavg): 1.13 1.06 1.02 2/54 29096 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 173813 0 0 0 92616 432 0 0 25 0 1 0 680549545 19124224 3668 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4669 3668 1111 63 0 4606 0 vsize: 18676 [startup+940.397 s] Raw data (loadavg): 1.11 1.06 1.02 2/54 29096 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 174706 0 0 0 93613 434 0 0 25 0 1 0 680549545 16769024 3367 4294967295 134512640 134714508 3221221792 3221220304 134648493 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4094 3367 1111 63 0 4031 0 vsize: 16376 [startup+950.397 s] Raw data (loadavg): 1.09 1.06 1.02 2/54 29096 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 177133 0 0 0 94608 439 0 0 25 0 1 0 680549545 19193856 3686 4294967295 134512640 134714508 3221221792 3221217676 1074788953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4686 3686 1111 63 0 4623 0 vsize: 18744 [startup+960.398 s] Raw data (loadavg): 1.08 1.05 1.01 2/54 29096 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 178687 0 0 0 95604 444 0 0 25 0 1 0 680549545 16179200 3204 4294967295 134512640 134714508 3221221792 3221218904 1077378037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3950 3205 1111 63 0 3887 0 vsize: 15800 [startup+970.399 s] Raw data (loadavg): 1.07 1.05 1.01 2/54 29096 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 179682 0 0 0 96602 446 0 0 25 0 1 0 680549545 15712256 3145 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3836 3145 1111 63 0 3773 0 vsize: 15344 [startup+980.399 s] Raw data (loadavg): 1.06 1.05 1.01 2/54 29096 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 180735 0 0 0 97599 449 0 0 25 0 1 0 680549545 19472384 3776 4294967295 134512640 134714508 3221221792 3221217760 1075965218 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4754 3776 1111 63 0 4691 0 vsize: 19016 [startup+990.399 s] Raw data (loadavg): 1.05 1.05 1.01 2/54 29096 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 184110 0 0 0 98590 459 0 0 25 0 1 0 680549545 20688896 3836 4294967295 134512640 134714508 3221221792 3221217740 1074788964 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5051 3836 1111 63 0 4988 0 vsize: 20204 [startup+1000.4 s] Raw data (loadavg): 1.04 1.05 1.01 2/54 29096 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 184353 0 0 0 99589 459 0 0 25 0 1 0 680549545 19607552 3815 4294967295 134512640 134714508 3221221792 3221217700 1074786588 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4787 3815 1111 63 0 4724 0 vsize: 19148 [startup+1010.4 s] Raw data (loadavg): 1.03 1.04 1.01 2/54 29096 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 185395 0 0 0 100587 462 0 0 25 0 1 0 680549545 17158144 3433 4294967295 134512640 134714508 3221221792 3221220176 1074153760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4189 3433 1111 63 0 4126 0 vsize: 16756 [startup+1020.4 s] Raw data (loadavg): 1.03 1.04 1.01 2/54 29096 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 186331 0 0 0 101585 464 0 0 25 0 1 0 680549545 19660800 3835 4294967295 134512640 134714508 3221221792 3221218064 1074961301 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4800 3835 1111 63 0 4737 0 vsize: 19200 [startup+1030.4 s] Raw data (loadavg): 1.02 1.04 1.01 2/54 29096 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 187090 0 0 0 102583 466 0 0 25 0 1 0 680549545 17321984 3546 4294967295 134512640 134714508 3221221792 3221219144 134543168 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4229 3546 1111 63 0 4166 0 vsize: 16916 [startup+1040.4 s] Raw data (loadavg): 1.02 1.04 1.01 2/54 29096 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 187916 0 0 0 103581 468 0 0 25 0 1 0 680549545 19505152 3821 4294967295 134512640 134714508 3221221792 3221217676 1074788950 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4762 3821 1111 63 0 4699 0 vsize: 19048 [startup+1050.4 s] Raw data (loadavg): 1.02 1.04 1.01 2/54 29096 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 187927 0 0 0 104581 468 0 0 25 0 1 0 680549545 19660800 3832 4294967295 134512640 134714508 3221221792 3221218064 1074960835 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4800 3832 1111 63 0 4737 0 vsize: 19200 [startup+1060.4 s] Raw data (loadavg): 1.01 1.03 1.00 2/54 29096 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 189938 0 0 0 105576 474 0 0 25 0 1 0 680549545 16457728 3347 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4018 3347 1111 63 0 3955 0 vsize: 16072 [startup+1070.4 s] Raw data (loadavg): 1.01 1.03 1.00 2/54 29096 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 190778 0 0 0 106574 476 0 0 25 0 1 0 680549545 19533824 3784 4294967295 134512640 134714508 3221221792 3221218064 1074960795 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4769 3784 1111 63 0 4706 0 vsize: 19076 [startup+1080.4 s] Raw data (loadavg): 1.01 1.03 1.00 2/54 29096 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 192609 0 0 0 107570 480 0 0 25 0 1 0 680549545 20623360 3771 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5035 3771 1111 63 0 4972 0 vsize: 20140 [startup+1090.4 s] Raw data (loadavg): 1.01 1.03 1.00 2/54 29096 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 193769 0 0 0 108568 483 0 0 25 0 1 0 680549545 17317888 3467 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4228 3467 1111 63 0 4165 0 vsize: 16912 [startup+1100.4 s] Raw data (loadavg): 1.00 1.03 1.00 2/54 29096 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 196357 0 0 0 109562 489 0 0 25 0 1 0 680549545 15982592 3216 4294967295 134512640 134714508 3221221792 3221219840 1077814665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3902 3216 1111 63 0 3839 0 vsize: 15608 [startup+1110.4 s] Raw data (loadavg): 1.00 1.03 1.00 2/54 29096 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 197352 0 0 0 110560 491 0 0 25 0 1 0 680549545 19595264 3799 4294967295 134512640 134714508 3221221792 3221217676 1074788980 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4784 3799 1111 63 0 4721 0 vsize: 19136 [startup+1120.4 s] Raw data (loadavg): 1.00 1.03 1.00 2/54 29096 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 198926 0 0 0 111556 495 0 0 25 0 1 0 680549545 19693568 3816 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4808 3816 1111 63 0 4745 0 vsize: 19232 [startup+1130.4 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 29096 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 198937 0 0 0 112556 495 0 0 25 0 1 0 680549545 19693568 3827 4294967295 134512640 134714508 3221221792 3221217936 1074970267 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4808 3827 1111 63 0 4745 0 vsize: 19232 [startup+1140.41 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 29096 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 198948 0 0 0 113556 495 0 0 25 0 1 0 680549545 19861504 3838 4294967295 134512640 134714508 3221221792 3221218320 1075397184 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4849 3838 1111 63 0 4786 0 vsize: 19396 [startup+1150.41 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 29096 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 202334 0 0 0 114548 503 0 0 25 0 1 0 680549545 19603456 3781 4294967295 134512640 134714508 3221221792 3221217952 1075094806 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4786 3781 1111 63 0 4723 0 vsize: 19144 [startup+1160.41 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 29096 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 203582 0 0 0 115546 506 0 0 25 0 1 0 680549545 20733952 3831 4294967295 134512640 134714508 3221221792 3221217660 1074787561 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5062 3831 1111 63 0 4999 0 vsize: 20248 [startup+1170.41 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 29096 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 203862 0 0 0 116546 507 0 0 25 0 1 0 680549545 19808256 3846 4294967295 134512640 134714508 3221221792 3221217944 1074883056 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4836 3846 1111 63 0 4773 0 vsize: 19344 [startup+1180.41 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 29096 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 204420 0 0 0 117544 508 0 0 25 0 1 0 680549545 15945728 3193 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3893 3193 1111 63 0 3830 0 vsize: 15572 [startup+1190.41 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 29096 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 205539 0 0 0 118541 512 0 0 25 0 1 0 680549545 19877888 3874 4294967295 134512640 134714508 3221221792 3221218064 1074961267 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4853 3874 1111 63 0 4790 0 vsize: 19412 [startup+1200.41 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 29096 Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 205557 0 0 0 119541 512 0 0 25 0 1 0 680549545 19877888 3891 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4853 3891 1111 63 0 4790 0 vsize: 19412 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.42 s] Raw data (loadavg): 1.00 1.02 1.00 1/54 29096 Raw data (stat): 29041 (bsolo_lpr_cuts) Z 29040 7876 7672 0 -1 1036 205557 0 0 0 119541 512 0 0 25 0 1 0 680549545 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.42 CPU time (s): 1200.54 CPU user time (s): 1195.42 CPU system time (s): 5.12922 CPU usage (%): 100.011 Max. virtual memory (Kb): 20248 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####