Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb |
MD5SUM | b1c5adb5438ceaf1c654cfedb79b695e |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
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 | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 36 |
Number of bits of the biggest sum of numbers | 6 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.06099 |
Number of variables | 2100 |
Total number of constraints | 130 |
Number of constraints which are clauses | 70 |
Number of constraints which are cardinality constraints (but not clauses) | 60 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 35 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-01 08:42:37 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=101 boxname=wulflinc31 idbench=12 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: b1c5adb5438ceaf1c654cfedb79b695e /oldhome/oroussel/tmp/wulflinc31/normalized-chnl30_35_pb.cnf.cr.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-chnl30_35_pb.cnf.cr.opb IDLAUNCH: 101 /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: 931688 kB Buffers: 35904 kB Cached: 45172 kB SwapCached: 864 kB Active: 70260 kB Inactive: 13184 kB HighTotal: 131008 kB HighFree: 84812 kB LowTotal: 903652 kB LowFree: 846876 kB SwapTotal: 2097892 kB SwapFree: 2096432 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5504 kB Slab: 13844 kB Committed_AS: 63656 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-01 09:02:13 (client local time) WITH STATUS 0 IN 1175.04 SECONDS stats: 101 7 1175.04 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c INFO: No cost function. Find solution and finish. c Initial problem consists of 2100 variables and 130 constraints. c After prepocess the problem consists of 2100 variables and 130 constraints. c preprocess terminated 0.696 s c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.01 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.91 0.95 0.90 2/54 9867 Raw data (stat): 9867 (runsolver) R 9866 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 630122019 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+9.99974 s] Raw data (loadavg): 0.93 0.95 0.90 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 1408 0 0 0 987 5 0 0 25 0 1 0 630122019 8933376 1329 4294967295 134512640 134714508 3221221776 3221220416 134696078 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2181 1329 1111 63 0 2118 0 vsize: 8724 [startup+20.0007 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 1567 0 0 0 1985 8 0 0 25 0 1 0 630122019 9596928 1488 4294967295 134512640 134714508 3221221776 3221220364 134543616 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2343 1488 1111 63 0 2280 0 vsize: 9372 [startup+30.002 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 1658 0 0 0 2982 11 0 0 25 0 1 0 630122019 10002432 1579 4294967295 134512640 134714508 3221221776 3221220452 1077374543 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2442 1579 1111 63 0 2379 0 vsize: 9768 [startup+40.0025 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 1702 0 0 0 3980 13 0 0 25 0 1 0 630122019 10137600 1623 4294967295 134512640 134714508 3221221776 3221220416 134696103 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2475 1623 1111 63 0 2412 0 vsize: 9900 [startup+50.0035 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 1732 0 0 0 4978 16 0 0 25 0 1 0 630122019 10272768 1653 4294967295 134512640 134714508 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2508 1653 1111 63 0 2445 0 vsize: 10032 [startup+60.0038 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 1754 0 0 0 5976 17 0 0 25 0 1 0 630122019 10272768 1675 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2508 1675 1111 63 0 2445 0 vsize: 10032 [startup+70.0042 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 1788 0 0 0 6974 19 0 0 25 0 1 0 630122019 10534912 1709 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2572 1709 1111 63 0 2509 0 vsize: 10288 [startup+80.0041 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 1800 0 0 0 7973 21 0 0 25 0 1 0 630122019 10534912 1721 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2572 1721 1111 63 0 2509 0 vsize: 10288 [startup+90.0044 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 1824 0 0 0 8971 23 0 0 25 0 1 0 630122019 10670080 1745 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2605 1745 1111 63 0 2542 0 vsize: 10420 [startup+100.004 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 1835 0 0 0 9970 24 0 0 25 0 1 0 630122019 10670080 1756 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2605 1756 1111 63 0 2542 0 vsize: 10420 [startup+110.004 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2033 0 0 0 10968 26 0 0 25 0 1 0 630122019 11476992 1954 4294967295 134512640 134714508 3221221776 3221219872 134697224 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2802 1954 1111 63 0 2739 0 vsize: 11208 [startup+120.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2138 0 0 0 11967 28 0 0 25 0 1 0 630122019 11878400 2059 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2900 2059 1111 63 0 2837 0 vsize: 11600 [startup+130.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2232 0 0 0 12966 29 0 0 25 0 1 0 630122019 12283904 2153 4294967295 134512640 134714508 3221221776 3221220204 134697486 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2999 2153 1111 63 0 2936 0 vsize: 11996 [startup+140.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2427 0 0 0 13964 31 0 0 25 0 1 0 630122019 13094912 2348 4294967295 134512640 134714508 3221221776 3221220328 134696445 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3197 2348 1111 63 0 3134 0 vsize: 12788 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2535 0 0 0 14962 32 0 0 25 0 1 0 630122019 13500416 2456 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3296 2456 1111 63 0 3233 0 vsize: 13184 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2582 0 0 0 15961 34 0 0 25 0 1 0 630122019 13762560 2503 4294967295 134512640 134714508 3221221776 3221220560 134529249 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3360 2503 1111 63 0 3297 0 vsize: 13440 [startup+170.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2625 0 0 0 16959 36 0 0 25 0 1 0 630122019 13897728 2546 4294967295 134512640 134714508 3221221776 3221220332 134535540 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3393 2546 1111 63 0 3330 0 vsize: 13572 [startup+180.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2674 0 0 0 17957 38 0 0 25 0 1 0 630122019 14168064 2595 4294967295 134512640 134714508 3221221776 3221220332 134535903 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3459 2595 1111 63 0 3396 0 vsize: 13836 [startup+190.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2719 0 0 0 18956 39 0 0 25 0 1 0 630122019 14303232 2640 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3492 2640 1111 63 0 3429 0 vsize: 13968 [startup+200.005 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2743 0 0 0 19955 41 0 0 25 0 1 0 630122019 14438400 2664 4294967295 134512640 134714508 3221221776 3221220520 134551609 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3525 2664 1111 63 0 3462 0 vsize: 14100 [startup+210.006 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2771 0 0 0 20953 43 0 0 25 0 1 0 630122019 14438400 2692 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3525 2692 1111 63 0 3462 0 vsize: 14100 [startup+220.006 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2786 0 0 0 21952 44 0 0 25 0 1 0 630122019 14569472 2707 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3557 2707 1111 63 0 3494 0 vsize: 14228 [startup+230.006 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2826 0 0 0 22951 45 0 0 25 0 1 0 630122019 14704640 2747 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3590 2747 1111 63 0 3527 0 vsize: 14360 [startup+240.007 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2884 0 0 0 23950 47 0 0 25 0 1 0 630122019 14974976 2805 4294967295 134512640 134714508 3221221776 3221220256 134697189 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3656 2805 1111 63 0 3593 0 vsize: 14624 [startup+250.007 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2913 0 0 0 24949 48 0 0 25 0 1 0 630122019 15110144 2834 4294967295 134512640 134714508 3221221776 3221220460 134552651 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3689 2834 1111 63 0 3626 0 vsize: 14756 [startup+260.007 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2965 0 0 0 25947 49 0 0 25 0 1 0 630122019 15245312 2886 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3722 2886 1111 63 0 3659 0 vsize: 14888 [startup+270.007 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2980 0 0 0 26947 50 0 0 25 0 1 0 630122019 15380480 2901 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3755 2901 1111 63 0 3692 0 vsize: 15020 [startup+280.007 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3020 0 0 0 27945 52 0 0 25 0 1 0 630122019 15495168 2941 4294967295 134512640 134714508 3221221776 3221220512 134535835 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3783 2941 1111 63 0 3720 0 vsize: 15132 [startup+290.008 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3041 0 0 0 28944 53 0 0 25 0 1 0 630122019 15630336 2962 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3816 2962 1111 63 0 3753 0 vsize: 15264 [startup+300.008 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3081 0 0 0 29943 55 0 0 25 0 1 0 630122019 15765504 3002 4294967295 134512640 134714508 3221221776 3221220608 134551447 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3849 3002 1111 63 0 3786 0 vsize: 15396 [startup+310.008 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3081 0 0 0 30941 57 0 0 25 0 1 0 630122019 15765504 3002 4294967295 134512640 134714508 3221221776 3221219652 134697342 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3849 3002 1111 63 0 3786 0 vsize: 15396 [startup+320.009 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3081 0 0 0 31940 58 0 0 25 0 1 0 630122019 15765504 3002 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3849 3002 1111 63 0 3786 0 vsize: 15396 [startup+330.009 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3120 0 0 0 32938 60 0 0 25 0 1 0 630122019 15900672 3041 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3882 3041 1111 63 0 3819 0 vsize: 15528 [startup+340.009 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3139 0 0 0 33937 62 0 0 25 0 1 0 630122019 16027648 3060 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3913 3060 1111 63 0 3850 0 vsize: 15652 [startup+350.009 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3239 0 0 0 34935 63 0 0 25 0 1 0 630122019 16433152 3160 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4012 3160 1111 63 0 3949 0 vsize: 16048 [startup+360.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3257 0 0 0 35934 65 0 0 25 0 1 0 630122019 16433152 3178 4294967295 134512640 134714508 3221221776 3221220328 134696445 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4012 3178 1111 63 0 3949 0 vsize: 16048 [startup+370.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3280 0 0 0 36933 66 0 0 25 0 1 0 630122019 16568320 3201 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4045 3201 1111 63 0 3982 0 vsize: 16180 [startup+380.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3291 0 0 0 37931 68 0 0 25 0 1 0 630122019 16568320 3212 4294967295 134512640 134714508 3221221776 3221220368 134548584 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4045 3212 1111 63 0 3982 0 vsize: 16180 [startup+390.011 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3312 0 0 0 38929 70 0 0 25 0 1 0 630122019 16703488 3233 4294967295 134512640 134714508 3221221776 3221220536 134588015 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4078 3233 1111 63 0 4015 0 vsize: 16312 [startup+400.011 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3329 0 0 0 39928 71 0 0 25 0 1 0 630122019 16838656 3250 4294967295 134512640 134714508 3221221776 3221220544 134592107 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4111 3250 1111 63 0 4048 0 vsize: 16444 [startup+410.011 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3356 0 0 0 40928 72 0 0 25 0 1 0 630122019 16838656 3277 4294967295 134512640 134714508 3221221776 3221220316 134535956 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4111 3277 1111 63 0 4048 0 vsize: 16444 [startup+420.011 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3363 0 0 0 41926 73 0 0 25 0 1 0 630122019 16973824 3284 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4144 3284 1111 63 0 4081 0 vsize: 16576 [startup+430.012 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3379 0 0 0 42925 75 0 0 25 0 1 0 630122019 16965632 3300 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4142 3300 1111 63 0 4079 0 vsize: 16568 [startup+440.013 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3401 0 0 0 43924 76 0 0 25 0 1 0 630122019 17092608 3322 4294967295 134512640 134714508 3221221776 3221220496 134613708 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4173 3322 1111 63 0 4110 0 vsize: 16692 [startup+450.013 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3403 0 0 0 44923 77 0 0 25 0 1 0 630122019 17092608 3324 4294967295 134512640 134714508 3221221776 3221220540 134534136 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4173 3324 1111 63 0 4110 0 vsize: 16692 [startup+460.013 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3409 0 0 0 45923 78 0 0 25 0 1 0 630122019 17092608 3330 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4173 3330 1111 63 0 4110 0 vsize: 16692 [startup+470.013 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3425 0 0 0 46922 79 0 0 25 0 1 0 630122019 17223680 3346 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4205 3346 1111 63 0 4142 0 vsize: 16820 [startup+480.013 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3442 0 0 0 47920 80 0 0 25 0 1 0 630122019 17223680 3363 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4205 3363 1111 63 0 4142 0 vsize: 16820 [startup+490.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3446 0 0 0 48919 82 0 0 25 0 1 0 630122019 17223680 3367 4294967295 134512640 134714508 3221221776 3221220460 134523848 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4205 3367 1111 63 0 4142 0 vsize: 16820 [startup+500.013 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3460 0 0 0 49918 83 0 0 25 0 1 0 630122019 17358848 3381 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4238 3381 1111 63 0 4175 0 vsize: 16952 [startup+510.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3477 0 0 0 50916 85 0 0 25 0 1 0 630122019 17358848 3398 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4238 3398 1111 63 0 4175 0 vsize: 16952 [startup+520.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3524 0 0 0 51915 87 0 0 25 0 1 0 630122019 17616896 3445 4294967295 134512640 134714508 3221221776 3221220368 134549809 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4301 3445 1111 63 0 4238 0 vsize: 17204 [startup+530.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3572 0 0 0 52913 89 0 0 25 0 1 0 630122019 17752064 3493 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4334 3493 1111 63 0 4271 0 vsize: 17336 [startup+540.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3590 0 0 0 53911 91 0 0 25 0 1 0 630122019 17879040 3511 4294967295 134512640 134714508 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4365 3511 1111 63 0 4302 0 vsize: 17460 [startup+550.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3641 0 0 0 54909 93 0 0 25 0 1 0 630122019 18014208 3562 4294967295 134512640 134714508 3221221776 3221220332 134535631 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4398 3562 1111 63 0 4335 0 vsize: 17592 [startup+560.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3654 0 0 0 55908 94 0 0 25 0 1 0 630122019 18149376 3575 4294967295 134512640 134714508 3221221776 3221220404 134696211 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4431 3575 1111 63 0 4368 0 vsize: 17724 [startup+570.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3666 0 0 0 56907 95 0 0 25 0 1 0 630122019 18149376 3587 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4431 3587 1111 63 0 4368 0 vsize: 17724 [startup+580.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3683 0 0 0 57906 97 0 0 25 0 1 0 630122019 18276352 3604 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4462 3604 1111 63 0 4399 0 vsize: 17848 [startup+590.016 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3699 0 0 0 58904 98 0 0 25 0 1 0 630122019 18276352 3620 4294967295 134512640 134714508 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4462 3620 1111 63 0 4399 0 vsize: 17848 [startup+600.017 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3755 0 0 0 59903 100 0 0 25 0 1 0 630122019 18538496 3676 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4526 3676 1111 63 0 4463 0 vsize: 18104 [startup+610.017 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3766 0 0 0 60903 100 0 0 25 0 1 0 630122019 18538496 3687 4294967295 134512640 134714508 3221221776 3221220416 134696061 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4526 3687 1111 63 0 4463 0 vsize: 18104 [startup+620.018 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3767 0 0 0 61901 102 0 0 25 0 1 0 630122019 18538496 3688 4294967295 134512640 134714508 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4526 3688 1111 63 0 4463 0 vsize: 18104 [startup+630.017 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3767 0 0 0 62900 103 0 0 25 0 1 0 630122019 18538496 3688 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4526 3688 1111 63 0 4463 0 vsize: 18104 [startup+640.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3774 0 0 0 63899 105 0 0 25 0 1 0 630122019 18673664 3695 4294967295 134512640 134714508 3221221776 3221220288 134535020 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4559 3695 1111 63 0 4496 0 vsize: 18236 [startup+650.018 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3797 0 0 0 64898 106 0 0 25 0 1 0 630122019 18673664 3718 4294967295 134512640 134714508 3221221776 3221220284 134697486 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4559 3718 1111 63 0 4496 0 vsize: 18236 [startup+660.018 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3823 0 0 0 65897 107 0 0 25 0 1 0 630122019 18808832 3744 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4592 3744 1111 63 0 4529 0 vsize: 18368 [startup+670.028 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3834 0 0 0 66896 109 0 0 25 0 1 0 630122019 18808832 3755 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4592 3755 1111 63 0 4529 0 vsize: 18368 [startup+680.028 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3837 0 0 0 67895 110 0 0 25 0 1 0 630122019 18808832 3758 4294967295 134512640 134714508 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4592 3758 1111 63 0 4529 0 vsize: 18368 [startup+690.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3837 0 0 0 68894 112 0 0 25 0 1 0 630122019 18808832 3758 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4592 3758 1111 63 0 4529 0 vsize: 18368 [startup+700.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3847 0 0 0 69893 113 0 0 25 0 1 0 630122019 18939904 3768 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4624 3768 1111 63 0 4561 0 vsize: 18496 [startup+710.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3854 0 0 0 70891 115 0 0 25 0 1 0 630122019 18939904 3775 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4624 3775 1111 63 0 4561 0 vsize: 18496 [startup+720.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3878 0 0 0 71889 117 0 0 25 0 1 0 630122019 19075072 3799 4294967295 134512640 134714508 3221221776 3221220464 134524583 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4657 3799 1111 63 0 4594 0 vsize: 18628 [startup+730.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3890 0 0 0 72889 117 0 0 25 0 1 0 630122019 19075072 3811 4294967295 134512640 134714508 3221221776 3221220384 1077377147 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4657 3811 1111 63 0 4594 0 vsize: 18628 [startup+740.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3900 0 0 0 73887 119 0 0 25 0 1 0 630122019 19075072 3821 4294967295 134512640 134714508 3221221776 3221220304 134535433 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4657 3821 1111 63 0 4594 0 vsize: 18628 [startup+750.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3913 0 0 0 74886 121 0 0 25 0 1 0 630122019 19210240 3834 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4690 3834 1111 63 0 4627 0 vsize: 18760 [startup+760.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3925 0 0 0 75885 122 0 0 25 0 1 0 630122019 19210240 3846 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4690 3846 1111 63 0 4627 0 vsize: 18760 [startup+770.031 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3938 0 0 0 76884 123 0 0 25 0 1 0 630122019 19337216 3859 4294967295 134512640 134714508 3221221776 3221220544 134529138 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4721 3859 1111 63 0 4658 0 vsize: 18884 [startup+780.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3938 0 0 0 77883 124 0 0 25 0 1 0 630122019 19337216 3859 4294967295 134512640 134714508 3221221776 3221220216 1077377501 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4721 3859 1111 63 0 4658 0 vsize: 18884 [startup+790.032 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3938 0 0 0 78881 126 0 0 25 0 1 0 630122019 19337216 3859 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4721 3859 1111 63 0 4658 0 vsize: 18884 [startup+800.031 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3938 0 0 0 79880 127 0 0 25 0 1 0 630122019 19337216 3859 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4721 3859 1111 63 0 4658 0 vsize: 18884 [startup+810.031 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3938 0 0 0 80879 128 0 0 25 0 1 0 630122019 19337216 3859 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4721 3859 1111 63 0 4658 0 vsize: 18884 [startup+820.031 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3954 0 0 0 81878 130 0 0 25 0 1 0 630122019 19337216 3875 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4721 3875 1111 63 0 4658 0 vsize: 18884 [startup+830.031 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3967 0 0 0 82877 131 0 0 25 0 1 0 630122019 19337216 3888 4294967295 134512640 134714508 3221221776 3221220440 134551624 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4721 3888 1111 63 0 4658 0 vsize: 18884 [startup+840.032 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3979 0 0 0 83875 133 0 0 25 0 1 0 630122019 19472384 3900 4294967295 134512640 134714508 3221221776 3221220560 134529266 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4754 3900 1111 63 0 4691 0 vsize: 19016 [startup+850.032 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3979 0 0 0 84872 136 0 0 25 0 1 0 630122019 19472384 3900 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4754 3900 1111 63 0 4691 0 vsize: 19016 [startup+860.032 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3995 0 0 0 85871 137 0 0 25 0 1 0 630122019 19472384 3916 4294967295 134512640 134714508 3221221776 3221220416 134536657 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4754 3916 1111 63 0 4691 0 vsize: 19016 [startup+870.032 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4043 0 0 0 86870 139 0 0 25 0 1 0 630122019 19742720 3964 4294967295 134512640 134714508 3221221776 3221220520 134551620 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4820 3964 1111 63 0 4757 0 vsize: 19280 [startup+880.032 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4047 0 0 0 87868 140 0 0 25 0 1 0 630122019 19742720 3968 4294967295 134512640 134714508 3221221776 3221220432 134536738 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4820 3968 1111 63 0 4757 0 vsize: 19280 [startup+890.033 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4073 0 0 0 88867 142 0 0 25 0 1 0 630122019 19877888 3994 4294967295 134512640 134714508 3221221776 3221220480 134528562 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4853 3994 1111 63 0 4790 0 vsize: 19412 [startup+900.033 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4109 0 0 0 89865 144 0 0 25 0 1 0 630122019 19988480 4030 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4880 4030 1111 63 0 4817 0 vsize: 19520 [startup+910.033 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4123 0 0 0 90864 145 0 0 25 0 1 0 630122019 19988480 4044 4294967295 134512640 134714508 3221221776 3221220608 134527289 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4880 4044 1111 63 0 4817 0 vsize: 19520 [startup+920.034 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4134 0 0 0 91863 146 0 0 25 0 1 0 630122019 20103168 4055 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4908 4055 1111 63 0 4845 0 vsize: 19632 [startup+930.033 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4186 0 0 0 92862 148 0 0 25 0 1 0 630122019 20238336 4107 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4941 4107 1111 63 0 4878 0 vsize: 19764 [startup+940.034 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4189 0 0 0 93861 149 0 0 25 0 1 0 630122019 20373504 4110 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4974 4110 1111 63 0 4911 0 vsize: 19896 [startup+950.035 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4195 0 0 0 94860 150 0 0 25 0 1 0 630122019 20373504 4116 4294967295 134512640 134714508 3221221776 3221220464 134534110 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4974 4116 1111 63 0 4911 0 vsize: 19896 [startup+960.035 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4205 0 0 0 95859 151 0 0 25 0 1 0 630122019 20373504 4126 4294967295 134512640 134714508 3221221776 3221220368 134549680 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4974 4126 1111 63 0 4911 0 vsize: 19896 [startup+970.035 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4211 0 0 0 96858 152 0 0 25 0 1 0 630122019 20373504 4132 4294967295 134512640 134714508 3221221776 3221220380 1076999581 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4974 4132 1111 63 0 4911 0 vsize: 19896 [startup+980.036 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4225 0 0 0 97857 153 0 0 25 0 1 0 630122019 20500480 4146 4294967295 134512640 134714508 3221221776 3221220512 134529237 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5005 4146 1111 63 0 4942 0 vsize: 20020 [startup+990.037 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4240 0 0 0 98857 154 0 0 25 0 1 0 630122019 20500480 4161 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5005 4161 1111 63 0 4942 0 vsize: 20020 [startup+1000.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4244 0 0 0 99855 156 0 0 25 0 1 0 630122019 20500480 4165 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5005 4165 1111 63 0 4942 0 vsize: 20020 [startup+1010.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4254 0 0 0 100854 157 0 0 25 0 1 0 630122019 20635648 4175 4294967295 134512640 134714508 3221221776 3221220272 134535383 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5038 4175 1111 63 0 4975 0 vsize: 20152 [startup+1020.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4261 0 0 0 101853 159 0 0 25 0 1 0 630122019 20635648 4182 4294967295 134512640 134714508 3221221776 3221220448 134594364 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5038 4182 1111 63 0 4975 0 vsize: 20152 [startup+1030.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4311 0 0 0 102852 160 0 0 25 0 1 0 630122019 20770816 4232 4294967295 134512640 134714508 3221221776 3221220536 134552578 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5071 4232 1111 63 0 5008 0 vsize: 20284 [startup+1040.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 9867 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4345 0 0 0 103850 162 0 0 25 0 1 0 630122019 20905984 4266 4294967295 134512640 134714508 3221221776 3221220544 134529113 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5104 4266 1111 63 0 5041 0 vsize: 20416 [startup+1050.15 s] Raw data (loadavg): 1.08 1.00 0.92 3/56 9914 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4411 0 0 0 104852 170 0 0 25 0 1 0 630122019 21176320 4332 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5170 4332 1111 63 0 5107 0 vsize: 20680 [startup+1060.15 s] Raw data (loadavg): 1.07 1.00 0.92 2/54 9920 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4465 0 0 0 105851 171 0 0 25 0 1 0 630122019 21446656 4386 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5236 4386 1111 63 0 5173 0 vsize: 20944 [startup+1070.15 s] Raw data (loadavg): 1.06 1.00 0.92 2/54 9920 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4531 0 0 0 106850 173 0 0 25 0 1 0 630122019 21716992 4452 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5302 4452 1111 63 0 5239 0 vsize: 21208 [startup+1080.15 s] Raw data (loadavg): 1.05 1.00 0.92 2/54 9920 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4554 0 0 0 107849 174 0 0 25 0 1 0 630122019 21848064 4475 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5334 4475 1111 63 0 5271 0 vsize: 21336 [startup+1090.15 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 9920 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4582 0 0 0 108848 175 0 0 25 0 1 0 630122019 21938176 4503 4294967295 134512640 134714508 3221221776 3221220428 134536788 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5356 4503 1111 63 0 5293 0 vsize: 21424 [startup+1100.15 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 9920 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4611 0 0 0 109847 176 0 0 25 0 1 0 630122019 22073344 4532 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5389 4532 1111 63 0 5326 0 vsize: 21556 [startup+1110.15 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 9920 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4611 0 0 0 110846 178 0 0 25 0 1 0 630122019 22073344 4532 4294967295 134512640 134714508 3221221776 3221220428 134536779 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5389 4532 1111 63 0 5326 0 vsize: 21556 [startup+1120.15 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 9922 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4617 0 0 0 111846 178 0 0 25 0 1 0 630122019 22073344 4538 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5389 4538 1111 63 0 5326 0 vsize: 21556 [startup+1130.15 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 9922 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4627 0 0 0 112845 179 0 0 25 0 1 0 630122019 22073344 4548 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5389 4548 1111 63 0 5326 0 vsize: 21556 [startup+1140.15 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 9922 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4636 0 0 0 113844 181 0 0 25 0 1 0 630122019 22073344 4557 4294967295 134512640 134714508 3221221776 3221220412 134552682 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5389 4557 1111 63 0 5326 0 vsize: 21556 [startup+1150.15 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 9922 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4659 0 0 0 114843 182 0 0 25 0 1 0 630122019 22204416 4580 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5421 4580 1111 63 0 5358 0 vsize: 21684 [startup+1160.15 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 9922 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4672 0 0 0 115842 183 0 0 25 0 1 0 630122019 22339584 4593 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5454 4593 1111 63 0 5391 0 vsize: 21816 [startup+1170.15 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 9922 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4687 0 0 0 116841 184 0 0 25 0 1 0 630122019 22331392 4608 4294967295 134512640 134714508 3221221776 3221220468 134524577 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5452 4608 1111 63 0 5389 0 vsize: 21808 [startup+1174.93 s] Raw data (loadavg): 1.01 1.00 0.92 1/53 9922 Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4687 0 0 0 116841 184 0 0 25 0 1 0 630122019 22331392 4608 4294967295 134512640 134714508 3221221776 3221220468 134524577 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5452 4608 1111 63 0 5389 0 vsize: 0 Child status: 0 Real time (s): 1174.93 CPU time (s): 1175.04 CPU user time (s): 1173.18 CPU system time (s): 1.85572 CPU usage (%): 100.009 Max. virtual memory (Kb): 21816 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####