Name | normalized-opb/submitted/manquinho/ttp/normalized-data10_3.opb |
MD5SUM | 4a63b686be1696a2915c6e312773fbad |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 81744 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 900 |
Biggest coefficient in the objective function | 1380 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 559660 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1380 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 559660 |
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.07 |
Number of variables | 2700 |
Total number of constraints | 42620 |
Number of constraints which are clauses | 20220 |
Number of constraints which are cardinality constraints (but not clauses) | 800 |
Number of constraints which are nor clauses,nor cardinality constraints | 21600 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 36 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-10 11:18:05 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2332 boxname=wulflinc31 idbench=260 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 4a63b686be1696a2915c6e312773fbad /oldhome/oroussel/tmp/wulflinc31/normalized-data10_3.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-data10_3.opb IDLAUNCH: 2332 /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: 288760 kB Buffers: 46552 kB Cached: 664832 kB SwapCached: 644 kB Active: 310956 kB Inactive: 402692 kB HighTotal: 131008 kB HighFree: 25816 kB LowTotal: 903652 kB LowFree: 262944 kB SwapTotal: 2097892 kB SwapFree: 2096612 kB Dirty: 1132 kB Writeback: 0 kB Mapped: 5608 kB Slab: 26528 kB Committed_AS: 63652 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-10 11:38:08 (client local time) WITH STATUS 0 IN 1200.25 SECONDS stats: 2332 7 1200.25 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 2700 variables and 43070 constraints. c After prepocess the problem consists of 2700 variables and 41276 constraints. c preprocess terminated 240.772 s #### 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.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (runsolver) R 9824 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 708823852 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0007 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 8306 0 0 0 968 27 0 0 25 0 1 0 708823852 47124480 8229 4294967295 134512640 134714508 3221221792 3221219708 1077246155 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11538 8230 1111 63 0 11475 0 vsize: 46020 [startup+20.0017 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 55240 0 0 0 1849 147 0 0 25 0 1 0 708823852 52002816 11841 4294967295 134512640 134714508 3221221792 3221220424 134558793 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12696 11841 1111 63 0 12633 0 vsize: 50784 [startup+30.0016 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 79327 0 0 0 2788 207 0 0 25 0 1 0 708823852 54116352 12336 4294967295 134512640 134714508 3221221792 3221220236 134536763 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13212 12336 1111 63 0 13149 0 vsize: 52848 [startup+40.0026 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 83536 0 0 0 3776 219 0 0 25 0 1 0 708823852 56336384 12878 4294967295 134512640 134714508 3221221792 3221220324 134535326 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13754 12878 1111 63 0 13691 0 vsize: 55016 [startup+50.0039 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 87501 0 0 0 4766 230 0 0 25 0 1 0 708823852 68644864 15894 4294967295 134512640 134714508 3221221792 3221220200 134543594 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16759 15894 1111 63 0 16696 0 vsize: 67036 [startup+60.0045 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 87833 0 0 0 5765 231 0 0 25 0 1 0 708823852 68657152 15918 4294967295 134512640 134714508 3221221792 3221220532 134630809 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16762 15918 1111 63 0 16699 0 vsize: 67048 [startup+70.0054 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 88109 0 0 0 6764 232 0 0 25 0 1 0 708823852 68657152 15918 4294967295 134512640 134714508 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16762 15918 1111 63 0 16699 0 vsize: 67048 [startup+80.0054 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 90097 0 0 0 7759 238 0 0 25 0 1 0 708823852 68657152 15918 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16762 15918 1111 63 0 16699 0 vsize: 67048 [startup+90.0062 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 93718 0 0 0 8749 248 0 0 25 0 1 0 708823852 68657152 15918 4294967295 134512640 134714508 3221221792 3221220272 134542352 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16762 15918 1111 63 0 16699 0 vsize: 67048 [startup+100.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 97818 0 0 0 9739 258 0 0 25 0 1 0 708823852 70582272 16388 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17232 16388 1111 63 0 17169 0 vsize: 68928 [startup+110.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 98388 0 0 0 10737 260 0 0 25 0 1 0 708823852 72646656 16892 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17736 16892 1111 63 0 17673 0 vsize: 70944 [startup+120.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 99926 0 0 0 11733 265 0 0 25 0 1 0 708823852 72646656 16892 4294967295 134512640 134714508 3221221792 3221220272 134543110 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17736 16892 1111 63 0 17673 0 vsize: 70944 [startup+130.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 101908 0 0 0 12728 270 0 0 25 0 1 0 708823852 75399168 17564 4294967295 134512640 134714508 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18408 17564 1111 63 0 18345 0 vsize: 73632 [startup+140.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 102678 0 0 0 13726 272 0 0 25 0 1 0 708823852 75399168 17564 4294967295 134512640 134714508 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18408 17564 1111 63 0 18345 0 vsize: 73632 [startup+150.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 103886 0 0 0 14723 275 0 0 25 0 1 0 708823852 75399168 17564 4294967295 134512640 134714508 3221221792 3221220224 134543674 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18408 17564 1111 63 0 18345 0 vsize: 73632 [startup+160.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 105735 0 0 0 15718 280 0 0 25 0 1 0 708823852 77926400 18173 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19025 18180 1111 63 0 18962 0 vsize: 76100 [startup+170.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 106838 0 0 0 16715 284 0 0 25 0 1 0 708823852 78114816 18227 4294967295 134512640 134714508 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19071 18227 1111 63 0 19008 0 vsize: 76284 [startup+180.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 106838 0 0 0 17715 284 0 0 25 0 1 0 708823852 78114816 18227 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19071 18227 1111 63 0 19008 0 vsize: 76284 [startup+190.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 106838 0 0 0 18714 285 0 0 25 0 1 0 708823852 78114816 18227 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19071 18227 1111 63 0 19008 0 vsize: 76284 [startup+200.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 106838 0 0 0 19714 285 0 0 25 0 1 0 708823852 78114816 18227 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19071 18227 1111 63 0 19008 0 vsize: 76284 [startup+210.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 106838 0 0 0 20714 285 0 0 25 0 1 0 708823852 78114816 18227 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19071 18227 1111 63 0 19008 0 vsize: 76284 [startup+220.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 106838 0 0 0 21714 286 0 0 25 0 1 0 708823852 78114816 18227 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19071 18227 1111 63 0 19008 0 vsize: 76284 [startup+230.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 106838 0 0 0 22714 286 0 0 25 0 1 0 708823852 78114816 18227 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19071 18227 1111 63 0 19008 0 vsize: 76284 [startup+240.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 106839 0 0 0 23714 286 0 0 25 0 1 0 708823852 78114816 18228 4294967295 134512640 134714508 3221221792 3221220648 134536921 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19071 18228 1111 63 0 19008 0 vsize: 76284 [startup+250.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 106861 0 0 0 24714 287 0 0 25 0 1 0 708823852 78114816 18250 4294967295 134512640 134714508 3221221792 3221220000 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19071 18250 1111 63 0 19008 0 vsize: 76284 [startup+260.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 106861 0 0 0 25713 287 0 0 25 0 1 0 708823852 78114816 18250 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19071 18250 1111 63 0 19008 0 vsize: 76284 [startup+270.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 106861 0 0 0 26713 287 0 0 25 0 1 0 708823852 78114816 18250 4294967295 134512640 134714508 3221221792 3221219800 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19071 18250 1111 63 0 19008 0 vsize: 76284 [startup+280.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 106861 0 0 0 27713 288 0 0 25 0 1 0 708823852 78114816 18250 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19071 18250 1111 63 0 19008 0 vsize: 76284 [startup+290.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 106861 0 0 0 28713 288 0 0 25 0 1 0 708823852 78114816 18250 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19071 18250 1111 63 0 19008 0 vsize: 76284 [startup+300.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 106861 0 0 0 29713 289 0 0 25 0 1 0 708823852 78114816 18250 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19071 18250 1111 63 0 19008 0 vsize: 76284 [startup+310.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 106861 0 0 0 30712 290 0 0 25 0 1 0 708823852 78114816 18250 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19071 18250 1111 63 0 19008 0 vsize: 76284 [startup+320.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 106861 0 0 0 31712 290 0 0 25 0 1 0 708823852 78114816 18250 4294967295 134512640 134714508 3221221792 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19071 18250 1111 63 0 19008 0 vsize: 76284 [startup+330.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107140 0 0 0 32711 291 0 0 25 0 1 0 708823852 79253504 18529 4294967295 134512640 134714508 3221221792 3221219920 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19349 18529 1111 63 0 19286 0 vsize: 77396 [startup+340.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107164 0 0 0 33710 293 0 0 25 0 1 0 708823852 79351808 18553 4294967295 134512640 134714508 3221221792 3221219856 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19373 18553 1111 63 0 19310 0 vsize: 77492 [startup+350.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107186 0 0 0 34709 294 0 0 25 0 1 0 708823852 79441920 18575 4294967295 134512640 134714508 3221221792 3221219920 1074153779 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19395 18575 1111 63 0 19332 0 vsize: 77580 [startup+360.025 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107207 0 0 0 35708 295 0 0 25 0 1 0 708823852 79527936 18596 4294967295 134512640 134714508 3221221792 3221219856 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19416 18596 1111 63 0 19353 0 vsize: 77664 [startup+370.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107226 0 0 0 36708 295 0 0 25 0 1 0 708823852 79605760 18615 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19435 18615 1111 63 0 19372 0 vsize: 77740 [startup+380.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107243 0 0 0 37707 296 0 0 25 0 1 0 708823852 79675392 18632 4294967295 134512640 134714508 3221221792 3221219952 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19452 18632 1111 63 0 19389 0 vsize: 77808 [startup+390.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107260 0 0 0 38707 297 0 0 25 0 1 0 708823852 79745024 18649 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19469 18649 1111 63 0 19406 0 vsize: 77876 [startup+400.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107278 0 0 0 39706 297 0 0 25 0 1 0 708823852 79818752 18667 4294967295 134512640 134714508 3221221792 3221219872 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19487 18667 1111 63 0 19424 0 vsize: 77948 [startup+410.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107293 0 0 0 40706 298 0 0 25 0 1 0 708823852 79880192 18682 4294967295 134512640 134714508 3221221792 3221219952 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19502 18682 1111 63 0 19439 0 vsize: 78008 [startup+420.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107308 0 0 0 41705 299 0 0 25 0 1 0 708823852 79941632 18697 4294967295 134512640 134714508 3221221792 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19517 18697 1111 63 0 19454 0 vsize: 78068 [startup+430.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107323 0 0 0 42705 300 0 0 25 0 1 0 708823852 80003072 18712 4294967295 134512640 134714508 3221221792 3221219904 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19532 18712 1111 63 0 19469 0 vsize: 78128 [startup+440.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107338 0 0 0 43704 300 0 0 25 0 1 0 708823852 80064512 18727 4294967295 134512640 134714508 3221221792 3221219904 1074153792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19547 18727 1111 63 0 19484 0 vsize: 78188 [startup+450.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107352 0 0 0 44704 301 0 0 25 0 1 0 708823852 80121856 18741 4294967295 134512640 134714508 3221221792 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19561 18741 1111 63 0 19498 0 vsize: 78244 [startup+460.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107367 0 0 0 45703 301 0 0 25 0 1 0 708823852 80183296 18756 4294967295 134512640 134714508 3221221792 3221220064 1074153760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19576 18756 1111 63 0 19513 0 vsize: 78304 [startup+470.032 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107378 0 0 0 46703 302 0 0 25 0 1 0 708823852 80228352 18767 4294967295 134512640 134714508 3221221792 3221219904 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19587 18767 1111 63 0 19524 0 vsize: 78348 [startup+480.032 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107392 0 0 0 47702 303 0 0 25 0 1 0 708823852 80285696 18781 4294967295 134512640 134714508 3221221792 3221219952 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19601 18781 1111 63 0 19538 0 vsize: 78404 [startup+490.033 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107677 0 0 0 48701 304 0 0 25 0 1 0 708823852 81453056 19066 4294967295 134512640 134714508 3221221792 3221219824 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19886 19066 1111 63 0 19823 0 vsize: 79544 [startup+500.033 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107695 0 0 0 49700 305 0 0 25 0 1 0 708823852 81526784 19084 4294967295 134512640 134714508 3221221792 3221219904 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19904 19084 1111 63 0 19841 0 vsize: 79616 [startup+510.034 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107714 0 0 0 50700 306 0 0 25 0 1 0 708823852 81604608 19103 4294967295 134512640 134714508 3221221792 3221219824 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19923 19103 1111 63 0 19860 0 vsize: 79692 [startup+520.035 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107731 0 0 0 51699 307 0 0 25 0 1 0 708823852 81674240 19120 4294967295 134512640 134714508 3221221792 3221220000 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19940 19120 1111 63 0 19877 0 vsize: 79760 [startup+530.035 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107750 0 0 0 52699 307 0 0 25 0 1 0 708823852 81752064 19139 4294967295 134512640 134714508 3221221792 3221219952 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19959 19139 1111 63 0 19896 0 vsize: 79836 [startup+540.036 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107767 0 0 0 53698 308 0 0 25 0 1 0 708823852 81821696 19156 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19976 19156 1111 63 0 19913 0 vsize: 79904 [startup+550.036 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107785 0 0 0 54698 309 0 0 25 0 1 0 708823852 81895424 19174 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19994 19174 1111 63 0 19931 0 vsize: 79976 [startup+560.038 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107801 0 0 0 55697 310 0 0 25 0 1 0 708823852 81960960 19190 4294967295 134512640 134714508 3221221792 3221220000 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20010 19190 1111 63 0 19947 0 vsize: 80040 [startup+570.039 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107816 0 0 0 56697 310 0 0 25 0 1 0 708823852 82022400 19205 4294967295 134512640 134714508 3221221792 3221220064 1074153783 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20025 19205 1111 63 0 19962 0 vsize: 80100 [startup+580.039 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107833 0 0 0 57697 310 0 0 25 0 1 0 708823852 82092032 19222 4294967295 134512640 134714508 3221221792 3221219968 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20042 19222 1111 63 0 19979 0 vsize: 80168 [startup+590.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107849 0 0 0 58697 311 0 0 25 0 1 0 708823852 82157568 19238 4294967295 134512640 134714508 3221221792 3221219952 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20058 19238 1111 63 0 19995 0 vsize: 80232 [startup+600.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107866 0 0 0 59697 311 0 0 25 0 1 0 708823852 82227200 19255 4294967295 134512640 134714508 3221221792 3221219856 1074153800 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20075 19255 1111 63 0 20012 0 vsize: 80300 [startup+610.041 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107882 0 0 0 60696 312 0 0 25 0 1 0 708823852 82292736 19271 4294967295 134512640 134714508 3221221792 3221219824 1074153786 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20091 19271 1111 63 0 20028 0 vsize: 80364 [startup+620.041 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107897 0 0 0 61696 312 0 0 25 0 1 0 708823852 82354176 19286 4294967295 134512640 134714508 3221221792 3221219760 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20106 19286 1111 63 0 20043 0 vsize: 80424 [startup+630.041 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107911 0 0 0 62696 312 0 0 25 0 1 0 708823852 82411520 19300 4294967295 134512640 134714508 3221221792 3221219968 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20120 19300 1111 63 0 20057 0 vsize: 80480 [startup+640.042 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107926 0 0 0 63696 313 0 0 25 0 1 0 708823852 82472960 19315 4294967295 134512640 134714508 3221221792 3221219904 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20135 19315 1111 63 0 20072 0 vsize: 80540 [startup+650.043 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107941 0 0 0 64696 313 0 0 25 0 1 0 708823852 82534400 19330 4294967295 134512640 134714508 3221221792 3221219824 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20150 19330 1111 63 0 20087 0 vsize: 80600 [startup+660.043 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107954 0 0 0 65696 313 0 0 25 0 1 0 708823852 82587648 19343 4294967295 134512640 134714508 3221221792 3221219904 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20163 19343 1111 63 0 20100 0 vsize: 80652 [startup+670.044 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107969 0 0 0 66696 313 0 0 25 0 1 0 708823852 82649088 19358 4294967295 134512640 134714508 3221221792 3221219952 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20178 19358 1111 63 0 20115 0 vsize: 80712 [startup+680.044 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107984 0 0 0 67696 314 0 0 25 0 1 0 708823852 82710528 19373 4294967295 134512640 134714508 3221221792 3221219424 1077814665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20193 19373 1111 63 0 20130 0 vsize: 80772 [startup+690.045 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 107999 0 0 0 68696 314 0 0 25 0 1 0 708823852 82771968 19388 4294967295 134512640 134714508 3221221792 3221219808 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20208 19388 1111 63 0 20145 0 vsize: 80832 [startup+700.045 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108013 0 0 0 69696 314 0 0 25 0 1 0 708823852 82829312 19402 4294967295 134512640 134714508 3221221792 3221219824 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20222 19402 1111 63 0 20159 0 vsize: 80888 [startup+710.045 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108026 0 0 0 70696 314 0 0 25 0 1 0 708823852 82882560 19415 4294967295 134512640 134714508 3221221792 3221219952 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20235 19415 1111 63 0 20172 0 vsize: 80940 [startup+720.046 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108040 0 0 0 71696 314 0 0 25 0 1 0 708823852 82939904 19429 4294967295 134512640 134714508 3221221792 3221220000 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20249 19429 1111 63 0 20186 0 vsize: 80996 [startup+730.045 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108053 0 0 0 72696 314 0 0 25 0 1 0 708823852 82993152 19442 4294967295 134512640 134714508 3221221792 3221219856 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20262 19442 1111 63 0 20199 0 vsize: 81048 [startup+740.046 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108067 0 0 0 73696 315 0 0 25 0 1 0 708823852 83050496 19456 4294967295 134512640 134714508 3221221792 3221219904 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20276 19456 1111 63 0 20213 0 vsize: 81104 [startup+750.047 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108080 0 0 0 74696 315 0 0 25 0 1 0 708823852 83103744 19469 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20289 19469 1111 63 0 20226 0 vsize: 81156 [startup+760.046 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108092 0 0 0 75695 315 0 0 25 0 1 0 708823852 83152896 19481 4294967295 134512640 134714508 3221221792 3221220064 1074153760 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20301 19481 1111 63 0 20238 0 vsize: 81204 [startup+770.047 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108106 0 0 0 76696 315 0 0 25 0 1 0 708823852 83210240 19495 4294967295 134512640 134714508 3221221792 3221220016 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20315 19495 1111 63 0 20252 0 vsize: 81260 [startup+780.047 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108119 0 0 0 77695 316 0 0 25 0 1 0 708823852 83263488 19508 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20328 19508 1111 63 0 20265 0 vsize: 81312 [startup+790.047 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108133 0 0 0 78696 316 0 0 25 0 1 0 708823852 83320832 19522 4294967295 134512640 134714508 3221221792 3221219856 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20342 19522 1111 63 0 20279 0 vsize: 81368 [startup+800.047 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108145 0 0 0 79695 316 0 0 25 0 1 0 708823852 83369984 19534 4294967295 134512640 134714508 3221221792 3221219952 1074153792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20354 19534 1111 63 0 20291 0 vsize: 81416 [startup+810.047 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108155 0 0 0 80695 316 0 0 25 0 1 0 708823852 83410944 19544 4294967295 134512640 134714508 3221221792 3221219968 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20364 19544 1111 63 0 20301 0 vsize: 81456 [startup+820.048 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108169 0 0 0 81696 316 0 0 25 0 1 0 708823852 83468288 19558 4294967295 134512640 134714508 3221221792 3221220000 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20378 19558 1111 63 0 20315 0 vsize: 81512 [startup+830.048 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108181 0 0 0 82695 317 0 0 25 0 1 0 708823852 83517440 19570 4294967295 134512640 134714508 3221221792 3221219856 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20390 19570 1111 63 0 20327 0 vsize: 81560 [startup+840.049 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108194 0 0 0 83695 317 0 0 25 0 1 0 708823852 83570688 19583 4294967295 134512640 134714508 3221221792 3221219808 1074153792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20403 19583 1111 63 0 20340 0 vsize: 81612 [startup+850.049 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108206 0 0 0 84695 317 0 0 25 0 1 0 708823852 83619840 19595 4294967295 134512640 134714508 3221221792 3221219856 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20415 19595 1111 63 0 20352 0 vsize: 81660 [startup+860.049 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108218 0 0 0 85695 318 0 0 25 0 1 0 708823852 83668992 19607 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20427 19607 1111 63 0 20364 0 vsize: 81708 [startup+870.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108229 0 0 0 86695 318 0 0 25 0 1 0 708823852 83714048 19618 4294967295 134512640 134714508 3221221792 3221219968 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20438 19618 1111 63 0 20375 0 vsize: 81752 [startup+880.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108241 0 0 0 87695 318 0 0 25 0 1 0 708823852 83763200 19630 4294967295 134512640 134714508 3221221792 3221220016 1074153760 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20450 19630 1111 63 0 20387 0 vsize: 81800 [startup+890.051 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108253 0 0 0 88694 319 0 0 25 0 1 0 708823852 83812352 19642 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20462 19642 1111 63 0 20399 0 vsize: 81848 [startup+900.052 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108266 0 0 0 89695 319 0 0 25 0 1 0 708823852 83865600 19655 4294967295 134512640 134714508 3221221792 3221219856 1074153786 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20475 19655 1111 63 0 20412 0 vsize: 81900 [startup+910.052 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 108277 0 0 0 90695 319 0 0 25 0 1 0 708823852 83910656 19666 4294967295 134512640 134714508 3221221792 3221219760 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20486 19666 1111 63 0 20423 0 vsize: 81944 [startup+920.052 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 111347 0 0 0 91689 325 0 0 25 0 1 0 708823852 98996224 22689 4294967295 134512640 134714508 3221221792 3221219824 1074867340 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24169 22689 1111 63 0 24106 0 vsize: 96676 [startup+930.053 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 119176 0 0 0 92672 342 0 0 25 0 1 0 708823852 119689216 25187 4294967295 134512640 134714508 3221221792 3221217784 1074950198 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29221 25187 1111 63 0 29158 0 vsize: 116884 [startup+940.053 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 120405 0 0 0 93669 345 0 0 25 0 1 0 708823852 119689216 26414 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29221 26414 1111 63 0 29158 0 vsize: 116884 [startup+950.054 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 120591 0 0 0 94669 346 0 0 25 0 1 0 708823852 115163136 25438 4294967295 134512640 134714508 3221221792 3221217952 1075115747 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28116 25438 1111 63 0 28053 0 vsize: 112464 [startup+960.054 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 120714 0 0 0 95668 346 0 0 25 0 1 0 708823852 115687424 25559 4294967295 134512640 134714508 3221221792 3221217940 1075115060 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28244 25559 1111 63 0 28181 0 vsize: 112976 [startup+970.055 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 120861 0 0 0 96668 347 0 0 25 0 1 0 708823852 116244480 25704 4294967295 134512640 134714508 3221221792 3221218256 1075088563 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28380 25704 1111 63 0 28317 0 vsize: 113520 [startup+980.055 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 120994 0 0 0 97668 347 0 0 25 0 1 0 708823852 116822016 25835 4294967295 134512640 134714508 3221221792 3221217940 1075115065 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28521 25835 1111 63 0 28458 0 vsize: 114084 [startup+990.056 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121088 0 0 0 98668 347 0 0 25 0 1 0 708823852 117440512 25927 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28672 25927 1111 63 0 28609 0 vsize: 114688 [startup+1000.06 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121366 0 0 0 99667 348 0 0 25 0 1 0 708823852 118079488 26203 4294967295 134512640 134714508 3221221792 3221217756 1074873512 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28828 26203 1111 63 0 28765 0 vsize: 115312 [startup+1010.06 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121440 0 0 0 100668 348 0 0 25 0 1 0 708823852 118079488 26275 4294967295 134512640 134714508 3221221792 3221218080 1075894487 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28828 26275 1111 63 0 28765 0 vsize: 115312 [startup+1020.06 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121455 0 0 0 101668 348 0 0 25 0 1 0 708823852 118079488 26288 4294967295 134512640 134714508 3221221792 3221217920 1074815309 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28828 26288 1111 63 0 28765 0 vsize: 115312 [startup+1030.06 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121462 0 0 0 102668 348 0 0 25 0 1 0 708823852 118079488 26293 4294967295 134512640 134714508 3221221792 3221218632 1074950114 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28828 26293 1111 63 0 28765 0 vsize: 115312 [startup+1040.06 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121464 0 0 0 103668 348 0 0 25 0 1 0 708823852 118079488 26295 4294967295 134512640 134714508 3221221792 3221218080 1075894554 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28828 26295 1111 63 0 28765 0 vsize: 115312 [startup+1050.06 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121487 0 0 0 104668 348 0 0 25 0 1 0 708823852 118079488 26316 4294967295 134512640 134714508 3221221792 3221217672 1075964730 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28828 26316 1111 63 0 28765 0 vsize: 115312 [startup+1060.06 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121514 0 0 0 105669 348 0 0 25 0 1 0 708823852 118079488 26341 4294967295 134512640 134714508 3221221792 3221217588 1074786556 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28828 26341 1111 63 0 28765 0 vsize: 115312 [startup+1070.06 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121533 0 0 0 106669 348 0 0 25 0 1 0 708823852 118079488 26358 4294967295 134512640 134714508 3221221792 3221217840 1075112091 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28828 26358 1111 63 0 28765 0 vsize: 115312 [startup+1080.06 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121540 0 0 0 107669 348 0 0 25 0 1 0 708823852 118079488 26365 4294967295 134512640 134714508 3221221792 3221217840 1075112086 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28828 26365 1111 63 0 28765 0 vsize: 115312 [startup+1090.06 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121549 0 0 0 108669 348 0 0 25 0 1 0 708823852 118079488 26372 4294967295 134512640 134714508 3221221792 3221217920 1074815290 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28828 26372 1111 63 0 28765 0 vsize: 115312 [startup+1100.06 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121551 0 0 0 109669 349 0 0 25 0 1 0 708823852 118079488 26372 4294967295 134512640 134714508 3221221792 3221217936 1075895659 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28828 26372 1111 63 0 28765 0 vsize: 115312 [startup+1110.06 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121561 0 0 0 110669 349 0 0 25 0 1 0 708823852 118079488 26380 4294967295 134512640 134714508 3221221792 3221217756 1074873478 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28828 26380 1111 63 0 28765 0 vsize: 115312 [startup+1120.06 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121618 0 0 0 111669 349 0 0 25 0 1 0 708823852 118755328 26435 4294967295 134512640 134714508 3221221792 3221217920 1074815253 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28993 26435 1111 63 0 28930 0 vsize: 115972 [startup+1130.06 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121649 0 0 0 112669 349 0 0 25 0 1 0 708823852 118755328 26466 4294967295 134512640 134714508 3221221792 3221217984 1074961304 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28993 26466 1111 63 0 28930 0 vsize: 115972 [startup+1140.06 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121654 0 0 0 113669 349 0 0 25 0 1 0 708823852 118755328 26469 4294967295 134512640 134714508 3221221792 3221217672 1075964740 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28993 26469 1111 63 0 28930 0 vsize: 115972 [startup+1150.06 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121661 0 0 0 114670 349 0 0 25 0 1 0 708823852 118755328 26474 4294967295 134512640 134714508 3221221792 3221217940 1075115060 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28993 26474 1111 63 0 28930 0 vsize: 115972 [startup+1160.06 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121767 0 0 0 115669 349 0 0 25 0 1 0 708823852 119459840 26578 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29165 26578 1111 63 0 29102 0 vsize: 116660 [startup+1170.06 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121801 0 0 0 116669 349 0 0 25 0 1 0 708823852 119791616 26612 4294967295 134512640 134714508 3221221792 3221218752 1075971404 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29246 26612 1111 63 0 29183 0 vsize: 116984 [startup+1180.06 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121801 0 0 0 117670 349 0 0 25 0 1 0 708823852 119459840 26610 4294967295 134512640 134714508 3221221792 3221217940 1075115046 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29165 26610 1111 63 0 29102 0 vsize: 116660 [startup+1190.06 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121810 0 0 0 118669 350 0 0 25 0 1 0 708823852 119459840 26617 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29165 26617 1111 63 0 29102 0 vsize: 116660 [startup+1200.07 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 9825 Raw data (stat): 9825 (bsolo_lpr) R 9824 7876 7672 0 -1 0 121818 0 0 0 119669 350 0 0 25 0 1 0 708823852 119459840 26623 4294967295 134512640 134714508 3221221792 3221217920 1074815284 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29165 26623 1111 63 0 29102 0 vsize: 116660 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.12 s] Raw data (loadavg): 0.99 0.98 0.99 1/54 9825 Raw data (stat): 9825 (bsolo_lpr) Z 9824 7876 7672 0 -1 1036 121818 0 0 0 119670 355 0 0 25 0 1 0 708823852 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 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.12 CPU time (s): 1200.25 CPU user time (s): 1196.7 CPU system time (s): 3.55446 CPU usage (%): 100.012 Max. virtual memory (Kb): 116984 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####