Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dolom1.opb |
MD5SUM | bafd5f2a91d0ace4ec9dc114753d5b3e |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 66480 |
Biggest coefficient in the objective function | 536870912000000000000 |
Number of bits for the biggest coefficient in the objective function | 69 |
Sum of the numbers in the objective function | 35987090508169210757120 |
Number of bits of the sum of numbers in the objective function | 75 |
Biggest number in a constraint | 536870912000000000000 |
Number of bits of the biggest number in a constraint | 69 |
Biggest sum of numbers in a constraint | 35987192908169210757120 |
Number of bits of the biggest sum of numbers | 75 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.632903 |
Number of variables | 66480 |
Total number of constraints | 11523 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 9721 |
Number of constraints which are nor clauses,nor cardinality constraints | 1802 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 66480 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc3 THE 2005-06-08 03:16:05 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28207 boxname=wulflinc3 idbench=1163 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: bafd5f2a91d0ace4ec9dc114753d5b3e /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-dolom1.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-dolom1.opb IDLAUNCH: 28207 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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: 780896 kB Buffers: 31196 kB Cached: 199868 kB SwapCached: 680 kB Active: 41732 kB Inactive: 191328 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 780644 kB SwapTotal: 2097136 kB SwapFree: 2095436 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5032 kB Slab: 15008 kB Committed_AS: 71796 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 03:36:07 (client local time) WITH STATUS 0 IN 1200.34 SECONDS stats: 28207 7 1200.34 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. #### 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.92 0.95 0.90 2/54 20061 Raw data (stat): 20061 (runsolver) R 20060 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 898312307 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.0004 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 2039 0 0 0 993 5 0 0 25 0 1 0 898312307 19861504 1959 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4849 1959 1111 63 0 4786 0 vsize: 19396 [startup+20.0022 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 3230 0 0 0 1990 8 0 0 25 0 1 0 898312307 24788992 3150 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6052 3150 1111 63 0 5989 0 vsize: 24208 [startup+30.0027 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 4414 0 0 0 2987 11 0 0 25 0 1 0 898312307 29564928 4334 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7218 4334 1111 63 0 7155 0 vsize: 28872 [startup+40.0029 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 5611 0 0 0 3985 13 0 0 25 0 1 0 898312307 34492416 5531 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8421 5531 1111 63 0 8358 0 vsize: 33684 [startup+50.0037 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 6808 0 0 0 4983 16 0 0 25 0 1 0 898312307 39415808 6728 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9623 6728 1111 63 0 9560 0 vsize: 38492 [startup+60.0042 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 8009 0 0 0 5980 18 0 0 25 0 1 0 898312307 44335104 7929 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10824 7929 1111 63 0 10761 0 vsize: 43296 [startup+70.0044 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 9211 0 0 0 6978 20 0 0 25 0 1 0 898312307 49262592 9131 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12027 9131 1111 63 0 11964 0 vsize: 48108 [startup+80.0056 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 10420 0 0 0 7976 22 0 0 25 0 1 0 898312307 54190080 10340 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13230 10340 1111 63 0 13167 0 vsize: 52920 [startup+90.0057 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 11629 0 0 0 8974 25 0 0 25 0 1 0 898312307 59113472 11549 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14432 11549 1111 63 0 14369 0 vsize: 57728 [startup+100.007 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 12843 0 0 0 9972 28 0 0 25 0 1 0 898312307 64188416 12763 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15671 12763 1111 63 0 15608 0 vsize: 62684 [startup+110.01 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 14070 0 0 0 10969 30 0 0 25 0 1 0 898312307 69091328 13990 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16868 13990 1111 63 0 16805 0 vsize: 67472 [startup+120.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 15292 0 0 0 11967 33 0 0 25 0 1 0 898312307 74170368 15212 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18108 15212 1111 63 0 18045 0 vsize: 72432 [startup+130.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 16519 0 0 0 12964 36 0 0 25 0 1 0 898312307 79245312 16439 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19347 16439 1111 63 0 19284 0 vsize: 77388 [startup+140.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 17746 0 0 0 13961 38 0 0 25 0 1 0 898312307 84172800 17666 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20550 17666 1111 63 0 20487 0 vsize: 82200 [startup+150.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 18985 0 0 0 14959 41 0 0 25 0 1 0 898312307 89247744 18905 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21789 18905 1111 63 0 21726 0 vsize: 87156 [startup+160.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 20218 0 0 0 15956 44 0 0 25 0 1 0 898312307 94322688 20138 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23028 20138 1111 63 0 22965 0 vsize: 92112 [startup+170.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 21465 0 0 0 16954 46 0 0 25 0 1 0 898312307 99405824 21385 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24269 21385 1111 63 0 24206 0 vsize: 97076 [startup+180.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 22710 0 0 0 17952 48 0 0 25 0 1 0 898312307 104480768 22630 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25508 22630 1111 63 0 25445 0 vsize: 102032 [startup+190.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 23979 0 0 0 18950 51 0 0 25 0 1 0 898312307 109703168 23899 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26783 23899 1111 63 0 26720 0 vsize: 107132 [startup+200.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 25258 0 0 0 19948 53 0 0 25 0 1 0 898312307 115060736 25178 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28091 25178 1111 63 0 28028 0 vsize: 112364 [startup+210.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 26525 0 0 0 20946 54 0 0 25 0 1 0 898312307 120127488 26445 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29328 26445 1111 63 0 29265 0 vsize: 117312 [startup+220.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 27808 0 0 0 21944 56 0 0 25 0 1 0 898312307 125505536 27728 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30641 27728 1111 63 0 30578 0 vsize: 122564 [startup+230.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 29090 0 0 0 22942 59 0 0 25 0 1 0 898312307 130727936 29010 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31916 29010 1111 63 0 31853 0 vsize: 127664 [startup+240.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 30378 0 0 0 23939 62 0 0 25 0 1 0 898312307 135954432 30298 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33192 30298 1111 63 0 33129 0 vsize: 132768 [startup+250.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 31667 0 0 0 24938 63 0 0 25 0 1 0 898312307 141176832 31587 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34467 31587 1111 63 0 34404 0 vsize: 137868 [startup+260.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 32968 0 0 0 25936 66 0 0 25 0 1 0 898312307 146558976 32888 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35781 32888 1111 63 0 35718 0 vsize: 143124 [startup+270.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 34268 0 0 0 26933 69 0 0 25 0 1 0 898312307 151928832 34188 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37092 34188 1111 63 0 37029 0 vsize: 148368 [startup+280.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 35574 0 0 0 27930 72 0 0 25 0 1 0 898312307 157302784 35494 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38404 35494 1111 63 0 38341 0 vsize: 153616 [startup+290.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 36880 0 0 0 28929 74 0 0 25 0 1 0 898312307 162529280 36800 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 39680 36800 1111 63 0 39617 0 vsize: 158720 [startup+300.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 38201 0 0 0 29927 76 0 0 25 0 1 0 898312307 168058880 38121 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 41030 38121 1111 63 0 40967 0 vsize: 164120 [startup+310.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 39518 0 0 0 30924 79 0 0 25 0 1 0 898312307 173428736 39438 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 42341 39438 1111 63 0 42278 0 vsize: 169364 [startup+320.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 40843 0 0 0 31921 82 0 0 25 0 1 0 898312307 178802688 40763 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 43653 40763 1111 63 0 43590 0 vsize: 174612 [startup+330.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 42175 0 0 0 32919 84 0 0 25 0 1 0 898312307 184332288 42095 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 45003 42095 1111 63 0 44940 0 vsize: 180012 [startup+340.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 43505 0 0 0 33918 86 0 0 25 0 1 0 898312307 189706240 43425 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 46315 43425 1111 63 0 46252 0 vsize: 185260 [startup+350.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 44847 0 0 0 34915 88 0 0 25 0 1 0 898312307 195227648 44767 4294967295 134512640 134716908 3221224576 3221222804 1077414424 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 47663 44767 1111 63 0 47600 0 vsize: 190652 [startup+360.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 46189 0 0 0 35914 90 0 0 25 0 1 0 898312307 200749056 46109 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 49011 46109 1111 63 0 48948 0 vsize: 196044 [startup+370.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 47546 0 0 0 36911 93 0 0 25 0 1 0 898312307 206278656 47466 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 50361 47466 1111 63 0 50298 0 vsize: 201444 [startup+380.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 48900 0 0 0 37910 94 0 0 25 0 1 0 898312307 211804160 48820 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 51710 48820 1111 63 0 51647 0 vsize: 206840 [startup+390.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 50278 0 0 0 38908 97 0 0 25 0 1 0 898312307 217473024 50198 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 53094 50198 1111 63 0 53031 0 vsize: 212376 [startup+400.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 51647 0 0 0 39905 99 0 0 25 0 1 0 898312307 223154176 51567 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 54481 51567 1111 63 0 54418 0 vsize: 217924 [startup+410.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 53020 0 0 0 40902 102 0 0 25 0 1 0 898312307 228679680 52940 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 55830 52940 1111 63 0 55767 0 vsize: 223320 [startup+420.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 54399 0 0 0 41901 104 0 0 25 0 1 0 898312307 234352640 54319 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 57215 54319 1111 63 0 57152 0 vsize: 228860 [startup+430.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 55787 0 0 0 42900 105 0 0 25 0 1 0 898312307 240029696 55707 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58601 55707 1111 63 0 58538 0 vsize: 234404 [startup+440.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 57185 0 0 0 43898 107 0 0 25 0 1 0 898312307 245854208 57105 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 60023 57105 1111 63 0 59960 0 vsize: 240092 [startup+450.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 58576 0 0 0 44896 110 0 0 25 0 1 0 898312307 251527168 58496 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 61408 58496 1111 63 0 61345 0 vsize: 245632 [startup+460.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 59969 0 0 0 45893 112 0 0 25 0 1 0 898312307 257204224 59889 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 62794 59889 1111 63 0 62731 0 vsize: 251176 [startup+470.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 60085 0 0 0 46893 113 0 0 25 0 1 0 898312307 257642496 60005 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 62901 60005 1111 63 0 62838 0 vsize: 251604 [startup+480.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 60204 0 0 0 47893 113 0 0 25 0 1 0 898312307 258215936 60124 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 63041 60124 1111 63 0 62978 0 vsize: 252164 [startup+490.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 60322 0 0 0 48893 113 0 0 25 0 1 0 898312307 258658304 60242 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 63149 60242 1111 63 0 63086 0 vsize: 252596 [startup+500.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 60446 0 0 0 49893 113 0 0 25 0 1 0 898312307 259112960 60366 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 63260 60366 1111 63 0 63197 0 vsize: 253040 [startup+510.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 60562 0 0 0 50893 113 0 0 25 0 1 0 898312307 259559424 60482 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 63369 60482 1111 63 0 63306 0 vsize: 253476 [startup+520.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 60682 0 0 0 51893 113 0 0 25 0 1 0 898312307 260161536 60602 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 63516 60602 1111 63 0 63453 0 vsize: 254064 [startup+530.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 60799 0 0 0 52894 113 0 0 25 0 1 0 898312307 260608000 60719 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 63625 60719 1111 63 0 63562 0 vsize: 254500 [startup+540.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 60917 0 0 0 53893 114 0 0 25 0 1 0 898312307 261058560 60837 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 63735 60837 1111 63 0 63672 0 vsize: 254940 [startup+550.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 61035 0 0 0 54893 114 0 0 25 0 1 0 898312307 261509120 60955 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 63845 60955 1111 63 0 63782 0 vsize: 255380 [startup+560.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 61166 0 0 0 55893 115 0 0 25 0 1 0 898312307 262111232 61086 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 63992 61086 1111 63 0 63929 0 vsize: 255968 [startup+570.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 61286 0 0 0 56892 115 0 0 25 0 1 0 898312307 262561792 61206 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 64102 61206 1111 63 0 64039 0 vsize: 256408 [startup+580.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 61409 0 0 0 57892 116 0 0 25 0 1 0 898312307 263008256 61329 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 64211 61329 1111 63 0 64148 0 vsize: 256844 [startup+590.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 61534 0 0 0 58892 116 0 0 25 0 1 0 898312307 263610368 61454 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 64358 61454 1111 63 0 64295 0 vsize: 257432 [startup+600.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 61659 0 0 0 59892 116 0 0 25 0 1 0 898312307 264056832 61579 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 64467 61579 1111 63 0 64404 0 vsize: 257868 [startup+610.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 61785 0 0 0 60892 117 0 0 25 0 1 0 898312307 264658944 61705 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 64614 61705 1111 63 0 64551 0 vsize: 258456 [startup+620.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 61915 0 0 0 61892 117 0 0 25 0 1 0 898312307 265105408 61835 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 64723 61835 1111 63 0 64660 0 vsize: 258892 [startup+630.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 62040 0 0 0 62892 117 0 0 25 0 1 0 898312307 265707520 61960 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 64870 61960 1111 63 0 64807 0 vsize: 259480 [startup+640.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 62167 0 0 0 63891 118 0 0 25 0 1 0 898312307 266158080 62087 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 64980 62087 1111 63 0 64917 0 vsize: 259920 [startup+650.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 62298 0 0 0 64891 118 0 0 25 0 1 0 898312307 266756096 62218 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 65126 62218 1111 63 0 65063 0 vsize: 260504 [startup+660.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 62430 0 0 0 65891 118 0 0 25 0 1 0 898312307 267210752 62350 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 65237 62350 1111 63 0 65174 0 vsize: 260948 [startup+670.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 62554 0 0 0 66891 118 0 0 25 0 1 0 898312307 267804672 62474 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 65382 62474 1111 63 0 65319 0 vsize: 261528 [startup+680.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 62680 0 0 0 67891 119 0 0 25 0 1 0 898312307 268255232 62600 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 65492 62600 1111 63 0 65429 0 vsize: 261968 [startup+690.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 62812 0 0 0 68891 119 0 0 25 0 1 0 898312307 268857344 62732 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 65639 62732 1111 63 0 65576 0 vsize: 262556 [startup+700.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 62943 0 0 0 69891 119 0 0 25 0 1 0 898312307 269303808 62863 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 65748 62863 1111 63 0 65685 0 vsize: 262992 [startup+710.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 63094 0 0 0 70891 119 0 0 25 0 1 0 898312307 270069760 63014 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 65935 63014 1111 63 0 65872 0 vsize: 263740 [startup+720.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 63225 0 0 0 71891 119 0 0 25 0 1 0 898312307 270663680 63145 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 66080 63145 1111 63 0 66017 0 vsize: 264320 [startup+730.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 63357 0 0 0 72891 120 0 0 25 0 1 0 898312307 271118336 63277 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 66191 63277 1111 63 0 66128 0 vsize: 264764 [startup+740.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 63491 0 0 0 73891 120 0 0 25 0 1 0 898312307 271712256 63411 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 66336 63411 1111 63 0 66273 0 vsize: 265344 [startup+750.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 63623 0 0 0 74891 120 0 0 25 0 1 0 898312307 272162816 63543 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 66446 63543 1111 63 0 66383 0 vsize: 265784 [startup+760.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 63762 0 0 0 75891 120 0 0 25 0 1 0 898312307 272764928 63682 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 66593 63682 1111 63 0 66530 0 vsize: 266372 [startup+770.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 63899 0 0 0 76891 120 0 0 25 0 1 0 898312307 273362944 63819 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 66739 63819 1111 63 0 66676 0 vsize: 266956 [startup+780.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 64033 0 0 0 77891 121 0 0 25 0 1 0 898312307 273965056 63953 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 66886 63953 1111 63 0 66823 0 vsize: 267544 [startup+790.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 64167 0 0 0 78891 121 0 0 25 0 1 0 898312307 274411520 64087 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 66995 64087 1111 63 0 66932 0 vsize: 267980 [startup+800.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 64305 0 0 0 79891 121 0 0 25 0 1 0 898312307 275013632 64225 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 67142 64225 1111 63 0 67079 0 vsize: 268568 [startup+810.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 64445 0 0 0 80891 122 0 0 25 0 1 0 898312307 275615744 64365 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 67289 64365 1111 63 0 67226 0 vsize: 269156 [startup+820.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 64584 0 0 0 81891 122 0 0 25 0 1 0 898312307 276209664 64504 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 67434 64504 1111 63 0 67371 0 vsize: 269736 [startup+830.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 64724 0 0 0 82891 122 0 0 25 0 1 0 898312307 276660224 64644 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 67544 64644 1111 63 0 67481 0 vsize: 270176 [startup+840.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 64864 0 0 0 83891 123 0 0 25 0 1 0 898312307 277262336 64784 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 67691 64784 1111 63 0 67628 0 vsize: 270764 [startup+850.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 65003 0 0 0 84891 123 0 0 25 0 1 0 898312307 277860352 64923 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 67837 64923 1111 63 0 67774 0 vsize: 271348 [startup+860.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 65150 0 0 0 85891 123 0 0 25 0 1 0 898312307 278462464 65070 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 67984 65070 1111 63 0 67921 0 vsize: 271936 [startup+870.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 65290 0 0 0 86890 123 0 0 25 0 1 0 898312307 279060480 65210 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 68130 65210 1111 63 0 68067 0 vsize: 272520 [startup+880.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 65436 0 0 0 87890 124 0 0 25 0 1 0 898312307 279658496 65356 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 68276 65356 1111 63 0 68213 0 vsize: 273104 [startup+890.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 65584 0 0 0 88890 124 0 0 25 0 1 0 898312307 280260608 65504 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 68423 65504 1111 63 0 68360 0 vsize: 273692 [startup+900.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 65732 0 0 0 89890 124 0 0 25 0 1 0 898312307 280862720 65652 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 68570 65652 1111 63 0 68507 0 vsize: 274280 [startup+910.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 65884 0 0 0 90890 124 0 0 25 0 1 0 898312307 281456640 65804 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 68715 65804 1111 63 0 68652 0 vsize: 274860 [startup+920.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 66033 0 0 0 91890 125 0 0 25 0 1 0 898312307 282058752 65953 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 68862 65953 1111 63 0 68799 0 vsize: 275448 [startup+930.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 66180 0 0 0 92890 125 0 0 25 0 1 0 898312307 282660864 66100 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 69009 66100 1111 63 0 68946 0 vsize: 276036 [startup+940.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 66326 0 0 0 93890 125 0 0 25 0 1 0 898312307 283254784 66246 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 69154 66246 1111 63 0 69091 0 vsize: 276616 [startup+950.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 66487 0 0 0 94890 125 0 0 25 0 1 0 898312307 283856896 66407 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 69301 66407 1111 63 0 69238 0 vsize: 277204 [startup+960.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 66636 0 0 0 95890 126 0 0 25 0 1 0 898312307 284459008 66556 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 69448 66556 1111 63 0 69385 0 vsize: 277792 [startup+970.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 66795 0 0 0 96889 126 0 0 25 0 1 0 898312307 285204480 66715 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 69630 66715 1111 63 0 69567 0 vsize: 278520 [startup+980.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 66943 0 0 0 97889 127 0 0 25 0 1 0 898312307 285806592 66863 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 69777 66863 1111 63 0 69714 0 vsize: 279108 [startup+990.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 67106 0 0 0 98889 127 0 0 25 0 1 0 898312307 286408704 67026 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 69924 67026 1111 63 0 69861 0 vsize: 279696 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 67261 0 0 0 99889 127 0 0 25 0 1 0 898312307 287002624 67181 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 70069 67181 1111 63 0 70006 0 vsize: 280276 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 67414 0 0 0 100889 128 0 0 25 0 1 0 898312307 287752192 67334 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 70252 67334 1111 63 0 70189 0 vsize: 281008 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 67577 0 0 0 101889 128 0 0 25 0 1 0 898312307 288354304 67497 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 70399 67497 1111 63 0 70336 0 vsize: 281596 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 67738 0 0 0 102889 128 0 0 25 0 1 0 898312307 288956416 67658 4294967295 134512640 134716908 3221224576 3221222908 1077399562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 70546 67658 1111 63 0 70483 0 vsize: 282184 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 67898 0 0 0 103889 128 0 0 25 0 1 0 898312307 289701888 67818 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 70728 67818 1111 63 0 70665 0 vsize: 282912 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 68062 0 0 0 104889 128 0 0 25 0 1 0 898312307 290304000 67982 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 70875 67982 1111 63 0 70812 0 vsize: 283500 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 68223 0 0 0 105889 129 0 0 25 0 1 0 898312307 291053568 68143 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 71058 68143 1111 63 0 70995 0 vsize: 284232 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 68392 0 0 0 106888 129 0 0 25 0 1 0 898312307 291655680 68312 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 71205 68312 1111 63 0 71142 0 vsize: 284820 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 68560 0 0 0 107888 129 0 0 25 0 1 0 898312307 292401152 68480 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 71387 68480 1111 63 0 71324 0 vsize: 285548 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 68723 0 0 0 108888 130 0 0 25 0 1 0 898312307 293003264 68643 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 71534 68643 1111 63 0 71471 0 vsize: 286136 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 68897 0 0 0 109888 130 0 0 25 0 1 0 898312307 293748736 68817 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 71716 68817 1111 63 0 71653 0 vsize: 286864 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 69062 0 0 0 110888 130 0 0 25 0 1 0 898312307 294350848 68982 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 71863 68982 1111 63 0 71800 0 vsize: 287452 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 69236 0 0 0 111888 131 0 0 25 0 1 0 898312307 295100416 69156 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 72046 69156 1111 63 0 71983 0 vsize: 288184 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 69405 0 0 0 112888 131 0 0 25 0 1 0 898312307 295845888 69325 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 72228 69325 1111 63 0 72165 0 vsize: 288912 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 69576 0 0 0 113888 131 0 0 25 0 1 0 898312307 296448000 69496 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 72375 69496 1111 63 0 72312 0 vsize: 289500 [startup+1150.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 69751 0 0 0 114887 132 0 0 25 0 1 0 898312307 297201664 69671 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 72559 69671 1111 63 0 72496 0 vsize: 290236 [startup+1160.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 69928 0 0 0 115887 132 0 0 25 0 1 0 898312307 297951232 69848 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 72742 69848 1111 63 0 72679 0 vsize: 290968 [startup+1170.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 70104 0 0 0 116887 133 0 0 25 0 1 0 898312307 298696704 70024 4294967295 134512640 134716908 3221224576 3221222804 1077414347 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 72924 70024 1111 63 0 72861 0 vsize: 291696 [startup+1180.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 70280 0 0 0 117887 133 0 0 25 0 1 0 898312307 299446272 70200 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73107 70200 1111 63 0 73044 0 vsize: 292428 [startup+1190.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 70456 0 0 0 118886 133 0 0 25 0 1 0 898312307 300048384 70376 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73254 70376 1111 63 0 73191 0 vsize: 293016 [startup+1200.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) R 20060 20224 20223 0 -1 0 70639 0 0 0 119886 134 0 0 25 0 1 0 898312307 300797952 70559 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73437 70559 1111 63 0 73374 0 vsize: 293748 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.18 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 20061 Raw data (stat): 20061 (bsolo_lpr-v2) Z 20060 20224 20223 0 -1 1036 70639 0 0 0 119886 147 0 0 25 0 1 0 898312307 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.18 CPU time (s): 1200.34 CPU user time (s): 1198.87 CPU system time (s): 1.47278 CPU usage (%): 100.014 Max. virtual memory (Kb): 293748 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####