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:58:09 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=4942 boxname=wulflinc31 idbench=381 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 4c90dd5734f36c8061dfe5af9bc82fe7 /oldhome/oroussel/tmp/wulflinc31/normalized-g100x100.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-g100x100.opb IDLAUNCH: 4942 /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: 801020 kB Buffers: 48556 kB Cached: 162692 kB SwapCached: 1932 kB Active: 170676 kB Inactive: 43780 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 800768 kB SwapTotal: 2097892 kB SwapFree: 2095228 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5368 kB Slab: 13520 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-16 05:18:13 (client local time) WITH STATUS 0 IN 1200.91 SECONDS stats: 4942 7 1200.91 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.718 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.86 0.95 0.91 2/55 9713 Raw data (stat): 9713 (runsolver) R 9712 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 758389918 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 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.0002 s] Raw data (loadavg): 0.88 0.96 0.91 2/55 9713 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 4328 0 0 0 981 14 0 0 25 0 1 0 758389918 21159936 4228 4294967295 134512640 134714508 3221221776 3221219960 1074138144 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 s] Raw data (loadavg): 0.90 0.96 0.91 2/55 9713 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 4553 0 0 0 1980 15 0 0 25 0 1 0 758389918 21790720 4420 4294967295 134512640 134714508 3221221776 3221219960 1074138153 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.91 0.96 0.91 3/55 9713 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 4585 0 0 0 2978 18 0 0 25 0 1 0 758389918 21913600 4452 4294967295 134512640 134714508 3221221776 3221220048 1074153770 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.93 0.96 0.91 2/55 9713 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 6396 0 0 0 3974 21 0 0 25 0 1 0 758389918 29499392 5671 4294967295 134512640 134714508 3221221776 3221218272 1074884866 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7202 5671 1111 63 0 7139 0 vsize: 28808 [startup+50.0019 s] Raw data (loadavg): 0.94 0.96 0.91 2/55 9713 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 6479 0 0 0 4974 22 0 0 25 0 1 0 758389918 29499392 5754 4294967295 134512640 134714508 3221221776 3221217824 1075561100 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7202 5754 1111 63 0 7139 0 vsize: 28808 [startup+60.0019 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 9713 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 6530 0 0 0 5974 22 0 0 25 0 1 0 758389918 29499392 5805 4294967295 134512640 134714508 3221221776 3221217916 1075116877 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7202 5805 1111 63 0 7139 0 vsize: 28808 [startup+70.0017 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 9713 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 6872 0 0 0 6973 23 0 0 25 0 1 0 758389918 28348416 5813 4294967295 134512640 134714508 3221221776 3221218028 1076111500 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6921 5813 1111 63 0 6858 0 vsize: 27684 [startup+80.0026 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 9713 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 6976 0 0 0 7973 23 0 0 25 0 1 0 758389918 28762112 5917 4294967295 134512640 134714508 3221221776 3221218064 1075894487 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7022 5917 1111 63 0 6959 0 vsize: 28088 [startup+90.0026 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 9713 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7138 0 0 0 8973 24 0 0 25 0 1 0 758389918 29433856 6079 4294967295 134512640 134714508 3221221776 3221217968 1074960795 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.003 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 9713 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7196 0 0 0 9973 24 0 0 25 0 1 0 758389918 29626368 6137 4294967295 134512640 134714508 3221221776 3221217552 1074868745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7233 6137 1111 63 0 7170 0 vsize: 28932 [startup+110.003 s] Raw data (loadavg): 0.97 0.97 0.91 2/55 9713 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7197 0 0 0 10973 24 0 0 25 0 1 0 758389918 29626368 6138 4294967295 134512640 134714508 3221221776 3221217968 1074960806 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7233 6138 1111 63 0 7170 0 vsize: 28932 [startup+120.004 s] Raw data (loadavg): 1.06 0.98 0.92 3/57 9735 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7240 0 0 0 11973 24 0 0 25 0 1 0 758389918 29827072 6181 4294967295 134512640 134714508 3221221776 3221217856 1075094881 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7282 6181 1111 63 0 7219 0 vsize: 29128 [startup+130.004 s] Raw data (loadavg): 1.20 1.02 0.93 2/59 9756 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7257 0 0 0 12973 24 0 0 25 0 1 0 758389918 29827072 6198 4294967295 134512640 134714508 3221221776 3221218072 1075112544 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7282 6198 1111 63 0 7219 0 vsize: 29128 [startup+140.211 s] Raw data (loadavg): 1.33 1.05 0.94 2/57 9761 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7261 0 0 0 13994 24 0 0 25 0 1 0 758389918 29827072 6202 4294967295 134512640 134714508 3221221776 3221217604 1074786556 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7282 6202 1111 63 0 7219 0 vsize: 29128 [startup+150.699 s] Raw data (loadavg): 1.35 1.06 0.95 2/55 9766 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7263 0 0 0 15043 24 0 0 25 0 1 0 758389918 29827072 6204 4294967295 134512640 134714508 3221221776 3221217856 1075095094 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7282 6204 1111 63 0 7219 0 vsize: 29128 [startup+160.699 s] Raw data (loadavg): 1.29 1.06 0.95 2/55 9766 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7268 0 0 0 16043 24 0 0 25 0 1 0 758389918 29827072 6209 4294967295 134512640 134714508 3221221776 3221217924 1075115049 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7282 6209 1111 63 0 7219 0 vsize: 29128 [startup+170.699 s] Raw data (loadavg): 1.25 1.06 0.95 2/55 9766 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7273 0 0 0 17043 24 0 0 25 0 1 0 758389918 29827072 6214 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7282 6214 1111 63 0 7219 0 vsize: 29128 [startup+180.7 s] Raw data (loadavg): 1.21 1.05 0.95 2/55 9766 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7277 0 0 0 18043 24 0 0 25 0 1 0 758389918 29827072 6218 4294967295 134512640 134714508 3221221776 3221217968 1074960771 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7282 6218 1111 63 0 7219 0 vsize: 29128 [startup+190.701 s] Raw data (loadavg): 1.18 1.05 0.95 2/55 9766 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7331 0 0 0 19043 24 0 0 25 0 1 0 758389918 30035968 6272 4294967295 134512640 134714508 3221221776 3221217760 1074881411 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7333 6272 1111 63 0 7270 0 vsize: 29332 [startup+200.701 s] Raw data (loadavg): 1.15 1.05 0.95 2/55 9766 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7337 0 0 0 20043 24 0 0 25 0 1 0 758389918 30035968 6278 4294967295 134512640 134714508 3221221776 3221218760 1077410205 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7333 6278 1111 63 0 7270 0 vsize: 29332 [startup+210.702 s] Raw data (loadavg): 1.13 1.05 0.95 2/55 9768 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7401 0 0 0 21043 24 0 0 25 0 1 0 758389918 30253056 6342 4294967295 134512640 134714508 3221221776 3221217760 1074881396 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7386 6342 1111 63 0 7323 0 vsize: 29544 [startup+220.703 s] Raw data (loadavg): 1.11 1.05 0.95 2/55 9768 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7409 0 0 0 22044 24 0 0 25 0 1 0 758389918 30253056 6350 4294967295 134512640 134714508 3221221776 3221217760 1074881382 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7386 6350 1111 63 0 7323 0 vsize: 29544 [startup+230.704 s] Raw data (loadavg): 1.09 1.04 0.95 2/55 9768 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7409 0 0 0 23044 24 0 0 25 0 1 0 758389918 30253056 6350 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7386 6350 1111 63 0 7323 0 vsize: 29544 [startup+240.704 s] Raw data (loadavg): 1.08 1.04 0.95 2/55 9768 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7411 0 0 0 24044 24 0 0 25 0 1 0 758389918 30253056 6352 4294967295 134512640 134714508 3221221776 3221217628 1074788187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7386 6352 1111 63 0 7323 0 vsize: 29544 [startup+250.703 s] Raw data (loadavg): 1.06 1.04 0.95 2/55 9768 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7412 0 0 0 25044 24 0 0 25 0 1 0 758389918 30253056 6353 4294967295 134512640 134714508 3221221776 3221217664 1075965307 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7386 6353 1111 63 0 7323 0 vsize: 29544 [startup+260.704 s] Raw data (loadavg): 1.05 1.04 0.95 2/55 9768 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7419 0 0 0 26044 24 0 0 25 0 1 0 758389918 30253056 6360 4294967295 134512640 134714508 3221221776 3221217552 1074868826 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7386 6360 1111 63 0 7323 0 vsize: 29544 [startup+270.704 s] Raw data (loadavg): 1.04 1.04 0.95 2/55 9768 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7419 0 0 0 27044 24 0 0 25 0 1 0 758389918 30253056 6360 4294967295 134512640 134714508 3221221776 3221217968 1074960795 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7386 6360 1111 63 0 7323 0 vsize: 29544 [startup+280.705 s] Raw data (loadavg): 1.04 1.04 0.95 2/55 9768 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7438 0 0 0 28045 24 0 0 25 0 1 0 758389918 30253056 6379 4294967295 134512640 134714508 3221221776 3221217552 1074868789 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7386 6379 1111 63 0 7323 0 vsize: 29544 [startup+290.706 s] Raw data (loadavg): 1.03 1.03 0.95 2/55 9768 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7443 0 0 0 29045 24 0 0 25 0 1 0 758389918 30253056 6384 4294967295 134512640 134714508 3221221776 3221217968 1074960918 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7386 6384 1111 63 0 7323 0 vsize: 29544 [startup+300.706 s] Raw data (loadavg): 1.03 1.03 0.95 2/55 9768 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7485 0 0 0 30045 24 0 0 25 0 1 0 758389918 30253056 6426 4294967295 134512640 134714508 3221221776 3221217924 1075114937 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7386 6426 1111 63 0 7323 0 vsize: 29544 [startup+310.707 s] Raw data (loadavg): 1.02 1.03 0.95 2/55 9768 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7495 0 0 0 31045 24 0 0 25 0 1 0 758389918 30253056 6436 4294967295 134512640 134714508 3221221776 3221217580 1074788930 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.707 s] Raw data (loadavg): 1.02 1.03 0.95 2/55 9768 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7495 0 0 0 32045 24 0 0 25 0 1 0 758389918 30253056 6436 4294967295 134512640 134714508 3221221776 3221217628 1074788187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7386 6436 1111 63 0 7323 0 vsize: 29544 [startup+330.708 s] Raw data (loadavg): 1.01 1.03 0.95 2/55 9768 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7496 0 0 0 33046 24 0 0 25 0 1 0 758389918 30253056 6437 4294967295 134512640 134714508 3221221776 3221217968 1074960765 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7386 6437 1111 63 0 7323 0 vsize: 29544 [startup+340.708 s] Raw data (loadavg): 1.01 1.03 0.95 2/55 9768 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7525 0 0 0 34046 25 0 0 25 0 1 0 758389918 30253056 6466 4294967295 134512640 134714508 3221221776 3221217572 1074786556 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7386 6466 1111 63 0 7323 0 vsize: 29544 [startup+350.708 s] Raw data (loadavg): 1.01 1.03 0.95 2/55 9768 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7585 0 0 0 35046 25 0 0 25 0 1 0 758389918 30482432 6526 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7442 6526 1111 63 0 7379 0 vsize: 29768 [startup+360.709 s] Raw data (loadavg): 1.01 1.02 0.95 2/55 9768 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7600 0 0 0 36046 25 0 0 25 0 1 0 758389918 30482432 6541 4294967295 134512640 134714508 3221221776 3221217760 1074881559 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7442 6541 1111 63 0 7379 0 vsize: 29768 [startup+370.708 s] Raw data (loadavg): 1.01 1.02 0.95 2/55 9768 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7609 0 0 0 37046 25 0 0 25 0 1 0 758389918 30482432 6550 4294967295 134512640 134714508 3221221776 3221217572 1074786571 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7442 6550 1111 63 0 7379 0 vsize: 29768 [startup+380.709 s] Raw data (loadavg): 1.00 1.02 0.95 2/55 9768 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7623 0 0 0 38046 25 0 0 25 0 1 0 758389918 30482432 6564 4294967295 134512640 134714508 3221221776 3221217660 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7442 6564 1111 63 0 7379 0 vsize: 29768 [startup+390.71 s] Raw data (loadavg): 1.00 1.02 0.95 2/55 9768 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7623 0 0 0 39046 25 0 0 25 0 1 0 758389918 30482432 6564 4294967295 134512640 134714508 3221221776 3221217968 1074960765 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7442 6564 1111 63 0 7379 0 vsize: 29768 [startup+400.709 s] Raw data (loadavg): 1.00 1.02 0.95 2/55 9768 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7624 0 0 0 40047 25 0 0 25 0 1 0 758389918 30482432 6565 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7442 6565 1111 63 0 7379 0 vsize: 29768 [startup+410.71 s] Raw data (loadavg): 1.00 1.02 0.95 2/55 9768 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7679 0 0 0 41047 25 0 0 25 0 1 0 758389918 30724096 6620 4294967295 134512640 134714508 3221221776 3221217924 1075115046 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7501 6620 1111 63 0 7438 0 vsize: 30004 [startup+420.71 s] Raw data (loadavg): 1.00 1.02 0.95 2/55 9768 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7680 0 0 0 42047 25 0 0 25 0 1 0 758389918 30724096 6621 4294967295 134512640 134714508 3221221776 3221217908 1075117518 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7501 6621 1111 63 0 7438 0 vsize: 30004 [startup+430.711 s] Raw data (loadavg): 1.00 1.02 0.95 2/55 9768 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7680 0 0 0 43047 25 0 0 25 0 1 0 758389918 30724096 6621 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7501 6621 1111 63 0 7438 0 vsize: 30004 [startup+440.711 s] Raw data (loadavg): 1.00 1.02 0.95 2/55 9768 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7682 0 0 0 44047 25 0 0 25 0 1 0 758389918 30724096 6623 4294967295 134512640 134714508 3221221776 3221217616 1074889464 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7501 6623 1111 63 0 7438 0 vsize: 30004 [startup+450.711 s] Raw data (loadavg): 1.00 1.02 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7682 0 0 0 45047 25 0 0 25 0 1 0 758389918 30724096 6623 4294967295 134512640 134714508 3221221776 3221217856 1075095094 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7501 6623 1111 63 0 7438 0 vsize: 30004 [startup+460.712 s] Raw data (loadavg): 1.00 1.01 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7682 0 0 0 46047 25 0 0 25 0 1 0 758389918 30724096 6623 4294967295 134512640 134714508 3221221776 3221217592 1074787081 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7501 6623 1111 63 0 7438 0 vsize: 30004 [startup+470.712 s] Raw data (loadavg): 1.00 1.01 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7682 0 0 0 47047 25 0 0 25 0 1 0 758389918 30724096 6623 4294967295 134512640 134714508 3221221776 3221217604 1074786571 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7501 6623 1111 63 0 7438 0 vsize: 30004 [startup+480.713 s] Raw data (loadavg): 1.00 1.01 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7682 0 0 0 48047 26 0 0 25 0 1 0 758389918 30724096 6623 4294967295 134512640 134714508 3221221776 3221218028 1076111476 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7501 6623 1111 63 0 7438 0 vsize: 30004 [startup+490.713 s] Raw data (loadavg): 1.00 1.01 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7682 0 0 0 49047 26 0 0 25 0 1 0 758389918 30724096 6623 4294967295 134512640 134714508 3221221776 3221217760 1074881420 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7501 6623 1111 63 0 7438 0 vsize: 30004 [startup+500.713 s] Raw data (loadavg): 1.00 1.01 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7683 0 0 0 50047 26 0 0 25 0 1 0 758389918 30724096 6624 4294967295 134512640 134714508 3221221776 3221217760 1074881396 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7501 6624 1111 63 0 7438 0 vsize: 30004 [startup+510.714 s] Raw data (loadavg): 1.00 1.01 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7683 0 0 0 51048 26 0 0 25 0 1 0 758389918 30724096 6624 4294967295 134512640 134714508 3221221776 3221217968 1074960909 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7501 6624 1111 63 0 7438 0 vsize: 30004 [startup+520.714 s] Raw data (loadavg): 1.00 1.01 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7737 0 0 0 52047 26 0 0 25 0 1 0 758389918 30973952 6678 4294967295 134512640 134714508 3221221776 3221218288 1074885332 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7562 6678 1111 63 0 7499 0 vsize: 30248 [startup+530.715 s] Raw data (loadavg): 1.00 1.01 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7742 0 0 0 53048 26 0 0 25 0 1 0 758389918 30973952 6683 4294967295 134512640 134714508 3221221776 3221217708 1074788953 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7562 6683 1111 63 0 7499 0 vsize: 30248 [startup+540.715 s] Raw data (loadavg): 1.00 1.01 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7746 0 0 0 54048 26 0 0 25 0 1 0 758389918 30973952 6687 4294967295 134512640 134714508 3221221776 3221217924 1075115049 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7562 6687 1111 63 0 7499 0 vsize: 30248 [startup+550.714 s] Raw data (loadavg): 1.00 1.01 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7746 0 0 0 55048 26 0 0 25 0 1 0 758389918 30973952 6687 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7562 6687 1111 63 0 7499 0 vsize: 30248 [startup+560.715 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 7997 0 0 0 56047 27 0 0 25 0 1 0 758389918 32038912 6938 4294967295 134512640 134714508 3221221776 3221217552 1074868705 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7822 6938 1111 63 0 7759 0 vsize: 31288 [startup+570.716 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8002 0 0 0 57047 27 0 0 25 0 1 0 758389918 32038912 6943 4294967295 134512640 134714508 3221221776 3221217856 1075095124 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7822 6943 1111 63 0 7759 0 vsize: 31288 [startup+580.717 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8002 0 0 0 58048 27 0 0 25 0 1 0 758389918 32038912 6943 4294967295 134512640 134714508 3221221776 3221218032 1075114265 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7822 6943 1111 63 0 7759 0 vsize: 31288 [startup+590.718 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8002 0 0 0 59048 27 0 0 25 0 1 0 758389918 32038912 6943 4294967295 134512640 134714508 3221221776 3221217924 1075114984 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7822 6943 1111 63 0 7759 0 vsize: 31288 [startup+600.718 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8002 0 0 0 60048 27 0 0 25 0 1 0 758389918 32038912 6943 4294967295 134512640 134714508 3221221776 3221217968 1074960854 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7822 6943 1111 63 0 7759 0 vsize: 31288 [startup+610.718 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8002 0 0 0 61048 27 0 0 25 0 1 0 758389918 32038912 6943 4294967295 134512640 134714508 3221221776 3221217632 1075965299 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.718 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8300 0 0 0 62047 28 0 0 25 0 1 0 758389918 33316864 7241 4294967295 134512640 134714508 3221221776 3221217924 1075114984 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.719 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8301 0 0 0 63048 28 0 0 25 0 1 0 758389918 33316864 7242 4294967295 134512640 134714508 3221221776 3221217924 1075115109 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8134 7242 1111 63 0 8071 0 vsize: 32536 [startup+640.719 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8306 0 0 0 64048 28 0 0 25 0 1 0 758389918 33316864 7247 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8134 7247 1111 63 0 8071 0 vsize: 32536 [startup+650.719 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8309 0 0 0 65048 28 0 0 25 0 1 0 758389918 33316864 7250 4294967295 134512640 134714508 3221221776 3221218160 1075602961 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8134 7250 1111 63 0 8071 0 vsize: 32536 [startup+660.719 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8309 0 0 0 66048 28 0 0 25 0 1 0 758389918 33316864 7250 4294967295 134512640 134714508 3221221776 3221217656 1074789281 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8134 7250 1111 63 0 8071 0 vsize: 32536 [startup+670.72 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8591 0 0 0 67047 29 0 0 25 0 1 0 758389918 34852864 7532 4294967295 134512640 134714508 3221221776 3221218228 1075863638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8509 7532 1111 63 0 8446 0 vsize: 34036 [startup+680.721 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8687 0 0 0 68047 30 0 0 25 0 1 0 758389918 34852864 7628 4294967295 134512640 134714508 3221221776 3221217660 1074788177 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8509 7628 1111 63 0 8446 0 vsize: 34036 [startup+690.721 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8687 0 0 0 69047 30 0 0 25 0 1 0 758389918 34852864 7628 4294967295 134512640 134714508 3221221776 3221218352 1075967771 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8509 7628 1111 63 0 8446 0 vsize: 34036 [startup+700.722 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8687 0 0 0 70047 30 0 0 25 0 1 0 758389918 34852864 7628 4294967295 134512640 134714508 3221221776 3221217664 1075965303 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8509 7628 1111 63 0 8446 0 vsize: 34036 [startup+710.722 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8687 0 0 0 71047 30 0 0 25 0 1 0 758389918 34852864 7628 4294967295 134512640 134714508 3221221776 3221218228 1075863641 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8509 7628 1111 63 0 8446 0 vsize: 34036 [startup+720.722 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8687 0 0 0 72048 30 0 0 25 0 1 0 758389918 34852864 7628 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8509 7628 1111 63 0 8446 0 vsize: 34036 [startup+730.723 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 8733 0 0 0 73048 30 0 0 25 0 1 0 758389918 36691968 7674 4294967295 134512640 134714508 3221221776 3221218160 1075602815 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8958 7674 1111 63 0 8895 0 vsize: 35832 [startup+740.723 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 9128 0 0 0 74047 31 0 0 25 0 1 0 758389918 36691968 8069 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8958 8069 1111 63 0 8895 0 vsize: 35832 [startup+750.723 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 9627 0 0 0 75046 32 0 0 25 0 1 0 758389918 38899712 8568 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9497 8568 1111 63 0 9434 0 vsize: 37988 [startup+760.724 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 9663 0 0 0 76046 32 0 0 25 0 1 0 758389918 38899712 8604 4294967295 134512640 134714508 3221221776 3221217560 1074787093 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9497 8604 1111 63 0 9434 0 vsize: 37988 [startup+770.724 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 9663 0 0 0 77046 32 0 0 25 0 1 0 758389918 38899712 8604 4294967295 134512640 134714508 3221221776 3221218028 1076111473 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9497 8604 1111 63 0 9434 0 vsize: 37988 [startup+780.725 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 9663 0 0 0 78046 32 0 0 25 0 1 0 758389918 38899712 8604 4294967295 134512640 134714508 3221221776 3221218288 1074888163 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9497 8604 1111 63 0 9434 0 vsize: 37988 [startup+790.725 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 9666 0 0 0 79046 32 0 0 25 0 1 0 758389918 38899712 8607 4294967295 134512640 134714508 3221221776 3221217924 1075115049 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.725 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 9666 0 0 0 80047 32 0 0 25 0 1 0 758389918 38899712 8607 4294967295 134512640 134714508 3221221776 3221217632 1075965246 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.725 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 9666 0 0 0 81047 32 0 0 25 0 1 0 758389918 38899712 8607 4294967295 134512640 134714508 3221221776 3221218212 1074867059 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.726 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 10174 0 0 0 82046 33 0 0 25 0 1 0 758389918 41541632 9115 4294967295 134512640 134714508 3221221776 3221217580 1074788915 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10142 9115 1111 63 0 10079 0 vsize: 40568 [startup+830.726 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 10231 0 0 0 83046 33 0 0 25 0 1 0 758389918 41541632 9172 4294967295 134512640 134714508 3221221776 3221217924 1075115049 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.726 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 10266 0 0 0 84046 34 0 0 25 0 1 0 758389918 41541632 9207 4294967295 134512640 134714508 3221221776 3221217708 1074788921 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.726 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 10297 0 0 0 85046 34 0 0 25 0 1 0 758389918 41541632 9238 4294967295 134512640 134714508 3221221776 3221217924 1075115039 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.727 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 10297 0 0 0 86046 34 0 0 25 0 1 0 758389918 41541632 9238 4294967295 134512640 134714508 3221221776 3221217924 1075115084 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.728 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 10301 0 0 0 87047 34 0 0 25 0 1 0 758389918 41541632 9242 4294967295 134512640 134714508 3221221776 3221218160 1075602716 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.729 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 10301 0 0 0 88047 34 0 0 25 0 1 0 758389918 41541632 9242 4294967295 134512640 134714508 3221221776 3221217592 1074787033 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.73 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 10301 0 0 0 89047 34 0 0 25 0 1 0 758389918 41541632 9242 4294967295 134512640 134714508 3221221776 3221217760 1074881428 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.73 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 10305 0 0 0 90047 34 0 0 25 0 1 0 758389918 41541632 9246 4294967295 134512640 134714508 3221221776 3221217924 1075115095 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10142 9246 1111 63 0 10079 0 vsize: 40568 [startup+910.73 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 10307 0 0 0 91047 34 0 0 25 0 1 0 758389918 41541632 9248 4294967295 134512640 134714508 3221221776 3221217592 1074787087 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.73 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 10307 0 0 0 92048 34 0 0 25 0 1 0 758389918 41541632 9248 4294967295 134512640 134714508 3221221776 3221217560 1074787033 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.731 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 10314 0 0 0 93048 34 0 0 25 0 1 0 758389918 41541632 9255 4294967295 134512640 134714508 3221221776 3221217908 1075117394 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.732 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 11022 0 0 0 94046 36 0 0 25 0 1 0 758389918 44720128 9963 4294967295 134512640 134714508 3221221776 3221217560 1074787081 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10918 9963 1111 63 0 10855 0 vsize: 43672 [startup+950.732 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 11774 0 0 0 95044 38 0 0 25 0 1 0 758389918 48537600 10715 4294967295 134512640 134714508 3221221776 3221217760 1074881420 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.732 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 11811 0 0 0 96044 38 0 0 25 0 1 0 758389918 48537600 10752 4294967295 134512640 134714508 3221221776 3221217968 1074960865 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.733 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 11811 0 0 0 97044 38 0 0 25 0 1 0 758389918 48537600 10752 4294967295 134512640 134714508 3221221776 3221217580 1074788937 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.734 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 11811 0 0 0 98045 38 0 0 25 0 1 0 758389918 48537600 10752 4294967295 134512640 134714508 3221221776 3221218064 1075894487 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.733 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 11811 0 0 0 99045 38 0 0 25 0 1 0 758389918 48537600 10752 4294967295 134512640 134714508 3221221776 3221217560 1074787084 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.73 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 11820 0 0 0 100045 38 0 0 25 0 1 0 758389918 48537600 10761 4294967295 134512640 134714508 3221221776 3221218288 1074885975 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.73 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 11820 0 0 0 101045 38 0 0 25 0 1 0 758389918 48537600 10761 4294967295 134512640 134714508 3221221776 3221218072 1075112600 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.73 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 11832 0 0 0 102045 38 0 0 25 0 1 0 758389918 48537600 10773 4294967295 134512640 134714508 3221221776 3221217968 1074960847 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.74 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 11832 0 0 0 103045 38 0 0 25 0 1 0 758389918 48537600 10773 4294967295 134512640 134714508 3221221776 3221217560 1074787042 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.74 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 11832 0 0 0 104046 38 0 0 25 0 1 0 758389918 48537600 10773 4294967295 134512640 134714508 3221221776 3221217968 1074960923 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11850 10773 1111 63 0 11787 0 vsize: 47400 [startup+1050.74 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 11835 0 0 0 105046 38 0 0 25 0 1 0 758389918 48537600 10776 4294967295 134512640 134714508 3221221776 3221217908 1075117403 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.74 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 11835 0 0 0 106045 39 0 0 25 0 1 0 758389918 48537600 10776 4294967295 134512640 134714508 3221221776 3221218160 1075602869 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11850 10776 1111 63 0 11787 0 vsize: 47400 [startup+1070.74 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 11903 0 0 0 107045 39 0 0 25 0 1 0 758389918 48537600 10844 4294967295 134512640 134714508 3221221776 3221217616 1074890365 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.74 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 11903 0 0 0 108046 39 0 0 25 0 1 0 758389918 48537600 10844 4294967295 134512640 134714508 3221221776 3221217592 1074787093 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.74 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 11903 0 0 0 109046 39 0 0 25 0 1 0 758389918 48537600 10844 4294967295 134512640 134714508 3221221776 3221217908 1075117370 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.74 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 12680 0 0 0 110044 41 0 0 25 0 1 0 758389918 53121024 11621 4294967295 134512640 134714508 3221221776 3221217528 1074789193 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12969 11621 1111 63 0 12906 0 vsize: 51876 [startup+1110.74 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 12805 0 0 0 111044 41 0 0 25 0 1 0 758389918 53121024 11746 4294967295 134512640 134714508 3221221776 3221217568 1074786854 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.74 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 12832 0 0 0 112044 41 0 0 25 0 1 0 758389918 53121024 11773 4294967295 134512640 134714508 3221221776 3221217580 1074788950 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.74 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 12862 0 0 0 113044 42 0 0 25 0 1 0 758389918 53121024 11803 4294967295 134512640 134714508 3221221776 3221217656 1074789193 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12969 11803 1111 63 0 12906 0 vsize: 51876 [startup+1140.74 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 12920 0 0 0 114044 42 0 0 25 0 1 0 758389918 53121024 11861 4294967295 134512640 134714508 3221221776 3221217560 1074787084 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.74 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 12920 0 0 0 115044 42 0 0 25 0 1 0 758389918 53121024 11861 4294967295 134512640 134714508 3221221776 3221217560 1074787027 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.74 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 12920 0 0 0 116044 42 0 0 25 0 1 0 758389918 53121024 11861 4294967295 134512640 134714508 3221221776 3221217656 1074789193 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.74 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 12920 0 0 0 117045 42 0 0 25 0 1 0 758389918 53121024 11861 4294967295 134512640 134714508 3221221776 3221217568 1074786849 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.74 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 12920 0 0 0 118045 42 0 0 25 0 1 0 758389918 53121024 11861 4294967295 134512640 134714508 3221221776 3221217628 1074788177 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.74 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 12920 0 0 0 119045 42 0 0 25 0 1 0 758389918 53121024 11861 4294967295 134512640 134714508 3221221776 3221217592 1074787033 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.74 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) R 9712 7876 7672 0 -1 0 12920 0 0 0 120045 42 0 0 25 0 1 0 758389918 53121024 11861 4294967295 134512640 134714508 3221221776 3221217580 1074788950 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.77 s] Raw data (loadavg): 1.00 1.00 0.95 1/55 9770 Raw data (stat): 9713 (bsolo_lpr_cuts) Z 9712 7876 7672 0 -1 1036 12920 0 0 0 120045 44 0 0 25 0 1 0 758389918 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.77 CPU time (s): 1200.91 CPU user time (s): 1200.46 CPU system time (s): 0.448931 CPU usage (%): 100.011 Max. virtual memory (Kb): 51876 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####