Name | normalized-opb/submitted/sorensson/garden/normalized-g100x100.opb |
MD5SUM | 4c90dd5734f36c8061dfe5af9bc82fe7 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2980 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 10000 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 10000 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 10000 |
Number of bits of the biggest sum of numbers | 14 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.49 |
Number of variables | 10000 |
Total number of constraints | 10000 |
Number of constraints which are clauses | 10000 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 5 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-16 04:37:57 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=4941 boxname=wulflinc31 idbench=381 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 4c90dd5734f36c8061dfe5af9bc82fe7 /oldhome/oroussel/tmp/wulflinc31/normalized-g100x100.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-g100x100.opb IDLAUNCH: 4941 /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: 800892 kB Buffers: 48544 kB Cached: 162636 kB SwapCached: 1932 kB Active: 170080 kB Inactive: 44364 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 800640 kB SwapTotal: 2097892 kB SwapFree: 2095228 kB Dirty: 12 kB Writeback: 0 kB Mapped: 5368 kB Slab: 13772 kB Committed_AS: 63856 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-16 04:57:59 (client local time) WITH STATUS 0 IN 1200.18 SECONDS stats: 4941 7 1200.18 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 10000 variables and 10000 constraints. c After prepocess the problem consists of 10000 variables and 10000 constraints. c preprocess terminated 6.721 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.57 0.80 0.91 2/55 9621 Raw data (stat): 9621 (runsolver) R 9620 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 758268654 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+9.99963 s] Raw data (loadavg): 0.63 0.81 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 4328 0 0 0 984 12 0 0 25 0 1 0 758268654 21159936 4228 4294967295 134512640 134714508 3221221792 3221220064 1074153773 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5166 4228 1111 63 0 5103 0 vsize: 20664 [startup+20.0005 s] Raw data (loadavg): 0.69 0.82 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 4553 0 0 0 1983 13 0 0 25 0 1 0 758268654 21790720 4420 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5320 4420 1111 63 0 5257 0 vsize: 21280 [startup+30.0009 s] Raw data (loadavg): 0.74 0.82 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 4585 0 0 0 2981 14 0 0 25 0 1 0 758268654 21913600 4452 4294967295 134512640 134714508 3221221792 3221219688 1077380592 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5350 4452 1111 63 0 5287 0 vsize: 21400 [startup+40.0013 s] Raw data (loadavg): 0.78 0.83 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 6395 0 0 0 3976 20 0 0 25 0 1 0 758268654 29499392 5670 4294967295 134512640 134714508 3221221792 3221217580 1074787806 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7202 5670 1111 63 0 7139 0 vsize: 28808 [startup+50.0028 s] Raw data (loadavg): 0.81 0.83 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 6479 0 0 0 4976 20 0 0 25 0 1 0 758268654 29499392 5754 4294967295 134512640 134714508 3221221792 3221217716 1074875737 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7202 5754 1111 63 0 7139 0 vsize: 28808 [startup+60.0026 s] Raw data (loadavg): 0.84 0.84 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 6530 0 0 0 5975 21 0 0 25 0 1 0 758268654 29499392 5805 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7202 5805 1111 63 0 7139 0 vsize: 28808 [startup+70.0031 s] Raw data (loadavg): 0.86 0.84 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 6872 0 0 0 6975 22 0 0 25 0 1 0 758268654 28348416 5813 4294967295 134512640 134714508 3221221792 3221218256 1075088573 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6921 5813 1111 63 0 6858 0 vsize: 27684 [startup+80.0031 s] Raw data (loadavg): 0.88 0.85 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 6976 0 0 0 7974 22 0 0 25 0 1 0 758268654 28762112 5917 4294967295 134512640 134714508 3221221792 3221217984 1074960795 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7022 5917 1111 63 0 6959 0 vsize: 28088 [startup+90.0034 s] Raw data (loadavg): 0.90 0.85 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7138 0 0 0 8974 23 0 0 25 0 1 0 758268654 29433856 6079 4294967295 134512640 134714508 3221221792 3221217568 1074868672 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7186 6079 1111 63 0 7123 0 vsize: 28744 [startup+100.004 s] Raw data (loadavg): 0.92 0.86 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7196 0 0 0 9974 23 0 0 25 0 1 0 758268654 29626368 6137 4294967295 134512640 134714508 3221221792 3221217680 1075965246 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7233 6137 1111 63 0 7170 0 vsize: 28932 [startup+110.004 s] Raw data (loadavg): 0.93 0.86 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7197 0 0 0 10974 24 0 0 25 0 1 0 758268654 29626368 6138 4294967295 134512640 134714508 3221221792 3221217568 1074868815 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7233 6138 1111 63 0 7170 0 vsize: 28932 [startup+120.005 s] Raw data (loadavg): 0.94 0.86 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7251 0 0 0 11974 24 0 0 25 0 1 0 758268654 29827072 6192 4294967295 134512640 134714508 3221221792 3221217568 1074868686 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7282 6192 1111 63 0 7219 0 vsize: 29128 [startup+130.005 s] Raw data (loadavg): 0.95 0.87 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7257 0 0 0 12974 24 0 0 25 0 1 0 758268654 29827072 6198 4294967295 134512640 134714508 3221221792 3221217940 1075115049 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7282 6198 1111 63 0 7219 0 vsize: 29128 [startup+140.005 s] Raw data (loadavg): 0.95 0.87 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7261 0 0 0 13974 24 0 0 25 0 1 0 758268654 29827072 6202 4294967295 134512640 134714508 3221221792 3221217596 1074788921 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7282 6202 1111 63 0 7219 0 vsize: 29128 [startup+150.006 s] Raw data (loadavg): 0.96 0.88 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7263 0 0 0 14974 24 0 0 25 0 1 0 758268654 29827072 6204 4294967295 134512640 134714508 3221221792 3221217940 1075115076 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7282 6204 1111 63 0 7219 0 vsize: 29128 [startup+160.006 s] Raw data (loadavg): 0.97 0.88 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7268 0 0 0 15973 25 0 0 25 0 1 0 758268654 29827072 6209 4294967295 134512640 134714508 3221221792 3221217744 1074790262 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7282 6209 1111 63 0 7219 0 vsize: 29128 [startup+170.006 s] Raw data (loadavg): 0.97 0.88 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7273 0 0 0 16973 25 0 0 25 0 1 0 758268654 29827072 6214 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7282 6214 1111 63 0 7219 0 vsize: 29128 [startup+180.006 s] Raw data (loadavg): 0.98 0.89 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7277 0 0 0 17973 26 0 0 25 0 1 0 758268654 29827072 6218 4294967295 134512640 134714508 3221221792 3221217596 1074788943 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7282 6218 1111 63 0 7219 0 vsize: 29128 [startup+190.006 s] Raw data (loadavg): 0.98 0.89 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7331 0 0 0 18973 26 0 0 25 0 1 0 758268654 30035968 6272 4294967295 134512640 134714508 3221221792 3221217940 1075115060 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7333 6272 1111 63 0 7270 0 vsize: 29332 [startup+200.006 s] Raw data (loadavg): 0.98 0.89 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7337 0 0 0 19972 26 0 0 25 0 1 0 758268654 30035968 6278 4294967295 134512640 134714508 3221221792 3221217776 1074881359 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7333 6278 1111 63 0 7270 0 vsize: 29332 [startup+210.007 s] Raw data (loadavg): 0.98 0.89 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7401 0 0 0 20972 27 0 0 25 0 1 0 758268654 30253056 6342 4294967295 134512640 134714508 3221221792 3221218080 1075894562 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7386 6342 1111 63 0 7323 0 vsize: 29544 [startup+220.007 s] Raw data (loadavg): 0.99 0.90 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7409 0 0 0 21971 27 0 0 25 0 1 0 758268654 30253056 6350 4294967295 134512640 134714508 3221221792 3221217648 1075965246 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7386 6350 1111 63 0 7323 0 vsize: 29544 [startup+230.007 s] Raw data (loadavg): 0.99 0.90 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7409 0 0 0 22971 28 0 0 25 0 1 0 758268654 30253056 6350 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7386 6350 1111 63 0 7323 0 vsize: 29544 [startup+240.008 s] Raw data (loadavg): 0.99 0.90 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7411 0 0 0 23971 28 0 0 25 0 1 0 758268654 30253056 6352 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7386 6352 1111 63 0 7323 0 vsize: 29544 [startup+250.009 s] Raw data (loadavg): 0.99 0.91 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7412 0 0 0 24971 29 0 0 25 0 1 0 758268654 30253056 6353 4294967295 134512640 134714508 3221221792 3221217724 1074788953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7386 6353 1111 63 0 7323 0 vsize: 29544 [startup+260.009 s] Raw data (loadavg): 0.99 0.91 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7419 0 0 0 25971 29 0 0 25 0 1 0 758268654 30253056 6360 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7386 6360 1111 63 0 7323 0 vsize: 29544 [startup+270.009 s] Raw data (loadavg): 0.99 0.91 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7419 0 0 0 26971 29 0 0 25 0 1 0 758268654 30253056 6360 4294967295 134512640 134714508 3221221792 3221218080 1075894487 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7386 6360 1111 63 0 7323 0 vsize: 29544 [startup+280.009 s] Raw data (loadavg): 0.99 0.91 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7438 0 0 0 27970 30 0 0 25 0 1 0 758268654 30253056 6379 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7386 6379 1111 63 0 7323 0 vsize: 29544 [startup+290.01 s] Raw data (loadavg): 0.99 0.92 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7443 0 0 0 28970 30 0 0 25 0 1 0 758268654 30253056 6384 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7386 6384 1111 63 0 7323 0 vsize: 29544 [startup+300.01 s] Raw data (loadavg): 0.99 0.92 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7485 0 0 0 29970 31 0 0 25 0 1 0 758268654 30253056 6426 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7386 6426 1111 63 0 7323 0 vsize: 29544 [startup+310.01 s] Raw data (loadavg): 0.99 0.92 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7495 0 0 0 30970 31 0 0 25 0 1 0 758268654 30253056 6436 4294967295 134512640 134714508 3221221792 3221217940 1075115003 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7386 6436 1111 63 0 7323 0 vsize: 29544 [startup+320.01 s] Raw data (loadavg): 0.99 0.92 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7495 0 0 0 31969 31 0 0 25 0 1 0 758268654 30253056 6436 4294967295 134512640 134714508 3221221792 3221217588 1074786571 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7386 6436 1111 63 0 7323 0 vsize: 29544 [startup+330.01 s] Raw data (loadavg): 0.99 0.92 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7496 0 0 0 32969 32 0 0 25 0 1 0 758268654 30253056 6437 4294967295 134512640 134714508 3221221792 3221218088 1075112606 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7386 6437 1111 63 0 7323 0 vsize: 29544 [startup+340.01 s] Raw data (loadavg): 0.99 0.93 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7525 0 0 0 33969 32 0 0 25 0 1 0 758268654 30253056 6466 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7386 6466 1111 63 0 7323 0 vsize: 29544 [startup+350.011 s] Raw data (loadavg): 0.99 0.93 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7585 0 0 0 34969 32 0 0 25 0 1 0 758268654 30482432 6526 4294967295 134512640 134714508 3221221792 3221218152 1077410205 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7442 6526 1111 63 0 7379 0 vsize: 29768 [startup+360.01 s] Raw data (loadavg): 0.99 0.93 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7600 0 0 0 35969 32 0 0 25 0 1 0 758268654 30482432 6541 4294967295 134512640 134714508 3221221792 3221218048 1075114265 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7442 6541 1111 63 0 7379 0 vsize: 29768 [startup+370.01 s] Raw data (loadavg): 0.99 0.93 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7609 0 0 0 36968 33 0 0 25 0 1 0 758268654 30482432 6550 4294967295 134512640 134714508 3221221792 3221218304 1074885975 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7442 6550 1111 63 0 7379 0 vsize: 29768 [startup+380.01 s] Raw data (loadavg): 0.99 0.93 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7623 0 0 0 37968 33 0 0 25 0 1 0 758268654 30482432 6564 4294967295 134512640 134714508 3221221792 3221217648 1075965234 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7442 6564 1111 63 0 7379 0 vsize: 29768 [startup+390.011 s] Raw data (loadavg): 0.99 0.94 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7623 0 0 0 38968 34 0 0 25 0 1 0 758268654 30482432 6564 4294967295 134512640 134714508 3221221792 3221217872 1075095094 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7442 6564 1111 63 0 7379 0 vsize: 29768 [startup+400.011 s] Raw data (loadavg): 0.99 0.94 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7624 0 0 0 39968 34 0 0 25 0 1 0 758268654 30482432 6565 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7442 6565 1111 63 0 7379 0 vsize: 29768 [startup+410.011 s] Raw data (loadavg): 0.99 0.94 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7679 0 0 0 40967 35 0 0 25 0 1 0 758268654 30724096 6620 4294967295 134512640 134714508 3221221792 3221217952 1075088563 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7501 6620 1111 63 0 7438 0 vsize: 30004 [startup+420.012 s] Raw data (loadavg): 0.99 0.94 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7680 0 0 0 41967 35 0 0 25 0 1 0 758268654 30724096 6621 4294967295 134512640 134714508 3221221792 3221217544 1074789228 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7501 6621 1111 63 0 7438 0 vsize: 30004 [startup+430.012 s] Raw data (loadavg): 0.99 0.94 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7680 0 0 0 42967 36 0 0 25 0 1 0 758268654 30724096 6621 4294967295 134512640 134714508 3221221792 3221217984 1074960783 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7501 6621 1111 63 0 7438 0 vsize: 30004 [startup+440.012 s] Raw data (loadavg): 0.99 0.94 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7682 0 0 0 43967 36 0 0 25 0 1 0 758268654 30724096 6623 4294967295 134512640 134714508 3221221792 3221218044 1076111476 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7501 6623 1111 63 0 7438 0 vsize: 30004 [startup+450.012 s] Raw data (loadavg): 0.99 0.94 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7682 0 0 0 44966 36 0 0 25 0 1 0 758268654 30724096 6623 4294967295 134512640 134714508 3221221792 3221217564 1074788953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7501 6623 1111 63 0 7438 0 vsize: 30004 [startup+460.012 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7682 0 0 0 45966 36 0 0 25 0 1 0 758268654 30724096 6623 4294967295 134512640 134714508 3221221792 3221217576 1074787119 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7501 6623 1111 63 0 7438 0 vsize: 30004 [startup+470.013 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7682 0 0 0 46966 37 0 0 25 0 1 0 758268654 30724096 6623 4294967295 134512640 134714508 3221221792 3221217724 1074788953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7501 6623 1111 63 0 7438 0 vsize: 30004 [startup+480.013 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7682 0 0 0 47966 37 0 0 25 0 1 0 758268654 30724096 6623 4294967295 134512640 134714508 3221221792 3221217776 1074881563 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7501 6623 1111 63 0 7438 0 vsize: 30004 [startup+490.014 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7682 0 0 0 48966 37 0 0 25 0 1 0 758268654 30724096 6623 4294967295 134512640 134714508 3221221792 3221217596 1074788930 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7501 6623 1111 63 0 7438 0 vsize: 30004 [startup+500.014 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7683 0 0 0 49966 38 0 0 25 0 1 0 758268654 30724096 6624 4294967295 134512640 134714508 3221221792 3221217588 1074786584 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7501 6624 1111 63 0 7438 0 vsize: 30004 [startup+510.014 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7683 0 0 0 50965 38 0 0 25 0 1 0 758268654 30724096 6624 4294967295 134512640 134714508 3221221792 3221217576 1074787081 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7501 6624 1111 63 0 7438 0 vsize: 30004 [startup+520.014 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7739 0 0 0 51965 39 0 0 25 0 1 0 758268654 30973952 6680 4294967295 134512640 134714508 3221221792 3221217872 1075093350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7562 6680 1111 63 0 7499 0 vsize: 30248 [startup+530.014 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7742 0 0 0 52965 39 0 0 25 0 1 0 758268654 30973952 6683 4294967295 134512640 134714508 3221221792 3221218784 1074867340 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7562 6683 1111 63 0 7499 0 vsize: 30248 [startup+540.015 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7746 0 0 0 53965 39 0 0 25 0 1 0 758268654 30973952 6687 4294967295 134512640 134714508 3221221792 3221217776 1074881447 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7562 6687 1111 63 0 7499 0 vsize: 30248 [startup+550.015 s] Raw data (loadavg): 1.07 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7746 0 0 0 54964 40 0 0 25 0 1 0 758268654 30973952 6687 4294967295 134512640 134714508 3221221792 3221217644 1074788162 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7562 6687 1111 63 0 7499 0 vsize: 30248 [startup+560.015 s] Raw data (loadavg): 1.06 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 7997 0 0 0 55963 41 0 0 25 0 1 0 758268654 32038912 6938 4294967295 134512640 134714508 3221221792 3221217984 1074960912 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7822 6938 1111 63 0 7759 0 vsize: 31288 [startup+570.016 s] Raw data (loadavg): 1.05 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8002 0 0 0 56963 42 0 0 25 0 1 0 758268654 32038912 6943 4294967295 134512640 134714508 3221221792 3221218136 1075110975 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7822 6943 1111 63 0 7759 0 vsize: 31288 [startup+580.016 s] Raw data (loadavg): 1.04 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8002 0 0 0 57963 42 0 0 25 0 1 0 758268654 32038912 6943 4294967295 134512640 134714508 3221221792 3221217576 1074787030 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7822 6943 1111 63 0 7759 0 vsize: 31288 [startup+590.017 s] Raw data (loadavg): 1.03 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8002 0 0 0 58962 43 0 0 25 0 1 0 758268654 32038912 6943 4294967295 134512640 134714508 3221221792 3221217576 1074787095 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7822 6943 1111 63 0 7759 0 vsize: 31288 [startup+600.017 s] Raw data (loadavg): 1.03 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8002 0 0 0 59962 43 0 0 25 0 1 0 758268654 32038912 6943 4294967295 134512640 134714508 3221221792 3221217632 1074890841 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7822 6943 1111 63 0 7759 0 vsize: 31288 [startup+610.018 s] Raw data (loadavg): 1.02 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8002 0 0 0 60962 43 0 0 25 0 1 0 758268654 32038912 6943 4294967295 134512640 134714508 3221221792 3221217984 1074960868 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7822 6943 1111 63 0 7759 0 vsize: 31288 [startup+620.018 s] Raw data (loadavg): 1.02 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8300 0 0 0 61962 44 0 0 25 0 1 0 758268654 33316864 7241 4294967295 134512640 134714508 3221221792 3221217672 1074789306 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8134 7241 1111 63 0 8071 0 vsize: 32536 [startup+630.018 s] Raw data (loadavg): 1.02 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8301 0 0 0 62962 44 0 0 25 0 1 0 758268654 33316864 7242 4294967295 134512640 134714508 3221221792 3221217576 1074787033 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8134 7242 1111 63 0 8071 0 vsize: 32536 [startup+640.019 s] Raw data (loadavg): 1.01 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8306 0 0 0 63961 44 0 0 25 0 1 0 758268654 33316864 7247 4294967295 134512640 134714508 3221221792 3221217544 1074789228 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8134 7247 1111 63 0 8071 0 vsize: 32536 [startup+650.02 s] Raw data (loadavg): 1.01 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8309 0 0 0 64961 45 0 0 25 0 1 0 758268654 33316864 7250 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8134 7250 1111 63 0 8071 0 vsize: 32536 [startup+660.02 s] Raw data (loadavg): 1.01 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8309 0 0 0 65961 45 0 0 25 0 1 0 758268654 33316864 7250 4294967295 134512640 134714508 3221221792 3221217608 1074787081 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8134 7250 1111 63 0 8071 0 vsize: 32536 [startup+670.02 s] Raw data (loadavg): 1.01 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8674 0 0 0 66960 46 0 0 25 0 1 0 758268654 34852864 7615 4294967295 134512640 134714508 3221221792 3221217776 1074881476 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8509 7615 1111 63 0 8446 0 vsize: 34036 [startup+680.02 s] Raw data (loadavg): 1.00 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8687 0 0 0 67960 47 0 0 25 0 1 0 758268654 34852864 7628 4294967295 134512640 134714508 3221221792 3221217576 1074787045 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8509 7628 1111 63 0 8446 0 vsize: 34036 [startup+690.021 s] Raw data (loadavg): 1.00 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8687 0 0 0 68960 47 0 0 25 0 1 0 758268654 34852864 7628 4294967295 134512640 134714508 3221221792 3221218152 1077410205 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8509 7628 1111 63 0 8446 0 vsize: 34036 [startup+700.021 s] Raw data (loadavg): 1.00 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8687 0 0 0 69960 47 0 0 25 0 1 0 758268654 34852864 7628 4294967295 134512640 134714508 3221221792 3221217940 1075114975 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8509 7628 1111 63 0 8446 0 vsize: 34036 [startup+710.021 s] Raw data (loadavg): 1.00 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8687 0 0 0 70959 48 0 0 25 0 1 0 758268654 34852864 7628 4294967295 134512640 134714508 3221221792 3221217544 1074789225 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8509 7628 1111 63 0 8446 0 vsize: 34036 [startup+720.022 s] Raw data (loadavg): 1.00 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8687 0 0 0 71959 48 0 0 25 0 1 0 758268654 34852864 7628 4294967295 134512640 134714508 3221221792 3221217724 1074788939 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8509 7628 1111 63 0 8446 0 vsize: 34036 [startup+730.021 s] Raw data (loadavg): 1.00 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 8931 0 0 0 72958 49 0 0 25 0 1 0 758268654 36691968 7872 4294967295 134512640 134714508 3221221792 3221218304 1074887937 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8958 7872 1111 63 0 8895 0 vsize: 35832 [startup+740.021 s] Raw data (loadavg): 1.00 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 9128 0 0 0 73957 50 0 0 25 0 1 0 758268654 36691968 8069 4294967295 134512640 134714508 3221221792 3221217544 1074789196 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8958 8069 1111 63 0 8895 0 vsize: 35832 [startup+750.022 s] Raw data (loadavg): 1.00 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 9634 0 0 0 74955 52 0 0 25 0 1 0 758268654 38899712 8575 4294967295 134512640 134714508 3221221792 3221217576 1074787033 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9497 8575 1111 63 0 9434 0 vsize: 37988 [startup+760.022 s] Raw data (loadavg): 1.00 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 9663 0 0 0 75955 53 0 0 25 0 1 0 758268654 38899712 8604 4294967295 134512640 134714508 3221221792 3221217984 1074960868 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9497 8604 1111 63 0 9434 0 vsize: 37988 [startup+770.023 s] Raw data (loadavg): 1.00 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 9663 0 0 0 76955 53 0 0 25 0 1 0 758268654 38899712 8604 4294967295 134512640 134714508 3221221792 3221218088 1075112600 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9497 8604 1111 63 0 9434 0 vsize: 37988 [startup+780.022 s] Raw data (loadavg): 1.00 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 9663 0 0 0 77954 54 0 0 25 0 1 0 758268654 38899712 8604 4294967295 134512640 134714508 3221221792 3221218244 1074260601 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9497 8604 1111 63 0 9434 0 vsize: 37988 [startup+790.023 s] Raw data (loadavg): 1.00 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 9666 0 0 0 78954 54 0 0 25 0 1 0 758268654 38899712 8607 4294967295 134512640 134714508 3221221792 3221217568 1074868691 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9497 8607 1111 63 0 9434 0 vsize: 37988 [startup+800.023 s] Raw data (loadavg): 1.00 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 9666 0 0 0 79954 54 0 0 25 0 1 0 758268654 38899712 8607 4294967295 134512640 134714508 3221221792 3221217940 1075115060 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9497 8607 1111 63 0 9434 0 vsize: 37988 [startup+810.023 s] Raw data (loadavg): 1.00 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 9666 0 0 0 80954 54 0 0 25 0 1 0 758268654 38899712 8607 4294967295 134512640 134714508 3221221792 3221218776 1075007302 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9497 8607 1111 63 0 9434 0 vsize: 37988 [startup+820.024 s] Raw data (loadavg): 1.00 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 10183 0 0 0 81953 55 0 0 25 0 1 0 758268654 41541632 9124 4294967295 134512640 134714508 3221221792 3221217616 1074786849 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10142 9124 1111 63 0 10079 0 vsize: 40568 [startup+830.024 s] Raw data (loadavg): 1.00 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 10231 0 0 0 82953 55 0 0 25 0 1 0 758268654 41541632 9172 4294967295 134512640 134714508 3221221792 3221217608 1074787042 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10142 9172 1111 63 0 10079 0 vsize: 40568 [startup+840.025 s] Raw data (loadavg): 1.00 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 10266 0 0 0 83953 56 0 0 25 0 1 0 758268654 41541632 9207 4294967295 134512640 134714508 3221221792 3221217544 1074789222 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10142 9207 1111 63 0 10079 0 vsize: 40568 [startup+850.025 s] Raw data (loadavg): 1.00 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 10297 0 0 0 84953 56 0 0 25 0 1 0 758268654 41541632 9238 4294967295 134512640 134714508 3221221792 3221217924 1075117753 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10142 9238 1111 63 0 10079 0 vsize: 40568 [startup+860.025 s] Raw data (loadavg): 1.00 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 10297 0 0 0 85953 56 0 0 25 0 1 0 758268654 41541632 9238 4294967295 134512640 134714508 3221221792 3221217608 1074787033 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10142 9238 1111 63 0 10079 0 vsize: 40568 [startup+870.025 s] Raw data (loadavg): 1.00 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 10301 0 0 0 86953 56 0 0 25 0 1 0 758268654 41541632 9242 4294967295 134512640 134714508 3221221792 3221217952 1075088563 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10142 9242 1111 63 0 10079 0 vsize: 40568 [startup+880.025 s] Raw data (loadavg): 1.00 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 10301 0 0 0 87953 56 0 0 25 0 1 0 758268654 41541632 9242 4294967295 134512640 134714508 3221221792 3221217596 1074788921 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10142 9242 1111 63 0 10079 0 vsize: 40568 [startup+890.026 s] Raw data (loadavg): 1.00 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 10301 0 0 0 88954 56 0 0 25 0 1 0 758268654 41541632 9242 4294967295 134512640 134714508 3221221792 3221218044 1076111483 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10142 9242 1111 63 0 10079 0 vsize: 40568 [startup+900.025 s] Raw data (loadavg): 1.00 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 10307 0 0 0 89954 56 0 0 25 0 1 0 758268654 41541632 9248 4294967295 134512640 134714508 3221221792 3221217872 1075095098 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10142 9248 1111 63 0 10079 0 vsize: 40568 [startup+910.025 s] Raw data (loadavg): 1.00 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 10307 0 0 0 90954 56 0 0 25 0 1 0 758268654 41541632 9248 4294967295 134512640 134714508 3221221792 3221218048 1075114268 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10142 9248 1111 63 0 10079 0 vsize: 40568 [startup+920.025 s] Raw data (loadavg): 1.00 0.97 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 10307 0 0 0 91954 56 0 0 25 0 1 0 758268654 41541632 9248 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10142 9248 1111 63 0 10079 0 vsize: 40568 [startup+930.025 s] Raw data (loadavg): 1.08 0.99 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 10314 0 0 0 92954 56 0 0 25 0 1 0 758268654 41541632 9255 4294967295 134512640 134714508 3221221792 3221217544 1074789193 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10142 9255 1111 63 0 10079 0 vsize: 40568 [startup+940.026 s] Raw data (loadavg): 1.07 0.99 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 11037 0 0 0 93953 57 0 0 25 0 1 0 758268654 44720128 9978 4294967295 134512640 134714508 3221221792 3221217576 1074787036 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10918 9978 1111 63 0 10855 0 vsize: 43672 [startup+950.026 s] Raw data (loadavg): 1.06 0.99 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 11774 0 0 0 94951 59 0 0 25 0 1 0 758268654 48537600 10715 4294967295 134512640 134714508 3221221792 3221217812 1075964282 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11850 10715 1111 63 0 11787 0 vsize: 47400 [startup+960.026 s] Raw data (loadavg): 1.05 0.99 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 11811 0 0 0 95951 59 0 0 25 0 1 0 758268654 48537600 10752 4294967295 134512640 134714508 3221221792 3221217984 1074960771 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11850 10752 1111 63 0 11787 0 vsize: 47400 [startup+970.026 s] Raw data (loadavg): 1.04 0.99 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 11811 0 0 0 96952 59 0 0 25 0 1 0 758268654 48537600 10752 4294967295 134512640 134714508 3221221792 3221217924 1075117538 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11850 10752 1111 63 0 11787 0 vsize: 47400 [startup+980.026 s] Raw data (loadavg): 1.03 0.99 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 11811 0 0 0 97952 59 0 0 25 0 1 0 758268654 48537600 10752 4294967295 134512640 134714508 3221221792 3221217924 1075117507 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11850 10752 1111 63 0 11787 0 vsize: 47400 [startup+990.027 s] Raw data (loadavg): 1.03 0.99 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 11811 0 0 0 98952 59 0 0 25 0 1 0 758268654 48537600 10752 4294967295 134512640 134714508 3221221792 3221217632 1074890046 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11850 10752 1111 63 0 11787 0 vsize: 47400 [startup+1000.03 s] Raw data (loadavg): 1.02 0.99 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 11820 0 0 0 99952 59 0 0 25 0 1 0 758268654 48537600 10761 4294967295 134512640 134714508 3221221792 3221217940 1075115003 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11850 10761 1111 63 0 11787 0 vsize: 47400 [startup+1010.03 s] Raw data (loadavg): 1.02 0.99 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 11820 0 0 0 100952 59 0 0 25 0 1 0 758268654 48537600 10761 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11850 10761 1111 63 0 11787 0 vsize: 47400 [startup+1020.03 s] Raw data (loadavg): 1.02 0.99 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 11832 0 0 0 101952 59 0 0 25 0 1 0 758268654 48537600 10773 4294967295 134512640 134714508 3221221792 3221217576 1074787018 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11850 10773 1111 63 0 11787 0 vsize: 47400 [startup+1030.03 s] Raw data (loadavg): 1.01 0.99 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 11832 0 0 0 102953 59 0 0 25 0 1 0 758268654 48537600 10773 4294967295 134512640 134714508 3221221792 3221217576 1074787095 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11850 10773 1111 63 0 11787 0 vsize: 47400 [startup+1040.03 s] Raw data (loadavg): 1.01 0.99 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 11835 0 0 0 103953 59 0 0 25 0 1 0 758268654 48537600 10776 4294967295 134512640 134714508 3221221792 3221218304 1074885889 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11850 10776 1111 63 0 11787 0 vsize: 47400 [startup+1050.03 s] Raw data (loadavg): 1.01 0.99 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 11835 0 0 0 104953 59 0 0 25 0 1 0 758268654 48537600 10776 4294967295 134512640 134714508 3221221792 3221217940 1075115046 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11850 10776 1111 63 0 11787 0 vsize: 47400 [startup+1060.03 s] Raw data (loadavg): 1.01 0.99 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 11887 0 0 0 105953 59 0 0 25 0 1 0 758268654 48537600 10828 4294967295 134512640 134714508 3221221792 3221217576 1074787081 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11850 10828 1111 63 0 11787 0 vsize: 47400 [startup+1070.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 11903 0 0 0 106953 60 0 0 25 0 1 0 758268654 48537600 10844 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11850 10844 1111 63 0 11787 0 vsize: 47400 [startup+1080.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 11903 0 0 0 107953 60 0 0 25 0 1 0 758268654 48537600 10844 4294967295 134512640 134714508 3221221792 3221217984 1074960868 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11850 10844 1111 63 0 11787 0 vsize: 47400 [startup+1090.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 11903 0 0 0 108953 60 0 0 25 0 1 0 758268654 48537600 10844 4294967295 134512640 134714508 3221221792 3221217724 1074788964 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11850 10844 1111 63 0 11787 0 vsize: 47400 [startup+1100.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 12725 0 0 0 109951 62 0 0 25 0 1 0 758268654 53121024 11666 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12969 11666 1111 63 0 12906 0 vsize: 51876 [startup+1110.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 12805 0 0 0 110951 63 0 0 25 0 1 0 758268654 53121024 11746 4294967295 134512640 134714508 3221221792 3221218048 1075114265 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12969 11746 1111 63 0 12906 0 vsize: 51876 [startup+1120.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 12832 0 0 0 111951 63 0 0 25 0 1 0 758268654 53121024 11773 4294967295 134512640 134714508 3221221792 3221217608 1074787033 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12969 11773 1111 63 0 12906 0 vsize: 51876 [startup+1130.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 12906 0 0 0 112951 63 0 0 25 0 1 0 758268654 53121024 11847 4294967295 134512640 134714508 3221221792 3221217924 1075117370 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12969 11847 1111 63 0 12906 0 vsize: 51876 [startup+1140.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 12920 0 0 0 113951 63 0 0 25 0 1 0 758268654 53121024 11861 4294967295 134512640 134714508 3221221792 3221218088 1075112606 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12969 11861 1111 63 0 12906 0 vsize: 51876 [startup+1150.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 12920 0 0 0 114951 63 0 0 25 0 1 0 758268654 53121024 11861 4294967295 134512640 134714508 3221221792 3221217648 1075965307 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12969 11861 1111 63 0 12906 0 vsize: 51876 [startup+1160.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 12920 0 0 0 115951 63 0 0 25 0 1 0 758268654 53121024 11861 4294967295 134512640 134714508 3221221792 3221218712 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12969 11861 1111 63 0 12906 0 vsize: 51876 [startup+1170.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 12920 0 0 0 116951 63 0 0 25 0 1 0 758268654 53121024 11861 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12969 11861 1111 63 0 12906 0 vsize: 51876 [startup+1180.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 12920 0 0 0 117951 63 0 0 25 0 1 0 758268654 53121024 11861 4294967295 134512640 134714508 3221221792 3221218176 1075602720 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12969 11861 1111 63 0 12906 0 vsize: 51876 [startup+1190.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 12920 0 0 0 118952 63 0 0 25 0 1 0 758268654 53121024 11861 4294967295 134512640 134714508 3221221792 3221217632 1074890858 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12969 11861 1111 63 0 12906 0 vsize: 51876 [startup+1200.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9621 Raw data (stat): 9621 (bsolo_lpr) R 9620 7876 7672 0 -1 0 12920 0 0 0 119952 63 0 0 25 0 1 0 758268654 53121024 11861 4294967295 134512640 134714508 3221221792 3221217872 1075095157 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12969 11861 1111 63 0 12906 0 vsize: 51876 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.06 s] Raw data (loadavg): 1.00 0.99 0.92 1/55 9621 Raw data (stat): 9621 (bsolo_lpr) Z 9620 7876 7672 0 -1 1036 12920 0 0 0 119952 66 0 0 25 0 1 0 758268654 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.06 CPU time (s): 1200.18 CPU user time (s): 1199.52 CPU system time (s): 0.660899 CPU usage (%): 100.011 Max. virtual memory (Kb): 51876 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####