Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-siena1.opb |
MD5SUM | 575f632072d90cb1b2032661c3842261 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 70755 |
Biggest coefficient in the objective function | 536870912000000000000 |
Number of bits for the biggest coefficient in the objective function | 69 |
Sum of the numbers in the objective function | 28224865138562973040640 |
Number of bits of the sum of numbers in the objective function | 75 |
Biggest number in a constraint | 536870912000000000000 |
Number of bits of the biggest number in a constraint | 69 |
Biggest sum of numbers in a constraint | 28224967538562973040640 |
Number of bits of the biggest sum of numbers | 75 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.701893 |
Number of variables | 70755 |
Total number of constraints | 13995 |
Number of constraints which are clauses | 310 |
Number of constraints which are cardinality constraints (but not clauses) | 11776 |
Number of constraints which are nor clauses,nor cardinality constraints | 1909 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 70755 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc18 THE 2005-05-24 23:40:22 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=15212 boxname=wulflinc18 idbench=1171 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 575f632072d90cb1b2032661c3842261 /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-siena1.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-siena1.opb IDLAUNCH: 15212 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.177 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.177 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 853500 kB Buffers: 15304 kB Cached: 144068 kB SwapCached: 836 kB Active: 40036 kB Inactive: 121868 kB HighTotal: 131008 kB HighFree: 25368 kB LowTotal: 903652 kB LowFree: 828132 kB SwapTotal: 2097892 kB SwapFree: 2096620 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5664 kB Slab: 13512 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 00:00:24 (client local time) WITH STATUS 0 IN 1200.38 SECONDS stats: 15212 7 1200.38 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.87 0.94 0.92 2/54 27369 Raw data (stat): 27369 (runsolver) R 27368 24172 24171 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834257430 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0006 s] Raw data (loadavg): 0.89 0.94 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 2011 0 0 0 992 6 0 0 25 0 1 0 834257430 19714048 1935 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4813 1935 1111 63 0 4750 0 vsize: 19252 [startup+20.0045 s] Raw data (loadavg): 0.91 0.94 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 3147 0 0 0 1989 9 0 0 25 0 1 0 834257430 24342528 3071 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5943 3071 1111 63 0 5880 0 vsize: 23772 [startup+30.0058 s] Raw data (loadavg): 0.92 0.94 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 4295 0 0 0 2988 11 0 0 25 0 1 0 834257430 29118464 4219 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7109 4219 1111 63 0 7046 0 vsize: 28436 [startup+40.0062 s] Raw data (loadavg): 0.93 0.95 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 5437 0 0 0 3985 14 0 0 25 0 1 0 834257430 33746944 5361 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8239 5361 1111 63 0 8176 0 vsize: 32956 [startup+50.0073 s] Raw data (loadavg): 0.94 0.95 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 6585 0 0 0 4981 17 0 0 25 0 1 0 834257430 38375424 6509 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9369 6509 1111 63 0 9306 0 vsize: 37476 [startup+60.0072 s] Raw data (loadavg): 0.95 0.95 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 7742 0 0 0 5978 20 0 0 25 0 1 0 834257430 43139072 7666 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10532 7666 1111 63 0 10469 0 vsize: 42128 [startup+70.0094 s] Raw data (loadavg): 0.96 0.95 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 8914 0 0 0 6976 23 0 0 25 0 1 0 834257430 47915008 8838 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11698 8838 1111 63 0 11635 0 vsize: 46792 [startup+80.01 s] Raw data (loadavg): 0.96 0.95 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 10094 0 0 0 7975 24 0 0 25 0 1 0 834257430 52846592 10018 4294967295 134512640 134714508 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12902 10018 1111 63 0 12839 0 vsize: 51608 [startup+90.0103 s] Raw data (loadavg): 0.97 0.95 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 11271 0 0 0 8973 26 0 0 25 0 1 0 834257430 57622528 11195 4294967295 134512640 134714508 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14068 11197 1111 63 0 14005 0 vsize: 56272 [startup+100.011 s] Raw data (loadavg): 0.97 0.95 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 12451 0 0 0 9971 28 0 0 25 0 1 0 834257430 62402560 12375 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15235 12375 1111 63 0 15172 0 vsize: 60940 [startup+110.012 s] Raw data (loadavg): 0.98 0.95 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 13640 0 0 0 10969 30 0 0 25 0 1 0 834257430 67301376 13564 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16431 13564 1111 63 0 16368 0 vsize: 65724 [startup+120.012 s] Raw data (loadavg): 0.98 0.95 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 14832 0 0 0 11968 32 0 0 25 0 1 0 834257430 72228864 14756 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17634 14756 1111 63 0 17571 0 vsize: 70536 [startup+130.012 s] Raw data (loadavg): 0.98 0.95 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 16022 0 0 0 12965 34 0 0 25 0 1 0 834257430 77152256 15946 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18836 15946 1111 63 0 18773 0 vsize: 75344 [startup+140.012 s] Raw data (loadavg): 0.98 0.95 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 17219 0 0 0 13963 37 0 0 25 0 1 0 834257430 81932288 17143 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20003 17143 1111 63 0 19940 0 vsize: 80012 [startup+150.014 s] Raw data (loadavg): 0.99 0.96 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 18417 0 0 0 14960 40 0 0 25 0 1 0 834257430 86863872 18341 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21207 18341 1111 63 0 21144 0 vsize: 84828 [startup+160.014 s] Raw data (loadavg): 0.99 0.96 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 19620 0 0 0 15958 42 0 0 25 0 1 0 834257430 91787264 19544 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22409 19544 1111 63 0 22346 0 vsize: 89636 [startup+170.013 s] Raw data (loadavg): 0.99 0.96 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 20828 0 0 0 16957 44 0 0 25 0 1 0 834257430 96714752 20752 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23612 20752 1111 63 0 23549 0 vsize: 94448 [startup+180.013 s] Raw data (loadavg): 0.99 0.96 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 22037 0 0 0 17955 46 0 0 25 0 1 0 834257430 101789696 21961 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24851 21961 1111 63 0 24788 0 vsize: 99404 [startup+190.013 s] Raw data (loadavg): 0.99 0.96 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 23252 0 0 0 18952 48 0 0 25 0 1 0 834257430 106717184 23176 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26054 23176 1111 63 0 25991 0 vsize: 104216 [startup+200.014 s] Raw data (loadavg): 0.99 0.96 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 24467 0 0 0 19950 51 0 0 25 0 1 0 834257430 111640576 24391 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27256 24391 1111 63 0 27193 0 vsize: 109024 [startup+210.014 s] Raw data (loadavg): 0.99 0.96 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 25696 0 0 0 20949 53 0 0 25 0 1 0 834257430 116695040 25620 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28490 25620 1111 63 0 28427 0 vsize: 113960 [startup+220.014 s] Raw data (loadavg): 0.99 0.96 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 26923 0 0 0 21947 54 0 0 25 0 1 0 834257430 121769984 26847 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29729 26847 1111 63 0 29666 0 vsize: 118916 [startup+230.015 s] Raw data (loadavg): 0.99 0.96 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 28150 0 0 0 22945 57 0 0 25 0 1 0 834257430 126849024 28074 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30969 28074 1111 63 0 30906 0 vsize: 123876 [startup+240.015 s] Raw data (loadavg): 0.99 0.96 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 29384 0 0 0 23942 59 0 0 25 0 1 0 834257430 131772416 29308 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32171 29308 1111 63 0 32108 0 vsize: 128684 [startup+250.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 30623 0 0 0 24940 62 0 0 25 0 1 0 834257430 136847360 30547 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33410 30547 1111 63 0 33347 0 vsize: 133640 [startup+260.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 31864 0 0 0 25938 64 0 0 25 0 1 0 834257430 141930496 31788 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34651 31788 1111 63 0 34588 0 vsize: 138604 [startup+270.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 33109 0 0 0 26936 66 0 0 25 0 1 0 834257430 147152896 33033 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35926 33033 1111 63 0 35863 0 vsize: 143704 [startup+280.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 34360 0 0 0 27935 68 0 0 25 0 1 0 834257430 152227840 34284 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37165 34284 1111 63 0 37102 0 vsize: 148660 [startup+290.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 35613 0 0 0 28933 70 0 0 25 0 1 0 834257430 157302784 35537 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38404 35537 1111 63 0 38341 0 vsize: 153616 [startup+300.022 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 36870 0 0 0 29931 72 0 0 25 0 1 0 834257430 162529280 36794 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 39680 36794 1111 63 0 39617 0 vsize: 158720 [startup+310.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 38136 0 0 0 30929 74 0 0 25 0 1 0 834257430 167608320 38060 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 40920 38060 1111 63 0 40857 0 vsize: 163680 [startup+320.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 39399 0 0 0 31927 76 0 0 25 0 1 0 834257430 172834816 39323 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 42196 39323 1111 63 0 42133 0 vsize: 168784 [startup+330.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 40668 0 0 0 32925 78 0 0 25 0 1 0 834257430 178057216 40592 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 43471 40592 1111 63 0 43408 0 vsize: 173884 [startup+340.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 41945 0 0 0 33923 81 0 0 25 0 1 0 834257430 183283712 41869 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 44747 41869 1111 63 0 44684 0 vsize: 178988 [startup+350.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 43222 0 0 0 34920 84 0 0 25 0 1 0 834257430 188514304 43146 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 46024 43146 1111 63 0 45961 0 vsize: 184096 [startup+360.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 44503 0 0 0 35918 86 0 0 25 0 1 0 834257430 193736704 44427 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 47299 44427 1111 63 0 47236 0 vsize: 189196 [startup+370.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 45791 0 0 0 36916 89 0 0 25 0 1 0 834257430 198959104 45715 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 48574 45715 1111 63 0 48511 0 vsize: 194296 [startup+380.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 47085 0 0 0 37913 91 0 0 25 0 1 0 834257430 204333056 47009 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 49886 47009 1111 63 0 49823 0 vsize: 199544 [startup+390.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 48380 0 0 0 38911 94 0 0 25 0 1 0 834257430 209559552 48304 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 51162 48304 1111 63 0 51099 0 vsize: 204648 [startup+400.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 49690 0 0 0 39909 96 0 0 25 0 1 0 834257430 215085056 49614 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 52511 49614 1111 63 0 52448 0 vsize: 210044 [startup+410.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 50997 0 0 0 40907 99 0 0 25 0 1 0 834257430 220459008 50921 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 53823 50921 1111 63 0 53760 0 vsize: 215292 [startup+420.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 52308 0 0 0 41904 101 0 0 25 0 1 0 834257430 225828864 52232 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 55134 52232 1111 63 0 55071 0 vsize: 220536 [startup+430.024 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 53622 0 0 0 42902 103 0 0 25 0 1 0 834257430 231211008 53546 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 56448 53546 1111 63 0 56385 0 vsize: 225792 [startup+440.024 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 54940 0 0 0 43900 106 0 0 25 0 1 0 834257430 236584960 54864 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 57760 54864 1111 63 0 57697 0 vsize: 231040 [startup+450.024 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 56265 0 0 0 44899 107 0 0 25 0 1 0 834257430 241954816 56189 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 59071 56189 1111 63 0 59008 0 vsize: 236284 [startup+460.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 57596 0 0 0 45897 109 0 0 25 0 1 0 834257430 247480320 57520 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 60420 57520 1111 63 0 60357 0 vsize: 241680 [startup+470.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 58933 0 0 0 46895 112 0 0 25 0 1 0 834257430 252858368 58857 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 61733 58857 1111 63 0 61670 0 vsize: 246932 [startup+480.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 60276 0 0 0 47893 113 0 0 25 0 1 0 834257430 258379776 60200 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 63081 60200 1111 63 0 63018 0 vsize: 252324 [startup+490.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 61624 0 0 0 48891 116 0 0 25 0 1 0 834257430 263905280 61548 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 64430 61548 1111 63 0 64367 0 vsize: 257720 [startup+500.026 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 62975 0 0 0 49888 119 0 0 25 0 1 0 834257430 269434880 62899 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 65780 62899 1111 63 0 65717 0 vsize: 263120 [startup+510.026 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 64337 0 0 0 50885 122 0 0 25 0 1 0 834257430 274960384 64261 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 67129 64261 1111 63 0 67066 0 vsize: 268516 [startup+520.026 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 65704 0 0 0 51883 124 0 0 25 0 1 0 834257430 280633344 65628 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 68514 65628 1111 63 0 68451 0 vsize: 274056 [startup+530.026 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 67073 0 0 0 52882 126 0 0 25 0 1 0 834257430 286158848 66997 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 69863 66997 1111 63 0 69800 0 vsize: 279452 [startup+540.026 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 68453 0 0 0 53880 127 0 0 25 0 1 0 834257430 291835904 68377 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 71249 68377 1111 63 0 71186 0 vsize: 284996 [startup+550.027 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 69833 0 0 0 54878 130 0 0 25 0 1 0 834257430 297508864 69757 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 72634 69757 1111 63 0 72571 0 vsize: 290536 [startup+560.027 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 71219 0 0 0 55876 132 0 0 25 0 1 0 834257430 303181824 71143 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 74019 71143 1111 63 0 73956 0 vsize: 296076 [startup+570.027 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 72479 0 0 0 56874 134 0 0 25 0 1 0 834257430 308420608 72403 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 75298 72403 1111 63 0 75235 0 vsize: 301192 [startup+580.028 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 72618 0 0 0 57874 135 0 0 25 0 1 0 834257430 308867072 72542 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 75407 72542 1111 63 0 75344 0 vsize: 301628 [startup+590.028 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 72758 0 0 0 58874 135 0 0 25 0 1 0 834257430 309469184 72682 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 75554 72682 1111 63 0 75491 0 vsize: 302216 [startup+600.029 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 72891 0 0 0 59874 135 0 0 25 0 1 0 834257430 310071296 72815 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 75701 72815 1111 63 0 75638 0 vsize: 302804 [startup+610.029 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 73022 0 0 0 60874 135 0 0 25 0 1 0 834257430 310513664 72946 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 75809 72946 1111 63 0 75746 0 vsize: 303236 [startup+620.029 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 73162 0 0 0 61873 136 0 0 25 0 1 0 834257430 311115776 73086 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 75956 73086 1111 63 0 75893 0 vsize: 303824 [startup+630.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 73300 0 0 0 62873 136 0 0 25 0 1 0 834257430 311713792 73224 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 76102 73224 1111 63 0 76039 0 vsize: 304408 [startup+640.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 73433 0 0 0 63873 136 0 0 25 0 1 0 834257430 312315904 73357 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 76249 73357 1111 63 0 76186 0 vsize: 304996 [startup+650.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 73567 0 0 0 64873 136 0 0 25 0 1 0 834257430 312745984 73491 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 76354 73491 1111 63 0 76291 0 vsize: 305416 [startup+660.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 73698 0 0 0 65873 136 0 0 25 0 1 0 834257430 313331712 73622 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 76497 73622 1111 63 0 76434 0 vsize: 305988 [startup+670.029 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 73831 0 0 0 66873 137 0 0 25 0 1 0 834257430 313933824 73755 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 76644 73755 1111 63 0 76581 0 vsize: 306576 [startup+680.029 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 73969 0 0 0 67873 137 0 0 25 0 1 0 834257430 314384384 73893 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 76754 73893 1111 63 0 76691 0 vsize: 307016 [startup+690.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 74108 0 0 0 68873 137 0 0 25 0 1 0 834257430 314986496 74032 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 76901 74032 1111 63 0 76838 0 vsize: 307604 [startup+700.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 74241 0 0 0 69873 137 0 0 25 0 1 0 834257430 315584512 74165 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 77047 74165 1111 63 0 76984 0 vsize: 308188 [startup+710.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 74379 0 0 0 70873 138 0 0 25 0 1 0 834257430 316182528 74303 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 77193 74303 1111 63 0 77130 0 vsize: 308772 [startup+720.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 74519 0 0 0 71873 138 0 0 25 0 1 0 834257430 316633088 74443 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 77303 74443 1111 63 0 77240 0 vsize: 309212 [startup+730.031 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 74685 0 0 0 72873 138 0 0 25 0 1 0 834257430 317546496 74609 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 77526 74609 1111 63 0 77463 0 vsize: 310104 [startup+740.031 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 74817 0 0 0 73873 139 0 0 25 0 1 0 834257430 317992960 74741 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 77635 74741 1111 63 0 77572 0 vsize: 310540 [startup+750.031 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 74963 0 0 0 74872 139 0 0 25 0 1 0 834257430 318595072 74887 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 77782 74887 1111 63 0 77719 0 vsize: 311128 [startup+760.032 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 75097 0 0 0 75872 139 0 0 25 0 1 0 834257430 319193088 75021 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 77928 75021 1111 63 0 77865 0 vsize: 311712 [startup+770.032 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 75229 0 0 0 76872 139 0 0 25 0 1 0 834257430 319643648 75153 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 78038 75153 1111 63 0 77975 0 vsize: 312152 [startup+780.032 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 75376 0 0 0 77872 140 0 0 25 0 1 0 834257430 320245760 75300 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 78185 75300 1111 63 0 78122 0 vsize: 312740 [startup+790.032 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 75522 0 0 0 78872 140 0 0 25 0 1 0 834257430 320839680 75446 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 78330 75446 1111 63 0 78267 0 vsize: 313320 [startup+800.032 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 75677 0 0 0 79872 140 0 0 25 0 1 0 834257430 321593344 75601 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 78514 75601 1111 63 0 78451 0 vsize: 314056 [startup+810.033 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 75831 0 0 0 80872 140 0 0 25 0 1 0 834257430 322191360 75755 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 78660 75755 1111 63 0 78597 0 vsize: 314640 [startup+820.032 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 75978 0 0 0 81872 140 0 0 25 0 1 0 834257430 322789376 75902 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 78806 75902 1111 63 0 78743 0 vsize: 315224 [startup+830.032 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 76132 0 0 0 82872 141 0 0 25 0 1 0 834257430 323391488 76056 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 78953 76056 1111 63 0 78890 0 vsize: 315812 [startup+840.032 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 76287 0 0 0 83872 141 0 0 25 0 1 0 834257430 323993600 76211 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 79100 76211 1111 63 0 79037 0 vsize: 316400 [startup+850.033 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 76434 0 0 0 84872 141 0 0 25 0 1 0 834257430 324587520 76358 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 79245 76358 1111 63 0 79182 0 vsize: 316980 [startup+860.033 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 76581 0 0 0 85871 142 0 0 25 0 1 0 834257430 325189632 76505 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 79392 76505 1111 63 0 79329 0 vsize: 317568 [startup+870.033 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 76728 0 0 0 86871 142 0 0 25 0 1 0 834257430 325791744 76652 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 79539 76652 1111 63 0 79476 0 vsize: 318156 [startup+880.034 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 76876 0 0 0 87871 143 0 0 25 0 1 0 834257430 326385664 76800 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 79684 76800 1111 63 0 79621 0 vsize: 318736 [startup+890.034 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 77028 0 0 0 88871 143 0 0 25 0 1 0 834257430 326987776 76952 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 79831 76952 1111 63 0 79768 0 vsize: 319324 [startup+900.035 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 77182 0 0 0 89871 143 0 0 25 0 1 0 834257430 327737344 77106 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 80014 77106 1111 63 0 79951 0 vsize: 320056 [startup+910.035 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 77330 0 0 0 90871 143 0 0 25 0 1 0 834257430 328339456 77254 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 80161 77254 1111 63 0 80098 0 vsize: 320644 [startup+920.035 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 77490 0 0 0 91871 144 0 0 25 0 1 0 834257430 328933376 77414 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 80306 77414 1111 63 0 80243 0 vsize: 321224 [startup+930.036 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 77653 0 0 0 92871 144 0 0 25 0 1 0 834257430 329535488 77577 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 80453 77577 1111 63 0 80390 0 vsize: 321812 [startup+940.036 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 77814 0 0 0 93871 144 0 0 25 0 1 0 834257430 330289152 77738 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 80637 77738 1111 63 0 80574 0 vsize: 322548 [startup+950.037 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 77976 0 0 0 94870 145 0 0 25 0 1 0 834257430 330883072 77900 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 80782 77900 1111 63 0 80719 0 vsize: 323128 [startup+960.037 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 78145 0 0 0 95870 145 0 0 25 0 1 0 834257430 331632640 78069 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 80965 78069 1111 63 0 80902 0 vsize: 323860 [startup+970.037 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 78314 0 0 0 96870 145 0 0 25 0 1 0 834257430 332234752 78238 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 81112 78238 1111 63 0 81049 0 vsize: 324448 [startup+980.045 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 78483 0 0 0 97871 145 0 0 25 0 1 0 834257430 332988416 78407 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 81296 78407 1111 63 0 81233 0 vsize: 325184 [startup+990.063 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 78653 0 0 0 98873 145 0 0 25 0 1 0 834257430 333733888 78577 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 81478 78577 1111 63 0 81415 0 vsize: 325912 [startup+1000.06 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 78813 0 0 0 99873 145 0 0 25 0 1 0 834257430 334331904 78737 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 81624 78737 1111 63 0 81561 0 vsize: 326496 [startup+1010.06 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 78975 0 0 0 100873 145 0 0 25 0 1 0 834257430 334934016 78899 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 81771 78899 1111 63 0 81708 0 vsize: 327084 [startup+1020.07 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 79138 0 0 0 101874 146 0 0 25 0 1 0 834257430 335683584 79062 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 81954 79062 1111 63 0 81891 0 vsize: 327816 [startup+1030.07 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 79299 0 0 0 102873 146 0 0 25 0 1 0 834257430 336281600 79223 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 82100 79223 1111 63 0 82037 0 vsize: 328400 [startup+1040.07 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 79460 0 0 0 103873 147 0 0 25 0 1 0 834257430 337031168 79384 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 82283 79384 1111 63 0 82220 0 vsize: 329132 [startup+1050.07 s] Raw data (loadavg): 1.07 0.99 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 79621 0 0 0 104873 147 0 0 25 0 1 0 834257430 337629184 79545 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 82429 79545 1111 63 0 82366 0 vsize: 329716 [startup+1060.07 s] Raw data (loadavg): 1.06 0.99 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 79784 0 0 0 105873 147 0 0 25 0 1 0 834257430 338231296 79708 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 82576 79708 1111 63 0 82513 0 vsize: 330304 [startup+1070.07 s] Raw data (loadavg): 1.05 0.99 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 79946 0 0 0 106873 148 0 0 25 0 1 0 834257430 338976768 79870 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 82758 79870 1111 63 0 82695 0 vsize: 331032 [startup+1080.07 s] Raw data (loadavg): 1.04 0.99 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 80114 0 0 0 107873 148 0 0 25 0 1 0 834257430 339578880 80038 4294967295 134512640 134714508 3221224576 3221223232 134527948 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 82905 80038 1111 63 0 82842 0 vsize: 331620 [startup+1090.07 s] Raw data (loadavg): 1.03 0.99 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 80270 0 0 0 108873 148 0 0 25 0 1 0 834257430 340328448 80194 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83088 80194 1111 63 0 83025 0 vsize: 332352 [startup+1100.07 s] Raw data (loadavg): 1.03 0.99 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 80432 0 0 0 109873 148 0 0 25 0 1 0 834257430 340930560 80356 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83235 80356 1111 63 0 83172 0 vsize: 332940 [startup+1110.07 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 80592 0 0 0 110873 148 0 0 25 0 1 0 834257430 341524480 80516 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83380 80516 1111 63 0 83317 0 vsize: 333520 [startup+1120.08 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 80754 0 0 0 111873 149 0 0 25 0 1 0 834257430 342278144 80678 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83564 80678 1111 63 0 83501 0 vsize: 334256 [startup+1130.08 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 80931 0 0 0 112872 149 0 0 25 0 1 0 834257430 343027712 80855 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83747 80855 1111 63 0 83684 0 vsize: 334988 [startup+1140.08 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 81093 0 0 0 113872 150 0 0 25 0 1 0 834257430 343629824 81017 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83894 81017 1111 63 0 83831 0 vsize: 335576 [startup+1150.08 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 81268 0 0 0 114872 150 0 0 25 0 1 0 834257430 344375296 81192 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 84076 81192 1111 63 0 84013 0 vsize: 336304 [startup+1160.08 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 81444 0 0 0 115872 150 0 0 25 0 1 0 834257430 345124864 81368 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 84259 81368 1111 63 0 84196 0 vsize: 337036 [startup+1170.08 s] Raw data (loadavg): 1.01 0.99 0.92 3/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 81621 0 0 0 116872 151 0 0 25 0 1 0 834257430 345726976 81545 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 84406 81545 1111 63 0 84343 0 vsize: 337624 [startup+1180.08 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 27369 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 81811 0 0 0 117872 151 0 0 25 0 1 0 834257430 346624000 81735 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 84625 81735 1111 63 0 84562 0 vsize: 338500 [startup+1190.08 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 27422 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 81996 0 0 0 118870 152 0 0 25 0 1 0 834257430 347377664 81920 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 84809 81920 1111 63 0 84746 0 vsize: 339236 [startup+1200.08 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 27422 Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 82179 0 0 0 119869 153 0 0 25 0 1 0 834257430 348127232 82103 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 84992 82103 1111 63 0 84929 0 vsize: 339968 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.23 s] Raw data (loadavg): 1.00 0.99 0.92 1/54 27422 Raw data (stat): 27369 (bsolo_lpr_cuts) Z 27368 24172 24171 0 -1 1036 82179 0 0 0 119869 168 0 0 25 0 1 0 834257430 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.23 CPU time (s): 1200.38 CPU user time (s): 1198.69 CPU system time (s): 1.68474 CPU usage (%): 100.012 Max. virtual memory (Kb): 339968 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####