Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb |
MD5SUM | 022f43a9cfc62e9c9c77f51c14f8e5bf |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
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 | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.88771 |
Number of variables | 1838 |
Total number of constraints | 1330 |
Number of constraints which are clauses | 1260 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 17 |
Maximum length of a constraint | 35 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-06-07 09:33:07 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27493 boxname=wulflinc5 idbench=51 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: 022f43a9cfc62e9c9c77f51c14f8e5bf /oldhome/oroussel/tmp/wulflinc5/normalized-fpga35_35_sat_pb.cnf.cr.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-fpga35_35_sat_pb.cnf.cr.opb IDLAUNCH: 27493 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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 : 2 cpu MHz : 451.007 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: 348120 kB Buffers: 34348 kB Cached: 627880 kB SwapCached: 568 kB Active: 57396 kB Inactive: 606884 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 347868 kB SwapTotal: 2097136 kB SwapFree: 2095632 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5160 kB Slab: 16736 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-07 09:52:42 (client local time) WITH STATUS 0 IN 1175.02 SECONDS stats: 27493 7 1175.02 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 1838 variables and 1330 constraints. c After prepocess the problem consists of 1838 variables and 1330 constraints. c preprocess terminated 3.44 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 Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (runsolver) R 3376 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891942167 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 1889 0 0 0 991 5 0 0 25 0 1 0 891942167 10919936 1807 4294967295 134512640 134716908 3221224560 3221223140 1077378638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2666 1807 1111 63 0 2603 0 vsize: 10664 [startup+19.9999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 2024 0 0 0 1989 7 0 0 25 0 1 0 891942167 11423744 1942 4294967295 134512640 134716908 3221224560 3221223296 134558532 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2789 1942 1111 63 0 2726 0 vsize: 11156 [startup+30.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 2329 0 0 0 2986 10 0 0 25 0 1 0 891942167 12640256 2247 4294967295 134512640 134716908 3221224560 3221223328 134592128 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3086 2247 1111 63 0 3023 0 vsize: 12344 [startup+40.0008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 2403 0 0 0 3983 13 0 0 25 0 1 0 891942167 13041664 2321 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3184 2321 1111 63 0 3121 0 vsize: 12736 [startup+50.0012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 2560 0 0 0 4981 15 0 0 25 0 1 0 891942167 13582336 2478 4294967295 134512640 134716908 3221224560 3221223312 134592393 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3316 2478 1111 63 0 3253 0 vsize: 13264 [startup+60.0013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 2637 0 0 0 5979 18 0 0 25 0 1 0 891942167 13979648 2555 4294967295 134512640 134716908 3221224560 3221223244 134552651 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3413 2555 1111 63 0 3350 0 vsize: 13652 [startup+70.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 2676 0 0 0 6977 19 0 0 25 0 1 0 891942167 14114816 2594 4294967295 134512640 134716908 3221224560 3221223172 134698607 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2594 1111 63 0 3383 0 vsize: 13784 [startup+80.0015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 2717 0 0 0 7976 21 0 0 25 0 1 0 891942167 14249984 2635 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3479 2635 1111 63 0 3416 0 vsize: 13916 [startup+90.0015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 2760 0 0 0 8975 23 0 0 25 0 1 0 891942167 14385152 2678 4294967295 134512640 134716908 3221224560 3221223064 134552650 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3512 2678 1111 63 0 3449 0 vsize: 14048 [startup+100.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 2794 0 0 0 9974 24 0 0 25 0 1 0 891942167 14520320 2712 4294967295 134512640 134716908 3221224560 3221223248 134523345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3545 2712 1111 63 0 3482 0 vsize: 14180 [startup+110.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3074 0 0 0 10972 26 0 0 25 0 1 0 891942167 15736832 2992 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3842 2992 1111 63 0 3779 0 vsize: 15368 [startup+120.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3107 0 0 0 11971 27 0 0 25 0 1 0 891942167 15872000 3025 4294967295 134512640 134716908 3221224560 3221223296 134535706 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3875 3025 1111 63 0 3812 0 vsize: 15500 [startup+130.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3118 0 0 0 12970 28 0 0 25 0 1 0 891942167 15872000 3036 4294967295 134512640 134716908 3221224560 3221223056 134699487 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3875 3036 1111 63 0 3812 0 vsize: 15500 [startup+140.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3118 0 0 0 13970 29 0 0 25 0 1 0 891942167 15872000 3036 4294967295 134512640 134716908 3221224560 3221223344 134529217 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3875 3036 1111 63 0 3812 0 vsize: 15500 [startup+150.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3161 0 0 0 14969 30 0 0 25 0 1 0 891942167 16064512 3079 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3922 3079 1111 63 0 3859 0 vsize: 15688 [startup+160.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3186 0 0 0 15967 31 0 0 25 0 1 0 891942167 16199680 3104 4294967295 134512640 134716908 3221224560 3221223184 134698638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3955 3104 1111 63 0 3892 0 vsize: 15820 [startup+170.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3186 0 0 0 16967 32 0 0 25 0 1 0 891942167 16199680 3104 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3955 3104 1111 63 0 3892 0 vsize: 15820 [startup+180.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3186 0 0 0 17966 33 0 0 25 0 1 0 891942167 16199680 3104 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3955 3104 1111 63 0 3892 0 vsize: 15820 [startup+190.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3186 0 0 0 18965 34 0 0 25 0 1 0 891942167 16199680 3104 4294967295 134512640 134716908 3221224560 3221223316 134587950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3955 3104 1111 63 0 3892 0 vsize: 15820 [startup+200.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3186 0 0 0 19965 34 0 0 25 0 1 0 891942167 16199680 3104 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3955 3104 1111 63 0 3892 0 vsize: 15820 [startup+210.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3186 0 0 0 20964 35 0 0 25 0 1 0 891942167 16199680 3104 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3955 3104 1111 63 0 3892 0 vsize: 15820 [startup+220.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3186 0 0 0 21964 36 0 0 25 0 1 0 891942167 16199680 3104 4294967295 134512640 134716908 3221224560 3221223344 134529174 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3955 3104 1111 63 0 3892 0 vsize: 15820 [startup+230.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3199 0 0 0 22963 37 0 0 25 0 1 0 891942167 16199680 3117 4294967295 134512640 134716908 3221224560 3221223308 134558496 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3955 3117 1111 63 0 3892 0 vsize: 15820 [startup+240.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3250 0 0 0 23962 39 0 0 25 0 1 0 891942167 16470016 3168 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4021 3168 1111 63 0 3958 0 vsize: 16084 [startup+250.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3250 0 0 0 24960 41 0 0 25 0 1 0 891942167 16433152 3168 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4012 3168 1111 63 0 3949 0 vsize: 16048 [startup+260.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3267 0 0 0 25959 41 0 0 25 0 1 0 891942167 16457728 3185 4294967295 134512640 134716908 3221224560 3221223244 134594349 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4018 3185 1111 63 0 3955 0 vsize: 16072 [startup+270.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3267 0 0 0 26958 43 0 0 25 0 1 0 891942167 16457728 3185 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4018 3185 1111 63 0 3955 0 vsize: 16072 [startup+280.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3267 0 0 0 27957 44 0 0 25 0 1 0 891942167 16457728 3185 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4018 3185 1111 63 0 3955 0 vsize: 16072 [startup+290.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3267 0 0 0 28955 46 0 0 25 0 1 0 891942167 16457728 3185 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4018 3185 1111 63 0 3955 0 vsize: 16072 [startup+300.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3267 0 0 0 29954 47 0 0 25 0 1 0 891942167 16457728 3185 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4018 3185 1111 63 0 3955 0 vsize: 16072 [startup+310.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3267 0 0 0 30953 49 0 0 25 0 1 0 891942167 16457728 3185 4294967295 134512640 134716908 3221224560 3221223152 134549541 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4018 3185 1111 63 0 3955 0 vsize: 16072 [startup+320.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3267 0 0 0 31952 50 0 0 25 0 1 0 891942167 16457728 3185 4294967295 134512640 134716908 3221224560 3221223224 134543614 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4018 3185 1111 63 0 3955 0 vsize: 16072 [startup+330.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3352 0 0 0 32951 51 0 0 25 0 1 0 891942167 16863232 3270 4294967295 134512640 134716908 3221224560 3221223356 134587932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4117 3270 1111 63 0 4054 0 vsize: 16468 [startup+340.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3420 0 0 0 33950 52 0 0 25 0 1 0 891942167 17133568 3338 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4183 3338 1111 63 0 4120 0 vsize: 16732 [startup+350.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3420 0 0 0 34949 54 0 0 25 0 1 0 891942167 16998400 3317 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4150 3317 1111 63 0 4087 0 vsize: 16600 [startup+360.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3493 0 0 0 35947 55 0 0 25 0 1 0 891942167 17403904 3390 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4249 3390 1111 63 0 4186 0 vsize: 16996 [startup+370.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3556 0 0 0 36946 57 0 0 25 0 1 0 891942167 17674240 3453 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4315 3453 1111 63 0 4252 0 vsize: 17260 [startup+380.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3567 0 0 0 37946 57 0 0 25 0 1 0 891942167 17674240 3464 4294967295 134512640 134716908 3221224560 3221223200 134542368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4315 3464 1111 63 0 4252 0 vsize: 17260 [startup+390.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3567 0 0 0 38946 57 0 0 25 0 1 0 891942167 17674240 3464 4294967295 134512640 134716908 3221224560 3221223392 134590181 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4315 3464 1111 63 0 4252 0 vsize: 17260 [startup+400.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3567 0 0 0 39946 58 0 0 25 0 1 0 891942167 17674240 3464 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4315 3464 1111 63 0 4252 0 vsize: 17260 [startup+410.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3567 0 0 0 40946 58 0 0 25 0 1 0 891942167 17674240 3464 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4315 3464 1111 63 0 4252 0 vsize: 17260 [startup+420.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3586 0 0 0 41944 59 0 0 25 0 1 0 891942167 17809408 3483 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4348 3483 1111 63 0 4285 0 vsize: 17392 [startup+430.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3587 0 0 0 42944 60 0 0 25 0 1 0 891942167 17731584 3484 4294967295 134512640 134716908 3221224560 3221223140 134542744 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4329 3484 1111 63 0 4266 0 vsize: 17316 [startup+440.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3605 0 0 0 43944 61 0 0 25 0 1 0 891942167 17866752 3502 4294967295 134512640 134716908 3221224560 3221223316 134587950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4362 3502 1111 63 0 4299 0 vsize: 17448 [startup+450.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3615 0 0 0 44943 62 0 0 25 0 1 0 891942167 17866752 3512 4294967295 134512640 134716908 3221224560 3221223248 134542848 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4362 3512 1111 63 0 4299 0 vsize: 17448 [startup+460.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3652 0 0 0 45942 63 0 0 25 0 1 0 891942167 17948672 3549 4294967295 134512640 134716908 3221224560 3221223264 134528449 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4382 3549 1111 63 0 4319 0 vsize: 17528 [startup+470.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3680 0 0 0 46941 64 0 0 25 0 1 0 891942167 18071552 3577 4294967295 134512640 134716908 3221224560 3221223136 134549718 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4412 3577 1111 63 0 4349 0 vsize: 17648 [startup+480.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3695 0 0 0 47940 65 0 0 25 0 1 0 891942167 18206720 3592 4294967295 134512640 134716908 3221224560 3221223200 134542350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4445 3592 1111 63 0 4382 0 vsize: 17780 [startup+490.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3837 0 0 0 48939 66 0 0 25 0 1 0 891942167 18747392 3734 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4577 3734 1111 63 0 4514 0 vsize: 18308 [startup+500.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3837 0 0 0 49939 66 0 0 25 0 1 0 891942167 18747392 3734 4294967295 134512640 134716908 3221224560 3221223248 134542848 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4577 3734 1111 63 0 4514 0 vsize: 18308 [startup+510.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3837 0 0 0 50938 67 0 0 25 0 1 0 891942167 18747392 3734 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4577 3734 1111 63 0 4514 0 vsize: 18308 [startup+520.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3837 0 0 0 51937 69 0 0 25 0 1 0 891942167 18747392 3734 4294967295 134512640 134716908 3221224560 3221223276 134558476 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4577 3734 1111 63 0 4514 0 vsize: 18308 [startup+530.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3837 0 0 0 52936 70 0 0 25 0 1 0 891942167 18747392 3734 4294967295 134512640 134716908 3221224560 3221223296 134523859 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4577 3734 1111 63 0 4514 0 vsize: 18308 [startup+540.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3837 0 0 0 53935 71 0 0 25 0 1 0 891942167 18747392 3734 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4577 3734 1111 63 0 4514 0 vsize: 18308 [startup+550.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3837 0 0 0 54934 72 0 0 25 0 1 0 891942167 18747392 3734 4294967295 134512640 134716908 3221224560 3221223168 134523607 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4577 3734 1111 63 0 4514 0 vsize: 18308 [startup+560.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3837 0 0 0 55933 74 0 0 25 0 1 0 891942167 18747392 3734 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4577 3734 1111 63 0 4514 0 vsize: 18308 [startup+570.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3837 0 0 0 56932 75 0 0 25 0 1 0 891942167 18747392 3734 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4577 3734 1111 63 0 4514 0 vsize: 18308 [startup+580.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3837 0 0 0 57931 76 0 0 25 0 1 0 891942167 18747392 3734 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4577 3734 1111 63 0 4514 0 vsize: 18308 [startup+590.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3837 0 0 0 58930 77 0 0 25 0 1 0 891942167 18747392 3734 4294967295 134512640 134716908 3221224560 3221223056 1077377147 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4577 3734 1111 63 0 4514 0 vsize: 18308 [startup+600.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3837 0 0 0 59929 78 0 0 25 0 1 0 891942167 18747392 3734 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4577 3734 1111 63 0 4514 0 vsize: 18308 [startup+610.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3837 0 0 0 60929 79 0 0 25 0 1 0 891942167 18747392 3734 4294967295 134512640 134716908 3221224560 3221223280 134535760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4577 3734 1111 63 0 4514 0 vsize: 18308 [startup+620.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3837 0 0 0 61928 80 0 0 25 0 1 0 891942167 18747392 3734 4294967295 134512640 134716908 3221224560 3221223264 134528677 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4577 3734 1111 63 0 4514 0 vsize: 18308 [startup+630.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3837 0 0 0 62926 82 0 0 25 0 1 0 891942167 18747392 3734 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4577 3734 1111 63 0 4514 0 vsize: 18308 [startup+640.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3837 0 0 0 63924 84 0 0 25 0 1 0 891942167 18747392 3734 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4577 3734 1111 63 0 4514 0 vsize: 18308 [startup+650.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3837 0 0 0 64923 85 0 0 25 0 1 0 891942167 18747392 3734 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4577 3734 1111 63 0 4514 0 vsize: 18308 [startup+660.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3837 0 0 0 65922 86 0 0 25 0 1 0 891942167 18747392 3734 4294967295 134512640 134716908 3221224560 3221223280 134535790 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4577 3734 1111 63 0 4514 0 vsize: 18308 [startup+670.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3837 0 0 0 66921 88 0 0 25 0 1 0 891942167 18747392 3734 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4577 3734 1111 63 0 4514 0 vsize: 18308 [startup+680.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3837 0 0 0 67919 90 0 0 25 0 1 0 891942167 18747392 3734 4294967295 134512640 134716908 3221224560 3221223236 134594355 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4577 3734 1111 63 0 4514 0 vsize: 18308 [startup+690.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 3837 0 0 0 68918 91 0 0 25 0 1 0 891942167 18747392 3734 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4577 3734 1111 63 0 4514 0 vsize: 18308 [startup+700.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4046 0 0 0 69918 92 0 0 25 0 1 0 891942167 19693568 3943 4294967295 134512640 134716908 3221224560 3221223124 134539212 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4808 3943 1111 63 0 4745 0 vsize: 19232 [startup+710.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4046 0 0 0 70918 93 0 0 25 0 1 0 891942167 19693568 3943 4294967295 134512640 134716908 3221224560 3221223280 134535795 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4808 3943 1111 63 0 4745 0 vsize: 19232 [startup+720.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4073 0 0 0 71918 94 0 0 25 0 1 0 891942167 19693568 3970 4294967295 134512640 134716908 3221224560 3221223116 134535652 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4808 3970 1111 63 0 4745 0 vsize: 19232 [startup+730.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4076 0 0 0 72917 95 0 0 25 0 1 0 891942167 19693568 3973 4294967295 134512640 134716908 3221224560 3221223344 134528780 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4808 3973 1111 63 0 4745 0 vsize: 19232 [startup+740.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4076 0 0 0 73916 96 0 0 25 0 1 0 891942167 19693568 3973 4294967295 134512640 134716908 3221224560 3221223136 134542817 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4808 3973 1111 63 0 4745 0 vsize: 19232 [startup+750.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4089 0 0 0 74916 96 0 0 25 0 1 0 891942167 19828736 3986 4294967295 134512640 134716908 3221224560 3221223344 134529036 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4841 3986 1111 63 0 4778 0 vsize: 19364 [startup+760.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4123 0 0 0 75915 97 0 0 25 0 1 0 891942167 19963904 4020 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4874 4020 1111 63 0 4811 0 vsize: 19496 [startup+770.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4123 0 0 0 76915 98 0 0 25 0 1 0 891942167 19963904 4020 4294967295 134512640 134716908 3221224560 3221222964 134699567 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4874 4020 1111 63 0 4811 0 vsize: 19496 [startup+780.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4123 0 0 0 77914 98 0 0 25 0 1 0 891942167 19963904 4020 4294967295 134512640 134716908 3221224560 3221223180 134613768 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4874 4020 1111 63 0 4811 0 vsize: 19496 [startup+790.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4134 0 0 0 78913 99 0 0 25 0 1 0 891942167 19963904 4031 4294967295 134512640 134716908 3221224560 3221223324 134552684 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4874 4031 1111 63 0 4811 0 vsize: 19496 [startup+800.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4162 0 0 0 79912 101 0 0 25 0 1 0 891942167 20099072 4059 4294967295 134512640 134716908 3221224560 3221223508 134575033 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4907 4059 1111 63 0 4844 0 vsize: 19628 [startup+810.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4210 0 0 0 80912 101 0 0 25 0 1 0 891942167 20275200 4107 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4950 4107 1111 63 0 4887 0 vsize: 19800 [startup+820.068 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4229 0 0 0 81915 102 0 0 25 0 1 0 891942167 20410368 4126 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4983 4126 1111 63 0 4920 0 vsize: 19932 [startup+830.068 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4238 0 0 0 82914 103 0 0 25 0 1 0 891942167 20410368 4135 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4983 4135 1111 63 0 4920 0 vsize: 19932 [startup+840.068 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4249 0 0 0 83913 104 0 0 25 0 1 0 891942167 20410368 4146 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4983 4146 1111 63 0 4920 0 vsize: 19932 [startup+850.068 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4249 0 0 0 84912 105 0 0 25 0 1 0 891942167 20410368 4146 4294967295 134512640 134716908 3221224560 3221223152 134542820 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4983 4146 1111 63 0 4920 0 vsize: 19932 [startup+860.068 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4249 0 0 0 85911 106 0 0 25 0 1 0 891942167 20410368 4146 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4983 4146 1111 63 0 4920 0 vsize: 19932 [startup+870.068 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4261 0 0 0 86910 107 0 0 25 0 1 0 891942167 20545536 4158 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5016 4158 1111 63 0 4953 0 vsize: 20064 [startup+880.068 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4337 0 0 0 87909 108 0 0 25 0 1 0 891942167 20815872 4234 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5082 4234 1111 63 0 5019 0 vsize: 20328 [startup+890.069 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4370 0 0 0 88908 110 0 0 25 0 1 0 891942167 20951040 4267 4294967295 134512640 134716908 3221224560 3221223200 134698321 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5115 4267 1111 63 0 5052 0 vsize: 20460 [startup+900.069 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4429 0 0 0 89906 112 0 0 25 0 1 0 891942167 21217280 4326 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5180 4326 1111 63 0 5117 0 vsize: 20720 [startup+910.069 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4442 0 0 0 90906 113 0 0 25 0 1 0 891942167 21217280 4339 4294967295 134512640 134716908 3221224560 3221223204 134613648 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5180 4339 1111 63 0 5117 0 vsize: 20720 [startup+920.069 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4473 0 0 0 91905 114 0 0 25 0 1 0 891942167 21352448 4370 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5213 4370 1111 63 0 5150 0 vsize: 20852 [startup+930.069 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4482 0 0 0 92904 115 0 0 25 0 1 0 891942167 21352448 4379 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5213 4379 1111 63 0 5150 0 vsize: 20852 [startup+940.069 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4522 0 0 0 93902 117 0 0 25 0 1 0 891942167 21622784 4419 4294967295 134512640 134716908 3221224560 3221223328 134529115 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5279 4419 1111 63 0 5216 0 vsize: 21116 [startup+950.068 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4551 0 0 0 94901 118 0 0 25 0 1 0 891942167 21757952 4448 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5312 4448 1111 63 0 5249 0 vsize: 21248 [startup+960.069 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4577 0 0 0 95901 119 0 0 25 0 1 0 891942167 21757952 4474 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5312 4474 1111 63 0 5249 0 vsize: 21248 [startup+970.069 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4612 0 0 0 96899 120 0 0 25 0 1 0 891942167 21893120 4509 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5345 4509 1111 63 0 5282 0 vsize: 21380 [startup+980.069 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4870 0 0 0 97898 121 0 0 25 0 1 0 891942167 22974464 4767 4294967295 134512640 134716908 3221224560 3221223120 134535677 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5609 4767 1111 63 0 5546 0 vsize: 22436 [startup+990.069 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4908 0 0 0 98897 123 0 0 25 0 1 0 891942167 23109632 4805 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5642 4805 1111 63 0 5579 0 vsize: 22568 [startup+1000.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4930 0 0 0 99896 124 0 0 25 0 1 0 891942167 23244800 4827 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5675 4827 1111 63 0 5612 0 vsize: 22700 [startup+1010.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4930 0 0 0 100895 125 0 0 25 0 1 0 891942167 23244800 4827 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5675 4827 1111 63 0 5612 0 vsize: 22700 [startup+1020.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4958 0 0 0 101894 126 0 0 25 0 1 0 891942167 23379968 4855 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5708 4855 1111 63 0 5645 0 vsize: 22832 [startup+1030.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4958 0 0 0 102893 127 0 0 25 0 1 0 891942167 23379968 4855 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5708 4855 1111 63 0 5645 0 vsize: 22832 [startup+1040.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4999 0 0 0 103892 128 0 0 25 0 1 0 891942167 23515136 4896 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5741 4896 1111 63 0 5678 0 vsize: 22964 [startup+1050.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4999 0 0 0 104892 129 0 0 25 0 1 0 891942167 23515136 4896 4294967295 134512640 134716908 3221224560 3221223168 134523350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5741 4896 1111 63 0 5678 0 vsize: 22964 [startup+1060.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 4999 0 0 0 105892 129 0 0 25 0 1 0 891942167 23515136 4896 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5741 4896 1111 63 0 5678 0 vsize: 22964 [startup+1070.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 5005 0 0 0 106891 131 0 0 25 0 1 0 891942167 23515136 4902 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5741 4902 1111 63 0 5678 0 vsize: 22964 [startup+1080.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 5017 0 0 0 107889 132 0 0 25 0 1 0 891942167 23650304 4914 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5774 4914 1111 63 0 5711 0 vsize: 23096 [startup+1090.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 5021 0 0 0 108889 133 0 0 25 0 1 0 891942167 23650304 4918 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5774 4918 1111 63 0 5711 0 vsize: 23096 [startup+1100.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 5027 0 0 0 109888 133 0 0 25 0 1 0 891942167 23650304 4924 4294967295 134512640 134716908 3221224560 3221223148 134535903 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5774 4924 1111 63 0 5711 0 vsize: 23096 [startup+1110.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 5065 0 0 0 110888 134 0 0 25 0 1 0 891942167 23785472 4962 4294967295 134512640 134716908 3221224560 3221223296 134535846 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5807 4962 1111 63 0 5744 0 vsize: 23228 [startup+1120.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 5065 0 0 0 111887 135 0 0 25 0 1 0 891942167 23785472 4962 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5807 4962 1111 63 0 5744 0 vsize: 23228 [startup+1130.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 5065 0 0 0 112885 137 0 0 25 0 1 0 891942167 23785472 4962 4294967295 134512640 134716908 3221224560 3221223344 134528816 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5807 4962 1111 63 0 5744 0 vsize: 23228 [startup+1140.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 5065 0 0 0 113884 138 0 0 25 0 1 0 891942167 23785472 4962 4294967295 134512640 134716908 3221224560 3221223308 134551608 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5807 4962 1111 63 0 5744 0 vsize: 23228 [startup+1150.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 5065 0 0 0 114883 139 0 0 25 0 1 0 891942167 23785472 4962 4294967295 134512640 134716908 3221224560 3221223236 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5807 4962 1111 63 0 5744 0 vsize: 23228 [startup+1160.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 5065 0 0 0 115882 140 0 0 25 0 1 0 891942167 23785472 4962 4294967295 134512640 134716908 3221224560 3221223200 134698487 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5807 4962 1111 63 0 5744 0 vsize: 23228 [startup+1170.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 5065 0 0 0 116881 141 0 0 25 0 1 0 891942167 23785472 4962 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5807 4962 1111 63 0 5744 0 vsize: 23228 [startup+1174.86 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 3377 Raw data (stat): 3377 (bsolo_lpr-v2) R 3376 7266 7265 0 -1 0 5065 0 0 0 116881 141 0 0 25 0 1 0 891942167 23785472 4962 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5807 4962 1111 63 0 5744 0 vsize: 0 Child status: 0 Real time (s): 1174.85 CPU time (s): 1175.02 CPU user time (s): 1173.59 CPU system time (s): 1.43178 CPU usage (%): 100.014 Max. virtual memory (Kb): 23228 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####