Name | normalized-opb/submitted/een/normalized-mitre.opb |
MD5SUM | a32373ce42835aed9464b28f5a9ed13c |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 8818 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 9324 |
Biggest coefficient in the objective function | 213 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 909647 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1069 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 909647 |
Number of bits of the biggest sum of numbers | 20 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.18 |
Number of variables | 10724 |
Total number of constraints | 2045 |
Number of constraints which are clauses | 523 |
Number of constraints which are cardinality constraints (but not clauses) | 1139 |
Number of constraints which are nor clauses,nor cardinality constraints | 383 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 98 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-06-07 20:19:35 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27837 boxname=wulflinc1 idbench=395 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: a32373ce42835aed9464b28f5a9ed13c /oldhome/oroussel/tmp/wulflinc1/normalized-mitre.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mitre.opb IDLAUNCH: 27837 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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 : 2 cpu MHz : 451.053 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 : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 911980 kB Buffers: 31704 kB Cached: 65976 kB SwapCached: 1192 kB Active: 24012 kB Inactive: 76000 kB HighTotal: 131008 kB HighFree: 70448 kB LowTotal: 903652 kB LowFree: 841532 kB SwapTotal: 2097136 kB SwapFree: 2094852 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5724 kB Slab: 17000 kB Committed_AS: 92704 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-07 20:39:38 (client local time) WITH STATUS 0 IN 1200.24 SECONDS stats: 27837 7 1200.24 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 10724 variables and 2045 constraints. #### 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 Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.85 0.96 0.91 2/55 9033 Raw data (stat): 9033 (runsolver) R 9032 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 838964629 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.001 s] Raw data (loadavg): 0.87 0.96 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 6101 0 0 0 981 15 0 0 25 0 1 0 838964629 20971520 4220 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5120 4220 1111 63 0 5057 0 vsize: 20480 [startup+20.0017 s] Raw data (loadavg): 0.89 0.96 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 11341 0 0 0 1967 31 0 0 25 0 1 0 838964629 25563136 5342 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6241 5342 1111 63 0 6178 0 vsize: 24964 [startup+30.0015 s] Raw data (loadavg): 0.91 0.96 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 14099 0 0 0 2959 38 0 0 25 0 1 0 838964629 28438528 6043 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6943 6043 1111 63 0 6880 0 vsize: 27772 [startup+40.0013 s] Raw data (loadavg): 0.92 0.96 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 16050 0 0 0 3952 46 0 0 25 0 1 0 838964629 31182848 6714 4294967295 134512640 134716908 3221224592 3221223232 134606514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7613 6714 1111 63 0 7550 0 vsize: 30452 [startup+50.0011 s] Raw data (loadavg): 0.93 0.96 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 17495 0 0 0 4948 49 0 0 25 0 1 0 838964629 36204544 7939 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8839 7939 1111 63 0 8776 0 vsize: 35356 [startup+60.0019 s] Raw data (loadavg): 0.94 0.96 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 18694 0 0 0 5945 53 0 0 25 0 1 0 838964629 37879808 8348 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9248 8348 1111 63 0 9185 0 vsize: 36992 [startup+70.0026 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 19666 0 0 0 6942 56 0 0 25 0 1 0 838964629 39034880 8631 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9530 8631 1111 63 0 9467 0 vsize: 38120 [startup+80.0025 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 21010 0 0 0 7937 61 0 0 25 0 1 0 838964629 40194048 8914 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9813 8914 1111 63 0 9750 0 vsize: 39252 [startup+90.0022 s] Raw data (loadavg): 0.96 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 21937 0 0 0 8934 64 0 0 25 0 1 0 838964629 40796160 9060 4294967295 134512640 134716908 3221224592 3221223232 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9960 9060 1111 63 0 9897 0 vsize: 39840 [startup+100.002 s] Raw data (loadavg): 0.97 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 24320 0 0 0 9925 73 0 0 25 0 1 0 838964629 41738240 9291 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10190 9291 1111 63 0 10127 0 vsize: 40760 [startup+110.003 s] Raw data (loadavg): 0.97 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 25808 0 0 0 10920 78 0 0 25 0 1 0 838964629 43155456 9636 4294967295 134512640 134716908 3221224592 3221223232 134606484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10536 9636 1111 63 0 10473 0 vsize: 42144 [startup+120.004 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 26794 0 0 0 11918 81 0 0 25 0 1 0 838964629 43548672 9732 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10632 9732 1111 63 0 10569 0 vsize: 42528 [startup+130.003 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 27186 0 0 0 12917 82 0 0 25 0 1 0 838964629 44879872 10058 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10957 10058 1111 63 0 10894 0 vsize: 43828 [startup+140.003 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 28366 0 0 0 13913 86 0 0 25 0 1 0 838964629 45477888 10204 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11103 10204 1111 63 0 11040 0 vsize: 44412 [startup+150.003 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 30136 0 0 0 14908 91 0 0 25 0 1 0 838964629 51785728 11744 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12643 11744 1111 63 0 12580 0 vsize: 50572 [startup+160.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 30302 0 0 0 15907 92 0 0 25 0 1 0 838964629 52342784 11880 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12779 11880 1111 63 0 12716 0 vsize: 51116 [startup+170.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 30302 0 0 0 16907 92 0 0 25 0 1 0 838964629 52342784 11880 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12779 11880 1111 63 0 12716 0 vsize: 51116 [startup+180.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 30522 0 0 0 17907 92 0 0 25 0 1 0 838964629 53030912 12048 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12947 12048 1111 63 0 12884 0 vsize: 51788 [startup+190.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 31813 0 0 0 18903 97 0 0 25 0 1 0 838964629 53673984 12204 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13104 12204 1111 63 0 13041 0 vsize: 52416 [startup+200.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 32393 0 0 0 19901 99 0 0 25 0 1 0 838964629 54534144 12414 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13314 12414 1111 63 0 13251 0 vsize: 53256 [startup+210.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 32582 0 0 0 20901 99 0 0 25 0 1 0 838964629 55304192 12603 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13502 12603 1111 63 0 13439 0 vsize: 54008 [startup+220.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 32843 0 0 0 21901 100 0 0 25 0 1 0 838964629 56377344 12864 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13764 12864 1111 63 0 13701 0 vsize: 55056 [startup+230.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 34030 0 0 0 22896 104 0 0 25 0 1 0 838964629 56979456 13011 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13911 13011 1111 63 0 13848 0 vsize: 55644 [startup+240.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 34944 0 0 0 23894 107 0 0 25 0 1 0 838964629 57364480 13105 4294967295 134512640 134716908 3221224592 3221223232 134606484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14005 13105 1111 63 0 13942 0 vsize: 56020 [startup+250.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 35153 0 0 0 24893 108 0 0 25 0 1 0 838964629 58134528 13294 4294967295 134512640 134716908 3221224592 3221223232 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14193 13294 1111 63 0 14130 0 vsize: 56772 [startup+260.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 36294 0 0 0 25889 112 0 0 25 0 1 0 838964629 58994688 13503 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14403 13503 1111 63 0 14340 0 vsize: 57612 [startup+270.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 36888 0 0 0 26887 114 0 0 25 0 1 0 838964629 61095936 14017 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14916 14017 1111 63 0 14853 0 vsize: 59664 [startup+280.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 37336 0 0 0 27886 115 0 0 25 0 1 0 838964629 61095936 14017 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14916 14017 1111 63 0 14853 0 vsize: 59664 [startup+290.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 38767 0 0 0 28882 120 0 0 25 0 1 0 838964629 61739008 14174 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15073 14174 1111 63 0 15010 0 vsize: 60292 [startup+300.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 39706 0 0 0 29879 122 0 0 25 0 1 0 838964629 64401408 14823 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15723 14823 1111 63 0 15660 0 vsize: 62892 [startup+310.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 39706 0 0 0 30880 122 0 0 25 0 1 0 838964629 64401408 14823 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15723 14823 1111 63 0 15660 0 vsize: 62892 [startup+320.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 39706 0 0 0 31880 122 0 0 25 0 1 0 838964629 64401408 14823 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15723 14823 1111 63 0 15660 0 vsize: 62892 [startup+330.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 40038 0 0 0 32879 123 0 0 25 0 1 0 838964629 64405504 14825 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15724 14825 1111 63 0 15661 0 vsize: 62896 [startup+340.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 40411 0 0 0 33878 124 0 0 25 0 1 0 838964629 65392640 15066 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15965 15066 1111 63 0 15902 0 vsize: 63860 [startup+350.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 40710 0 0 0 34877 125 0 0 25 0 1 0 838964629 66207744 15265 4294967295 134512640 134716908 3221224592 3221223344 134630808 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16164 15265 1111 63 0 16101 0 vsize: 64656 [startup+360.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 41331 0 0 0 35875 128 0 0 25 0 1 0 838964629 66551808 15349 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16248 15349 1111 63 0 16185 0 vsize: 64992 [startup+370.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 41904 0 0 0 36874 129 0 0 25 0 1 0 838964629 68612096 15852 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16751 15852 1111 63 0 16688 0 vsize: 67004 [startup+380.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 42974 0 0 0 37870 133 0 0 25 0 1 0 838964629 68612096 15852 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16751 15852 1111 63 0 16688 0 vsize: 67004 [startup+390.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 43291 0 0 0 38869 134 0 0 25 0 1 0 838964629 69255168 16009 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16908 16009 1111 63 0 16845 0 vsize: 67632 [startup+400.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 43490 0 0 0 39868 135 0 0 25 0 1 0 838964629 70070272 16208 4294967295 134512640 134716908 3221224592 3221223232 134606472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17107 16208 1111 63 0 17044 0 vsize: 68428 [startup+410.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 44083 0 0 0 40866 138 0 0 25 0 1 0 838964629 70328320 16271 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17170 16271 1111 63 0 17107 0 vsize: 68680 [startup+420.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 44990 0 0 0 41863 141 0 0 25 0 1 0 838964629 70930432 16418 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17317 16418 1111 63 0 17254 0 vsize: 69268 [startup+430.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 45503 0 0 0 42861 142 0 0 25 0 1 0 838964629 71229440 16491 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17390 16491 1111 63 0 17327 0 vsize: 69560 [startup+440.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 46739 0 0 0 43859 145 0 0 25 0 1 0 838964629 73416704 17025 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17924 17025 1111 63 0 17861 0 vsize: 71696 [startup+450.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 46927 0 0 0 44858 146 0 0 25 0 1 0 838964629 74190848 17213 4294967295 134512640 134716908 3221224592 3221223232 134606484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18113 17213 1111 63 0 18050 0 vsize: 72452 [startup+460.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 47221 0 0 0 45857 147 0 0 25 0 1 0 838964629 74448896 17277 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18176 17277 1111 63 0 18113 0 vsize: 72704 [startup+470.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 48257 0 0 0 46854 150 0 0 25 0 1 0 838964629 75046912 17423 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18322 17423 1111 63 0 18259 0 vsize: 73288 [startup+480.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 48581 0 0 0 47854 151 0 0 25 0 1 0 838964629 75350016 17497 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18396 17497 1111 63 0 18333 0 vsize: 73584 [startup+490.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 49814 0 0 0 48851 154 0 0 25 0 1 0 838964629 75993088 17653 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18553 17653 1111 63 0 18490 0 vsize: 74212 [startup+500.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 49888 0 0 0 49851 155 0 0 25 0 1 0 838964629 76251136 17717 4294967295 134512640 134716908 3221224592 3221223232 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18616 17717 1111 63 0 18553 0 vsize: 74464 [startup+510.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 50232 0 0 0 50850 155 0 0 25 0 1 0 838964629 77578240 18041 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18940 18041 1111 63 0 18877 0 vsize: 75760 [startup+520.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 50720 0 0 0 51849 157 0 0 25 0 1 0 838964629 79167488 18429 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19328 18429 1111 63 0 19265 0 vsize: 77312 [startup+530.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 51613 0 0 0 52846 159 0 0 25 0 1 0 838964629 79511552 18512 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19412 18512 1111 63 0 19349 0 vsize: 77648 [startup+540.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 51676 0 0 0 53847 159 0 0 25 0 1 0 838964629 79769600 18575 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19475 18575 1111 63 0 19412 0 vsize: 77900 [startup+550.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 51875 0 0 0 54846 160 0 0 25 0 1 0 838964629 80584704 18774 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19674 18774 1111 63 0 19611 0 vsize: 78696 [startup+560.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 52678 0 0 0 55844 162 0 0 25 0 1 0 838964629 82685952 19287 4294967295 134512640 134716908 3221224592 3221223232 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20187 19287 1111 63 0 20124 0 vsize: 80748 [startup+570.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 52985 0 0 0 56844 163 0 0 25 0 1 0 838964629 83243008 19424 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20323 19424 1111 63 0 20260 0 vsize: 81292 [startup+580.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 53228 0 0 0 57842 164 0 0 25 0 1 0 838964629 83501056 19487 4294967295 134512640 134716908 3221224592 3221223232 134606514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20386 19487 1111 63 0 20323 0 vsize: 81544 [startup+590.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 54161 0 0 0 58840 167 0 0 25 0 1 0 838964629 83845120 19570 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20470 19570 1111 63 0 20407 0 vsize: 81880 [startup+600.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 54395 0 0 0 59839 168 0 0 25 0 1 0 838964629 84103168 19634 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20533 19634 1111 63 0 20470 0 vsize: 82132 [startup+610.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 54714 0 0 0 60838 169 0 0 25 0 1 0 838964629 84918272 19833 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20732 19833 1111 63 0 20669 0 vsize: 82928 [startup+620.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 54932 0 0 0 61838 170 0 0 25 0 1 0 838964629 85221376 19907 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20806 19907 1111 63 0 20743 0 vsize: 83224 [startup+630.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 55830 0 0 0 62835 172 0 0 25 0 1 0 838964629 85864448 20063 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20963 20063 1111 63 0 20900 0 vsize: 83852 [startup+640.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 55893 0 0 0 63835 172 0 0 25 0 1 0 838964629 86122496 20126 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21026 20126 1111 63 0 20963 0 vsize: 84104 [startup+650.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 56119 0 0 0 64835 173 0 0 25 0 1 0 838964629 86122496 20127 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21026 20127 1111 63 0 20963 0 vsize: 84104 [startup+660.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 56513 0 0 0 65834 174 0 0 25 0 1 0 838964629 86720512 20273 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21172 20273 1111 63 0 21109 0 vsize: 84688 [startup+670.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 56716 0 0 0 66833 175 0 0 25 0 1 0 838964629 86978560 20336 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21235 20336 1111 63 0 21172 0 vsize: 84940 [startup+680.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 57619 0 0 0 67831 178 0 0 25 0 1 0 838964629 87322624 20419 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21319 20419 1111 63 0 21256 0 vsize: 85276 [startup+690.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 57763 0 0 0 68830 178 0 0 25 0 1 0 838964629 87580672 20483 4294967295 134512640 134716908 3221224592 3221223232 134606484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21382 20483 1111 63 0 21319 0 vsize: 85528 [startup+700.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 58329 0 0 0 69829 180 0 0 25 0 1 0 838964629 88178688 20629 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21528 20629 1111 63 0 21465 0 vsize: 86112 [startup+710.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 58517 0 0 0 70829 180 0 0 25 0 1 0 838964629 88952832 20817 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21717 20817 1111 63 0 21654 0 vsize: 86868 [startup+720.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 58731 0 0 0 71828 181 0 0 25 0 1 0 838964629 89251840 20891 4294967295 134512640 134716908 3221224592 3221223232 134606484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21790 20891 1111 63 0 21727 0 vsize: 87160 [startup+730.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 58881 0 0 0 72828 182 0 0 25 0 1 0 838964629 89251840 20891 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21790 20891 1111 63 0 21727 0 vsize: 87160 [startup+740.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 59672 0 0 0 73826 183 0 0 25 0 1 0 838964629 89251840 20891 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21790 20891 1111 63 0 21727 0 vsize: 87160 [startup+750.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 60165 0 0 0 74825 185 0 0 25 0 1 0 838964629 89894912 21048 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21947 21048 1111 63 0 21884 0 vsize: 87788 [startup+760.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 60278 0 0 0 75825 185 0 0 25 0 1 0 838964629 90198016 21121 4294967295 134512640 134716908 3221224592 3221223232 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22021 21121 1111 63 0 21958 0 vsize: 88084 [startup+770.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 60467 0 0 0 76825 185 0 0 25 0 1 0 838964629 90968064 21310 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22209 21310 1111 63 0 22146 0 vsize: 88836 [startup+780.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 61546 0 0 0 77823 188 0 0 25 0 1 0 838964629 95387648 22389 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23288 22389 1111 63 0 23225 0 vsize: 93152 [startup+790.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 61752 0 0 0 78822 189 0 0 25 0 1 0 838964629 95903744 22515 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23414 22515 1111 63 0 23351 0 vsize: 93656 [startup+800.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 62123 0 0 0 79821 190 0 0 25 0 1 0 838964629 96976896 22776 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23676 22776 1111 63 0 23613 0 vsize: 94704 [startup+810.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 62198 0 0 0 80820 190 0 0 25 0 1 0 838964629 97370112 22851 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23772 22851 1111 63 0 23709 0 vsize: 95088 [startup+820.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 62272 0 0 0 81820 191 0 0 25 0 1 0 838964629 97583104 22925 4294967295 134512640 134716908 3221224592 3221223320 134675297 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23824 22925 1111 63 0 23761 0 vsize: 95296 [startup+830.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 62397 0 0 0 82820 191 0 0 25 0 1 0 838964629 98099200 23050 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23950 23050 1111 63 0 23887 0 vsize: 95800 [startup+840.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 62688 0 0 0 83819 193 0 0 25 0 1 0 838964629 98099200 23051 4294967295 134512640 134716908 3221224592 3221223240 134532457 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23950 23051 1111 63 0 23887 0 vsize: 95800 [startup+850.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 63104 0 0 0 84818 194 0 0 25 0 1 0 838964629 98697216 23197 4294967295 134512640 134716908 3221224592 3221223232 134606514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24096 23197 1111 63 0 24033 0 vsize: 96384 [startup+860.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 63167 0 0 0 85818 194 0 0 25 0 1 0 838964629 98955264 23260 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24159 23260 1111 63 0 24096 0 vsize: 96636 [startup+870.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 63489 0 0 0 86817 195 0 0 25 0 1 0 838964629 100028416 23522 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24421 23522 1111 63 0 24358 0 vsize: 97684 [startup+880.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 63489 0 0 0 87818 195 0 0 25 0 1 0 838964629 100028416 23522 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24421 23522 1111 63 0 24358 0 vsize: 97684 [startup+890.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 63625 0 0 0 88817 195 0 0 25 0 1 0 838964629 100585472 23658 4294967295 134512640 134716908 3221224592 3221223232 134606514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24557 23658 1111 63 0 24494 0 vsize: 98228 [startup+900.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 63688 0 0 0 89817 195 0 0 25 0 1 0 838964629 100843520 23721 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24620 23721 1111 63 0 24557 0 vsize: 98480 [startup+910.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 63887 0 0 0 90817 196 0 0 25 0 1 0 838964629 101658624 23920 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24819 23920 1111 63 0 24756 0 vsize: 99276 [startup+920.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 63887 0 0 0 91817 196 0 0 25 0 1 0 838964629 101658624 23920 4294967295 134512640 134716908 3221224592 3221223232 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24819 23920 1111 63 0 24756 0 vsize: 99276 [startup+930.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 64023 0 0 0 92817 196 0 0 25 0 1 0 838964629 102215680 24056 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24955 24056 1111 63 0 24892 0 vsize: 99820 [startup+940.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 64463 0 0 0 93816 198 0 0 25 0 1 0 838964629 104017920 24496 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25395 24496 1111 63 0 25332 0 vsize: 101580 [startup+950.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 65479 0 0 0 94814 200 0 0 25 0 1 0 838964629 108183552 25512 4294967295 134512640 134716908 3221224592 3221223328 134630831 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26412 25512 1111 63 0 26349 0 vsize: 105648 [startup+960.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 65479 0 0 0 95814 200 0 0 25 0 1 0 838964629 108183552 25512 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26412 25512 1111 63 0 26349 0 vsize: 105648 [startup+970.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 65479 0 0 0 96814 200 0 0 25 0 1 0 838964629 108183552 25512 4294967295 134512640 134716908 3221224592 3221223264 134606738 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26412 25512 1111 63 0 26349 0 vsize: 105648 [startup+980.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 65479 0 0 0 97814 200 0 0 25 0 1 0 838964629 108183552 25512 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26412 25512 1111 63 0 26349 0 vsize: 105648 [startup+990.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 65479 0 0 0 98814 201 0 0 25 0 1 0 838964629 108183552 25512 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26412 25512 1111 63 0 26349 0 vsize: 105648 [startup+1000.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 65479 0 0 0 99813 201 0 0 25 0 1 0 838964629 108183552 25512 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26412 25512 1111 63 0 26349 0 vsize: 105648 [startup+1010.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 65479 0 0 0 100814 201 0 0 25 0 1 0 838964629 108183552 25512 4294967295 134512640 134716908 3221224592 3221223264 134606991 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26412 25512 1111 63 0 26349 0 vsize: 105648 [startup+1020.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 65806 0 0 0 101813 202 0 0 25 0 1 0 838964629 108183552 25513 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26412 25513 1111 63 0 26349 0 vsize: 105648 [startup+1030.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 67290 0 0 0 102811 205 0 0 25 0 1 0 838964629 108953600 25701 4294967295 134512640 134716908 3221224592 3221223016 1077377891 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26600 25701 1111 63 0 26537 0 vsize: 106400 [startup+1040.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 67363 0 0 0 103811 205 0 0 25 0 1 0 838964629 109211648 25764 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26663 25764 1111 63 0 26600 0 vsize: 106652 [startup+1050.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 67363 0 0 0 104811 205 0 0 25 0 1 0 838964629 109211648 25764 4294967295 134512640 134716908 3221224592 3221223344 134630811 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26663 25764 1111 63 0 26600 0 vsize: 106652 [startup+1060.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 67546 0 0 0 105811 205 0 0 25 0 1 0 838964629 109555712 25847 4294967295 134512640 134716908 3221224592 3221223232 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26747 25847 1111 63 0 26684 0 vsize: 106988 [startup+1070.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 67546 0 0 0 106811 205 0 0 25 0 1 0 838964629 109555712 25847 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26747 25847 1111 63 0 26684 0 vsize: 106988 [startup+1080.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 67917 0 0 0 107810 206 0 0 25 0 1 0 838964629 109555712 25848 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26747 25848 1111 63 0 26684 0 vsize: 106988 [startup+1090.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 68080 0 0 0 108810 206 0 0 25 0 1 0 838964629 109899776 25931 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26831 25931 1111 63 0 26768 0 vsize: 107324 [startup+1100.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 68216 0 0 0 109810 207 0 0 25 0 1 0 838964629 110456832 26067 4294967295 134512640 134716908 3221224592 3221223232 134606484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26967 26067 1111 63 0 26904 0 vsize: 107868 [startup+1110.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 68279 0 0 0 110810 207 0 0 25 0 1 0 838964629 110714880 26130 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27030 26130 1111 63 0 26967 0 vsize: 108120 [startup+1120.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 68492 0 0 0 111810 207 0 0 25 0 1 0 838964629 110968832 26193 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27092 26193 1111 63 0 27029 0 vsize: 108368 [startup+1130.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 69740 0 0 0 112806 211 0 0 25 0 1 0 838964629 112603136 26591 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27491 26591 1111 63 0 27428 0 vsize: 109964 [startup+1140.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 70101 0 0 0 113805 212 0 0 25 0 1 0 838964629 113160192 26727 4294967295 134512640 134716908 3221224592 3221223232 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27627 26727 1111 63 0 27564 0 vsize: 110508 [startup+1150.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 70101 0 0 0 114806 212 0 0 25 0 1 0 838964629 113160192 26727 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27627 26727 1111 63 0 27564 0 vsize: 110508 [startup+1160.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 70292 0 0 0 115805 213 0 0 25 0 1 0 838964629 113160192 26728 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27627 26728 1111 63 0 27564 0 vsize: 110508 [startup+1170.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 71052 0 0 0 116803 214 0 0 25 0 1 0 838964629 113160192 26728 4294967295 134512640 134716908 3221224592 3221223232 134606472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27627 26728 1111 63 0 27564 0 vsize: 110508 [startup+1180.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 71378 0 0 0 117802 215 0 0 25 0 1 0 838964629 113758208 26874 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27773 26874 1111 63 0 27710 0 vsize: 111092 [startup+1190.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 71637 0 0 0 118802 216 0 0 25 0 1 0 838964629 114532352 27063 4294967295 134512640 134716908 3221224592 3221223240 134558485 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27962 27063 1111 63 0 27899 0 vsize: 111848 [startup+1200.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 72057 0 0 0 119801 218 0 0 25 0 1 0 838964629 114532352 27063 4294967295 134512640 134716908 3221224592 3221223232 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27962 27063 1111 63 0 27899 0 vsize: 111848 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.07 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 9033 Raw data (stat): 9033 (bsolo_lpr-v2) Z 9032 8378 8377 0 -1 1036 72057 0 0 0 119801 223 0 0 25 0 1 0 838964629 0 0 4294967295 0 0 0 0 0 0 0 7 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.07 CPU time (s): 1200.24 CPU user time (s): 1198.01 CPU system time (s): 2.23066 CPU usage (%): 100.014 Max. virtual memory (Kb): 111848 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####