Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp97ar.opb |
MD5SUM | 978e3479aff123296d0a3461e698e01d |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2147483647 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 14101 |
Biggest coefficient in the objective function | 292878668 |
Number of bits for the biggest coefficient in the objective function | 29 |
Sum of the numbers in the objective function | 975388850291 |
Number of bits of the sum of numbers in the objective function | 40 |
Biggest number in a constraint | 292878668 |
Number of bits of the biggest number in a constraint | 29 |
Biggest sum of numbers in a constraint | 975388850291 |
Number of bits of the biggest sum of numbers | 40 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 10.9513 |
Number of variables | 14101 |
Total number of constraints | 15862 |
Number of constraints which are clauses | 181 |
Number of constraints which are cardinality constraints (but not clauses) | 15263 |
Number of constraints which are nor clauses,nor cardinality constraints | 418 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 2463 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-24 09:36:29 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=15224 boxname=wulflinc31 idbench=1172 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 978e3479aff123296d0a3461e698e01d /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-sp97ar.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-sp97ar.opb IDLAUNCH: 15224 /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: 731600 kB Buffers: 26452 kB Cached: 255892 kB SwapCached: 944 kB Active: 91048 kB Inactive: 193344 kB HighTotal: 131008 kB HighFree: 18060 kB LowTotal: 903652 kB LowFree: 713540 kB SwapTotal: 2097892 kB SwapFree: 2095920 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5104 kB Slab: 12940 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-24 09:56:32 (client local time) WITH STATUS 0 IN 1200.33 SECONDS stats: 15224 7 1200.33 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 14101 variables and 1739 constraints. c After prepocess the problem consists of 14099 variables and 1639 constraints. c preprocess terminated 292.265 s c Initial Lower Bound: 2041136373 c Lower Bound Elapsed time: 46.9935 c Not use computed LB before first solution. c NEW SOLUTION FOUND: -561589196 @ 493.206 c NEW SOLUTION FOUND: -572563236 @ 493.221 c NEW SOLUTION FOUND: -2133666157 @ 493.367 #### 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 2/55 26699 Raw data (stat): 26699 (runsolver) R 26698 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 829187979 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0014 s] Raw data (loadavg): 0.93 0.97 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 22358 0 0 0 946 49 0 0 25 0 1 0 829187979 104484864 22281 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25509 22281 1111 63 0 25446 0 vsize: 102036 [startup+20.0025 s] Raw data (loadavg): 0.94 0.97 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 43298 0 0 0 1911 85 0 0 25 0 1 0 829187979 190304256 43221 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 46461 43221 1111 63 0 46398 0 vsize: 185844 [startup+30.0025 s] Raw data (loadavg): 0.95 0.97 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 63258 0 0 0 2877 119 0 0 25 0 1 0 829187979 271970304 63181 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 66399 63181 1111 63 0 66336 0 vsize: 265596 [startup+40.0031 s] Raw data (loadavg): 0.96 0.97 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 82469 0 0 0 3844 152 0 0 25 0 1 0 829187979 350658560 82392 4294967295 134512640 134714508 3221221776 3221220432 134527930 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 85610 82392 1111 63 0 85547 0 vsize: 342440 [startup+50.0035 s] Raw data (loadavg): 0.96 0.97 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 87086 0 0 0 4835 160 0 0 25 0 1 0 829187979 369557504 87009 4294967295 134512640 134714508 3221221776 3221219436 1077253145 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 90224 87009 1111 63 0 90161 0 vsize: 360896 [startup+60.0045 s] Raw data (loadavg): 0.97 0.97 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 88075 0 0 0 5831 164 0 0 25 0 1 0 829187979 373620736 87998 4294967295 134512640 134714508 3221221776 3221220052 1077414382 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 91216 87998 1111 63 0 91153 0 vsize: 364864 [startup+70.0052 s] Raw data (loadavg): 0.97 0.97 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 89047 0 0 0 6828 167 0 0 25 0 1 0 829187979 377561088 88970 4294967295 134512640 134714508 3221221776 3221220248 1077378037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 92178 88970 1111 63 0 92115 0 vsize: 368712 [startup+80.005 s] Raw data (loadavg): 0.98 0.97 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 90115 0 0 0 7826 170 0 0 25 0 1 0 829187979 382033920 90038 4294967295 134512640 134714508 3221221776 3221220080 134566804 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93270 90038 1111 63 0 93207 0 vsize: 373080 [startup+90.0061 s] Raw data (loadavg): 0.98 0.97 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 91289 0 0 0 8823 172 0 0 25 0 1 0 829187979 386777088 91212 4294967295 134512640 134714508 3221221776 3221220052 1077414426 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 94428 91212 1111 63 0 94365 0 vsize: 377712 [startup+100.006 s] Raw data (loadavg): 1.06 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 92982 0 0 0 9819 176 0 0 25 0 1 0 829187979 384114688 92830 4294967295 134512640 134714508 3221221776 3221220244 134543092 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 93778 92830 1111 63 0 93715 0 vsize: 375112 [startup+110.008 s] Raw data (loadavg): 1.05 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 93111 0 0 0 10818 177 0 0 25 0 1 0 829187979 384655360 92959 4294967295 134512640 134714508 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93910 92959 1111 63 0 93847 0 vsize: 375640 [startup+120.009 s] Raw data (loadavg): 1.04 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 93229 0 0 0 11818 177 0 0 25 0 1 0 829187979 385060864 93077 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 94009 93077 1111 63 0 93946 0 vsize: 376036 [startup+130.009 s] Raw data (loadavg): 1.03 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 93344 0 0 0 12818 177 0 0 25 0 1 0 829187979 385601536 93192 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 94141 93192 1111 63 0 94078 0 vsize: 376564 [startup+140.01 s] Raw data (loadavg): 1.03 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 93489 0 0 0 13818 177 0 0 25 0 1 0 829187979 386142208 93337 4294967295 134512640 134714508 3221221776 3221220220 134535964 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 94273 93337 1111 63 0 94210 0 vsize: 377092 [startup+150.011 s] Raw data (loadavg): 1.02 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 93602 0 0 0 14818 178 0 0 25 0 1 0 829187979 386686976 93450 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 94406 93450 1111 63 0 94343 0 vsize: 377624 [startup+160.012 s] Raw data (loadavg): 1.02 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 93736 0 0 0 15817 178 0 0 25 0 1 0 829187979 387227648 93584 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 94538 93584 1111 63 0 94475 0 vsize: 378152 [startup+170.012 s] Raw data (loadavg): 1.02 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 93865 0 0 0 16817 179 0 0 25 0 1 0 829187979 387768320 93713 4294967295 134512640 134714508 3221221776 3221220256 134543041 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 94670 93713 1111 63 0 94607 0 vsize: 378680 [startup+180.012 s] Raw data (loadavg): 1.01 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 93995 0 0 0 17817 179 0 0 25 0 1 0 829187979 388308992 93843 4294967295 134512640 134714508 3221221776 3221220220 134535928 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 94802 93843 1111 63 0 94739 0 vsize: 379208 [startup+190.013 s] Raw data (loadavg): 1.01 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 94126 0 0 0 18817 179 0 0 25 0 1 0 829187979 388849664 93974 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 94934 93974 1111 63 0 94871 0 vsize: 379736 [startup+200.013 s] Raw data (loadavg): 1.01 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 94201 0 0 0 19817 179 0 0 25 0 1 0 829187979 389120000 94049 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 95000 94049 1111 63 0 94937 0 vsize: 380000 [startup+210.014 s] Raw data (loadavg): 1.01 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 94287 0 0 0 20817 180 0 0 25 0 1 0 829187979 389390336 94135 4294967295 134512640 134714508 3221221776 3221220244 134543092 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 95066 94135 1111 63 0 95003 0 vsize: 380264 [startup+220.015 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 94425 0 0 0 21817 180 0 0 25 0 1 0 829187979 390066176 94273 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 95231 94273 1111 63 0 95168 0 vsize: 380924 [startup+230.015 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 94567 0 0 0 22816 181 0 0 25 0 1 0 829187979 390606848 94415 4294967295 134512640 134714508 3221221776 3221220296 134543600 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 95363 94415 1111 63 0 95300 0 vsize: 381452 [startup+240.016 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 94661 0 0 0 23816 181 0 0 25 0 1 0 829187979 391012352 94509 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 95462 94509 1111 63 0 95399 0 vsize: 381848 [startup+250.016 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 94665 0 0 0 24816 181 0 0 25 0 1 0 829187979 391012352 94513 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 95462 94513 1111 63 0 95399 0 vsize: 381848 [startup+260.017 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 94669 0 0 0 25817 181 0 0 25 0 1 0 829187979 391012352 94517 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 95462 94517 1111 63 0 95399 0 vsize: 381848 [startup+270.018 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 94674 0 0 0 26817 182 0 0 25 0 1 0 829187979 391012352 94522 4294967295 134512640 134714508 3221221776 3221220448 134627159 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 95462 94522 1111 63 0 95399 0 vsize: 381848 [startup+280.018 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 94677 0 0 0 27817 182 0 0 25 0 1 0 829187979 391012352 94525 4294967295 134512640 134714508 3221221776 3221220448 134627241 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 95462 94525 1111 63 0 95399 0 vsize: 381848 [startup+290.019 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 94682 0 0 0 28817 182 0 0 25 0 1 0 829187979 391012352 94530 4294967295 134512640 134714508 3221221776 3221220448 134627241 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 95462 94530 1111 63 0 95399 0 vsize: 381848 [startup+300.019 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 96243 0 0 0 29810 188 0 0 25 0 1 0 829187979 396832768 95951 4294967295 134512640 134714508 3221221776 3221220096 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96883 95951 1111 63 0 96820 0 vsize: 387532 [startup+310.02 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 96331 0 0 0 30810 188 0 0 25 0 1 0 829187979 397189120 96039 4294967295 134512640 134714508 3221221776 3221219888 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96970 96039 1111 63 0 96907 0 vsize: 387880 [startup+320.021 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 96354 0 0 0 31810 189 0 0 25 0 1 0 829187979 397283328 96062 4294967295 134512640 134714508 3221221776 3221219952 1074153760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96993 96062 1111 63 0 96930 0 vsize: 387972 [startup+330.021 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 101001 0 0 0 32800 199 0 0 25 0 1 0 829187979 405798912 98084 4294967295 134512640 134714508 3221221776 3221217968 1074960789 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 99072 98084 1111 63 0 99009 0 vsize: 396288 [startup+340.022 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 101003 0 0 0 33800 199 0 0 25 0 1 0 829187979 405798912 98086 4294967295 134512640 134714508 3221221776 3221217768 1074950210 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 99072 98086 1111 63 0 99009 0 vsize: 396288 [startup+350.022 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 104733 0 0 0 34793 206 0 0 25 0 1 0 829187979 398348288 96432 4294967295 134512640 134714508 3221221776 3221220196 134648505 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 97253 96432 1111 63 0 97190 0 vsize: 389012 [startup+360.024 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 105382 0 0 0 35791 208 0 0 25 0 1 0 829187979 398753792 96514 4294967295 134512640 134714508 3221221776 3221220160 134607108 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 97352 96514 1111 63 0 97289 0 vsize: 389408 [startup+370.024 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 106158 0 0 0 36789 210 0 0 25 0 1 0 829187979 398925824 96588 4294967295 134512640 134714508 3221221776 3221220016 1074039443 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 97394 96588 1111 63 0 97331 0 vsize: 389576 [startup+380.024 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 110785 0 0 0 37779 221 0 0 25 0 1 0 829187979 406933504 98445 4294967295 134512640 134714508 3221221776 3221218032 1075113493 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 99349 98445 1111 63 0 99286 0 vsize: 397396 [startup+390.025 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 114340 0 0 0 38771 229 0 0 25 0 1 0 829187979 399716352 96752 4294967295 134512640 134714508 3221221776 3221220224 134648109 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 97587 96752 1111 63 0 97524 0 vsize: 390348 [startup+400.026 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 114340 0 0 0 39772 229 0 0 25 0 1 0 829187979 399716352 96752 4294967295 134512640 134714508 3221221776 3221220160 134606848 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 97587 96752 1111 63 0 97524 0 vsize: 390348 [startup+410.027 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 116957 0 0 0 40766 234 0 0 25 0 1 0 829187979 407601152 97640 4294967295 134512640 134714508 3221221776 3221218976 1074140041 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 99512 97645 1111 63 0 99449 0 vsize: 398048 [startup+420.028 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 118915 0 0 0 41763 238 0 0 25 0 1 0 829187979 407482368 98543 4294967295 134512640 134714508 3221221776 3221218464 1076084166 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 99483 98543 1111 63 0 99420 0 vsize: 397932 [startup+430.029 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 122590 0 0 0 42754 247 0 0 25 0 1 0 829187979 399831040 96791 4294967295 134512640 134714508 3221221776 3221220224 134648531 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 97615 96791 1111 63 0 97552 0 vsize: 390460 [startup+440.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 122604 0 0 0 43754 247 0 0 25 0 1 0 829187979 399831040 96805 4294967295 134512640 134714508 3221221776 3221220016 1074039443 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 97615 96805 1111 63 0 97552 0 vsize: 390460 [startup+450.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 127134 0 0 0 44744 257 0 0 25 0 1 0 829187979 407543808 98555 4294967295 134512640 134714508 3221221776 3221217788 1075663500 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 99498 98555 1111 63 0 99435 0 vsize: 397992 [startup+460.031 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 130814 0 0 0 45737 264 0 0 25 0 1 0 829187979 399908864 96816 4294967295 134512640 134714508 3221221776 3221220200 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 97634 96816 1111 63 0 97571 0 vsize: 390536 [startup+470.031 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 130814 0 0 0 46737 265 0 0 25 0 1 0 829187979 399908864 96816 4294967295 134512640 134714508 3221221776 3221220224 134648210 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 97634 96816 1111 63 0 97571 0 vsize: 390536 [startup+480.032 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 130814 0 0 0 47737 265 0 0 25 0 1 0 829187979 399908864 96816 4294967295 134512640 134714508 3221221776 3221220224 134648531 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 97634 96816 1111 63 0 97571 0 vsize: 390536 [startup+490.033 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 130814 0 0 0 48737 265 0 0 25 0 1 0 829187979 399908864 96816 4294967295 134512640 134714508 3221221776 3221220576 134597769 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 97634 96816 1111 63 0 97571 0 vsize: 390536 [startup+500.033 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 157954 0 0 0 49675 326 0 0 25 0 1 0 829187979 397275136 96028 4294967295 134512640 134714508 3221221776 3221219504 1075828201 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96991 96028 1111 63 0 96928 0 vsize: 387964 [startup+510.034 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 187356 0 0 0 50612 389 0 0 25 0 1 0 829187979 397295616 96152 4294967295 134512640 134714508 3221221776 3221220128 1074115331 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96996 96156 1111 63 0 96933 0 vsize: 387984 [startup+520.035 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 210781 0 0 0 51562 440 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220016 1074153663 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+530.035 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 230430 0 0 0 52520 482 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221219760 1074056269 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+540.036 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 247286 0 0 0 53484 518 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220160 1074153675 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+550.037 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 263022 0 0 0 54449 553 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220072 1074138150 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+560.038 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 277554 0 0 0 55418 585 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221219896 1074138162 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+570.039 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 291094 0 0 0 56388 615 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+580.039 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 303959 0 0 0 57359 644 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220136 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+590.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 316556 0 0 0 58332 671 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220160 1074153766 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+600.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 328504 0 0 0 59304 699 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220040 1074138163 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+610.042 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 339921 0 0 0 60276 727 0 0 25 0 1 0 829187979 397434880 96046 4294967295 134512640 134714508 3221221776 3221219504 1075828208 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 97030 96051 1111 63 0 96967 0 vsize: 388120 [startup+620.043 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 350862 0 0 0 61253 751 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221219992 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+630.043 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 360981 0 0 0 62229 775 0 0 25 0 1 0 829187979 397185024 96147 4294967295 134512640 134714508 3221221776 3221220176 1074118790 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96969 96147 1111 63 0 96906 0 vsize: 387876 [startup+640.043 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 371232 0 0 0 63209 795 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221219880 1074138150 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+650.043 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 381151 0 0 0 64185 820 0 0 25 0 1 0 829187979 396705792 96017 4294967295 134512640 134714508 3221221776 3221220128 1074115331 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96852 96021 1111 63 0 96789 0 vsize: 387408 [startup+660.044 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 391180 0 0 0 65162 843 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220072 1074138166 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+670.045 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 400298 0 0 0 66144 861 0 0 25 0 1 0 829187979 396931072 96011 4294967295 134512640 134714508 3221221776 3221218896 1074865106 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96907 96011 1111 63 0 96844 0 vsize: 387628 [startup+680.045 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 409472 0 0 0 67122 883 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220032 1074153648 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+690.046 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 418654 0 0 0 68102 904 0 0 25 0 1 0 829187979 396247040 95940 4294967295 134512640 134714508 3221221776 3221220176 1074153749 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+700.046 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 427659 0 0 0 69081 924 0 0 25 0 1 0 829187979 396247040 95940 4294967295 134512640 134714508 3221221776 3221220160 1074153794 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+710.047 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 436623 0 0 0 70061 945 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220016 1074153675 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+720.048 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 444828 0 0 0 71042 964 0 0 25 0 1 0 829187979 396247040 95940 4294967295 134512640 134714508 3221221776 3221220016 1074153794 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+730.047 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 453122 0 0 0 72024 982 0 0 25 0 1 0 829187979 396247040 95940 4294967295 134512640 134714508 3221221776 3221220136 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+740.048 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 461402 0 0 0 73004 1002 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220016 1074153663 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+750.049 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 469531 0 0 0 73986 1020 0 0 25 0 1 0 829187979 396951552 96022 4294967295 134512640 134714508 3221221776 3221219056 1074140041 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96912 96026 1111 63 0 96849 0 vsize: 387648 [startup+760.049 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 477425 0 0 0 74970 1037 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220160 1074153675 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+770.049 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 484945 0 0 0 75952 1055 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220072 1074138163 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+780.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 492428 0 0 0 76935 1072 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220160 1074153672 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+790.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 499284 0 0 0 77920 1088 0 0 25 0 1 0 829187979 396247040 95940 4294967295 134512640 134714508 3221221776 3221220128 1074153675 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+800.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 506528 0 0 0 78903 1105 0 0 25 0 1 0 829187979 397279232 96170 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96992 96170 1111 63 0 96929 0 vsize: 387968 [startup+810.051 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 513782 0 0 0 79885 1122 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221219928 1074138144 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+820.052 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 520707 0 0 0 80870 1138 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220160 1074153749 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+830.052 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 527618 0 0 0 81855 1153 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221219992 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+840.053 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 534063 0 0 0 82841 1168 0 0 25 0 1 0 829187979 397627392 96164 4294967295 134512640 134714508 3221221776 3221218896 1074865092 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 97077 96164 1111 63 0 97014 0 vsize: 388308 [startup+850.054 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 540568 0 0 0 83827 1182 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221219968 1074153822 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+860.055 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 546869 0 0 0 84813 1196 0 0 25 0 1 0 829187979 396673024 96044 4294967295 134512640 134714508 3221221776 3221220192 1074116190 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96844 96044 1111 63 0 96781 0 vsize: 387376 [startup+870.056 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 553577 0 0 0 85798 1211 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220064 1074153822 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+880.055 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 559808 0 0 0 86784 1226 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220112 1074153792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+890.057 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 566100 0 0 0 87770 1239 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221219920 1074206911 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+900.057 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 572268 0 0 0 88757 1252 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221219896 1074138158 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+910.057 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 578083 0 0 0 89745 1265 0 0 25 0 1 0 829187979 396759040 96065 4294967295 134512640 134714508 3221221776 3221219504 1075635518 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96865 96065 1111 63 0 96802 0 vsize: 387460 [startup+920.058 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 583821 0 0 0 90733 1278 0 0 25 0 1 0 829187979 396247040 95940 4294967295 134512640 134714508 3221221776 3221219928 1074138144 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+930.058 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 589933 0 0 0 91720 1290 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220016 1074153675 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+940.059 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 595406 0 0 0 92708 1303 0 0 25 0 1 0 829187979 396247040 95940 4294967295 134512640 134714508 3221221776 3221219968 1074153663 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+950.059 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 600896 0 0 0 93695 1315 0 0 25 0 1 0 829187979 396247040 95940 4294967295 134512640 134714508 3221221776 3221220072 1074138144 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+960.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 606594 0 0 0 94684 1327 0 0 25 0 1 0 829187979 396836864 96052 4294967295 134512640 134714508 3221221776 3221219624 1075007302 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96884 96052 1111 63 0 96821 0 vsize: 387536 [startup+970.061 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 612110 0 0 0 95669 1341 0 0 25 0 1 0 829187979 397664256 96100 4294967295 134512640 134714508 3221221776 3221219600 1075823363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 97086 96100 1111 63 0 97023 0 vsize: 388344 [startup+980.061 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 617655 0 0 0 96658 1352 0 0 25 0 1 0 829187979 397668352 96101 4294967295 134512640 134714508 3221221776 3221219424 1075817957 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 97087 96101 1111 63 0 97024 0 vsize: 388348 [startup+990.062 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 623008 0 0 0 97646 1365 0 0 25 0 1 0 829187979 396247040 95940 4294967295 134512640 134714508 3221221776 3221220160 1074153672 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+1000.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 628518 0 0 0 98633 1377 0 0 25 0 1 0 829187979 396247040 95940 4294967295 134512640 134714508 3221221776 3221220016 1074153675 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+1010.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 634014 0 0 0 99620 1391 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220136 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+1020.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 638966 0 0 0 100610 1401 0 0 25 0 1 0 829187979 396419072 95957 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96782 95961 1111 63 0 96719 0 vsize: 387128 [startup+1030.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 644785 0 0 0 101595 1416 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220064 1074153822 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+1040.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 649922 0 0 0 102583 1428 0 0 25 0 1 0 829187979 396247040 95940 4294967295 134512640 134714508 3221221776 3221220160 1074153773 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+1050.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 655744 0 0 0 103569 1442 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220064 1074153815 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+1060.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 660851 0 0 0 104557 1454 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220040 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+1070.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 665982 0 0 0 105545 1467 0 0 25 0 1 0 829187979 396247040 95940 4294967295 134512640 134714508 3221221776 3221220016 1074153663 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+1080.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 671108 0 0 0 106532 1480 0 0 25 0 1 0 829187979 396247040 95940 4294967295 134512640 134714508 3221221776 3221220160 1074153663 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+1090.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 676194 0 0 0 107521 1491 0 0 25 0 1 0 829187979 396271616 95946 4294967295 134512640 134714508 3221221776 3221220064 1074153822 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96746 95946 1111 63 0 96683 0 vsize: 386984 [startup+1100.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 681452 0 0 0 108509 1503 0 0 25 0 1 0 829187979 397860864 96128 4294967295 134512640 134714508 3221221776 3221219696 1075799503 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 97134 96128 1111 63 0 97071 0 vsize: 388536 [startup+1110.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 686537 0 0 0 109497 1515 0 0 25 0 1 0 829187979 397864960 96129 4294967295 134512640 134714508 3221221776 3221219888 1074867358 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 97135 96129 1111 63 0 97072 0 vsize: 388540 [startup+1120.06 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 691459 0 0 0 110486 1527 0 0 25 0 1 0 829187979 396271616 95946 4294967295 134512640 134714508 3221221776 3221220136 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96746 95946 1111 63 0 96683 0 vsize: 386984 [startup+1130.07 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 696550 0 0 0 111474 1539 0 0 25 0 1 0 829187979 396247040 95940 4294967295 134512640 134714508 3221221776 3221220016 1074153812 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+1140.07 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 701687 0 0 0 112462 1551 0 0 25 0 1 0 829187979 396247040 95940 4294967295 134512640 134714508 3221221776 3221220016 1074153673 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+1150.07 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 706798 0 0 0 113451 1563 0 0 25 0 1 0 829187979 396247040 95940 4294967295 134512640 134714508 3221221776 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+1160.07 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 711907 0 0 0 114439 1574 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220080 1074153675 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+1170.07 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 717076 0 0 0 115426 1588 0 0 25 0 1 0 829187979 396222464 95934 4294967295 134512640 134714508 3221221776 3221220032 1074153675 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+1180.07 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 721480 0 0 0 116416 1598 0 0 25 0 1 0 829187979 396271616 95946 4294967295 134512640 134714508 3221221776 3221220016 1074153773 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96746 95946 1111 63 0 96683 0 vsize: 386984 [startup+1190.07 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 726561 0 0 0 117404 1610 0 0 25 0 1 0 829187979 396242944 95939 4294967295 134512640 134714508 3221221776 3221219404 1077404742 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96739 95939 1111 63 0 96676 0 vsize: 386956 [startup+1200.07 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 26699 Raw data (stat): 26699 (bsolo_lpr) R 26698 7876 7672 0 -1 0 731133 0 0 0 118394 1620 0 0 25 0 1 0 829187979 397881344 96133 4294967295 134512640 134714508 3221221776 3221219696 1075799503 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 97139 96133 1111 63 0 97076 0 vsize: 388556 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.25 s] Raw data (loadavg): 1.00 0.99 0.99 1/55 26699 Raw data (stat): 26699 (bsolo_lpr) Z 26698 7876 7672 0 -1 1036 731133 0 0 0 118394 1638 0 0 25 0 1 0 829187979 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.25 CPU time (s): 1200.33 CPU user time (s): 1183.94 CPU system time (s): 16.3855 CPU usage (%): 100.007 Max. virtual memory (Kb): 398048 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####