Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga10_8_sat_pb.cnf.cr.opb |
MD5SUM | 159220fb0573bb17ad11cefe6a440cec |
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 | 11 |
Number of bits of the biggest sum of numbers | 4 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.040992 |
Number of variables | 120 |
Total number of constraints | 106 |
Number of constraints which are clauses | 88 |
Number of constraints which are cardinality constraints (but not clauses) | 18 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 5 |
Maximum length of a constraint | 10 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc3 THE 2005-06-07 08:11:05 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27465 boxname=wulflinc3 idbench=23 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: 159220fb0573bb17ad11cefe6a440cec /oldhome/oroussel/tmp/wulflinc3/normalized-fpga10_8_sat_pb.cnf.cr.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-fpga10_8_sat_pb.cnf.cr.opb IDLAUNCH: 27465 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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: 280268 kB Buffers: 33956 kB Cached: 697212 kB SwapCached: 240 kB Active: 63500 kB Inactive: 670168 kB HighTotal: 131008 kB HighFree: 280 kB LowTotal: 903652 kB LowFree: 279988 kB SwapTotal: 2097136 kB SwapFree: 2096352 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6220 kB Slab: 15156 kB Committed_AS: 71788 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-07 08:30:40 (client local time) WITH STATUS 0 IN 1175.1 SECONDS stats: 27465 7 1175.1 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 120 variables and 106 constraints. c After prepocess the problem consists of 120 variables and 106 constraints. c preprocess terminated 0.061 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.92 0.98 0.93 1/54 8574 Raw data (stat): 8574 (runsolver) R 8573 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891441424 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0007 s] Raw data (loadavg): 0.93 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 3145 0 0 0 986 10 0 0 25 0 1 0 891441424 16015360 3063 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3910 3063 1111 63 0 3847 0 vsize: 15640 [startup+20.0015 s] Raw data (loadavg): 0.94 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 4213 0 0 0 1982 15 0 0 25 0 1 0 891441424 20381696 4131 4294967295 134512640 134716908 3221224576 3221223228 134536766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4976 4131 1111 63 0 4913 0 vsize: 19904 [startup+30.002 s] Raw data (loadavg): 0.95 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 5313 0 0 0 2977 21 0 0 25 0 1 0 891441424 24875008 5230 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6073 5230 1111 63 0 6010 0 vsize: 24292 [startup+40.0022 s] Raw data (loadavg): 0.96 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 6066 0 0 0 3974 23 0 0 25 0 1 0 891441424 27992064 5982 4294967295 134512640 134716908 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6834 5982 1111 63 0 6771 0 vsize: 27336 [startup+50.003 s] Raw data (loadavg): 0.96 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 6725 0 0 0 4971 27 0 0 25 0 1 0 891441424 30707712 6639 4294967295 134512640 134716908 3221224576 3221223248 134551978 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7497 6639 1111 63 0 7434 0 vsize: 29988 [startup+60.0035 s] Raw data (loadavg): 0.97 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 7260 0 0 0 5968 29 0 0 25 0 1 0 891441424 33005568 7174 4294967295 134512640 134716908 3221224576 3221223312 134535742 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8058 7174 1111 63 0 7995 0 vsize: 32232 [startup+70.0036 s] Raw data (loadavg): 0.97 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 8419 0 0 0 6964 34 0 0 25 0 1 0 891441424 37736448 8333 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9213 8333 1111 63 0 9150 0 vsize: 36852 [startup+80.0045 s] Raw data (loadavg): 0.98 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 9198 0 0 0 7960 38 0 0 25 0 1 0 891441424 41009152 9111 4294967295 134512640 134716908 3221224576 3221223200 134549520 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10012 9111 1111 63 0 9949 0 vsize: 40048 [startup+90.004 s] Raw data (loadavg): 0.98 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 10328 0 0 0 8956 42 0 0 25 0 1 0 891441424 45604864 10241 4294967295 134512640 134716908 3221224576 3221223216 134536650 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11134 10241 1111 63 0 11071 0 vsize: 44536 [startup+100.004 s] Raw data (loadavg): 0.98 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 11218 0 0 0 9952 46 0 0 25 0 1 0 891441424 49262592 11130 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12027 11130 1111 63 0 11964 0 vsize: 48108 [startup+110.005 s] Raw data (loadavg): 0.98 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 11944 0 0 0 10949 49 0 0 25 0 1 0 891441424 52256768 11854 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12758 11854 1111 63 0 12695 0 vsize: 51032 [startup+120.004 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 12686 0 0 0 11946 53 0 0 25 0 1 0 891441424 55230464 12596 4294967295 134512640 134716908 3221224576 3221223340 134592410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13484 12596 1111 63 0 13421 0 vsize: 53936 [startup+130.005 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 13315 0 0 0 12944 55 0 0 25 0 1 0 891441424 57901056 13221 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14136 13221 1111 63 0 14073 0 vsize: 56544 [startup+140.005 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 13603 0 0 0 13943 56 0 0 25 0 1 0 891441424 59129856 13506 4294967295 134512640 134716908 3221224576 3221223216 134536655 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14436 13506 1111 63 0 14373 0 vsize: 57744 [startup+150.006 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 14023 0 0 0 14942 58 0 0 25 0 1 0 891441424 60940288 13925 4294967295 134512640 134716908 3221224576 3221223504 134579454 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14878 13925 1111 63 0 14815 0 vsize: 59512 [startup+160.021 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 14777 0 0 0 15941 60 0 0 25 0 1 0 891441424 64057344 14679 4294967295 134512640 134716908 3221224576 3221223336 134592385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15639 14679 1111 63 0 15576 0 vsize: 62556 [startup+170.021 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 15251 0 0 0 16939 62 0 0 25 0 1 0 891441424 65957888 15152 4294967295 134512640 134716908 3221224576 3221223360 134529177 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16103 15152 1111 63 0 16040 0 vsize: 64412 [startup+180.021 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 15640 0 0 0 17938 64 0 0 25 0 1 0 891441424 67584000 15541 4294967295 134512640 134716908 3221224576 3221223208 134552681 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16500 15541 1111 63 0 16437 0 vsize: 66000 [startup+190.022 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 15988 0 0 0 18937 65 0 0 25 0 1 0 891441424 69070848 15889 4294967295 134512640 134716908 3221224576 3221223176 134535679 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16863 15889 1111 63 0 16800 0 vsize: 67452 [startup+200.022 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 16445 0 0 0 19934 68 0 0 25 0 1 0 891441424 70828032 16346 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17292 16346 1111 63 0 17229 0 vsize: 69168 [startup+210.022 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 17281 0 0 0 20932 70 0 0 25 0 1 0 891441424 74354688 17182 4294967295 134512640 134716908 3221224576 3221223308 134536922 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18153 17182 1111 63 0 18090 0 vsize: 72612 [startup+220.022 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 17801 0 0 0 21930 72 0 0 25 0 1 0 891441424 76521472 17701 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18682 17701 1111 63 0 18619 0 vsize: 74728 [startup+230.023 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 18388 0 0 0 22927 75 0 0 25 0 1 0 891441424 78954496 18288 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19276 18288 1111 63 0 19213 0 vsize: 77104 [startup+240.022 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 19015 0 0 0 23924 79 0 0 25 0 1 0 891441424 81522688 18915 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19903 18915 1111 63 0 19840 0 vsize: 79612 [startup+250.024 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 19541 0 0 0 24921 82 0 0 25 0 1 0 891441424 83685376 19441 4294967295 134512640 134716908 3221224576 3221223196 134549859 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20431 19441 1111 63 0 20368 0 vsize: 81724 [startup+260.023 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 19938 0 0 0 25920 82 0 0 25 0 1 0 891441424 85307392 19836 4294967295 134512640 134716908 3221224576 3221223156 134549797 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20827 19836 1111 63 0 20764 0 vsize: 83308 [startup+270.023 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 20437 0 0 0 26918 85 0 0 25 0 1 0 891441424 87334912 20334 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21322 20334 1111 63 0 21259 0 vsize: 85288 [startup+280.024 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 20929 0 0 0 27916 88 0 0 25 0 1 0 891441424 89300992 20826 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21802 20826 1111 63 0 21739 0 vsize: 87208 [startup+290.025 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 21270 0 0 0 28914 89 0 0 25 0 1 0 891441424 90800128 21166 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22168 21166 1111 63 0 22105 0 vsize: 88672 [startup+300.026 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 21794 0 0 0 29912 92 0 0 25 0 1 0 891441424 92987392 21690 4294967295 134512640 134716908 3221224576 3221223064 134552650 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22702 21690 1111 63 0 22639 0 vsize: 90808 [startup+310.026 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 22216 0 0 0 30910 94 0 0 25 0 1 0 891441424 94748672 22112 4294967295 134512640 134716908 3221224576 3221223200 134549809 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23132 22112 1111 63 0 23069 0 vsize: 92528 [startup+320.025 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 22569 0 0 0 31908 96 0 0 25 0 1 0 891441424 96100352 22465 4294967295 134512640 134716908 3221224576 3221223164 134535606 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23462 22465 1111 63 0 23399 0 vsize: 93848 [startup+330.025 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 22966 0 0 0 32907 97 0 0 25 0 1 0 891441424 97865728 22861 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23893 22861 1111 63 0 23830 0 vsize: 95572 [startup+340.025 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 23411 0 0 0 33906 98 0 0 25 0 1 0 891441424 99622912 23306 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24322 23306 1111 63 0 24259 0 vsize: 97288 [startup+350.026 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 23771 0 0 0 34903 101 0 0 25 0 1 0 891441424 101109760 23666 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24685 23666 1111 63 0 24622 0 vsize: 98740 [startup+360.026 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 24151 0 0 0 35901 104 0 0 25 0 1 0 891441424 102625280 24046 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25055 24046 1111 63 0 24992 0 vsize: 100220 [startup+370.027 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 24592 0 0 0 36899 106 0 0 25 0 1 0 891441424 104443904 24483 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25499 24483 1111 63 0 25436 0 vsize: 101996 [startup+380.027 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 24956 0 0 0 37897 108 0 0 25 0 1 0 891441424 106065920 24847 4294967295 134512640 134716908 3221224576 3221223072 134535383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25895 24847 1111 63 0 25832 0 vsize: 103580 [startup+390.028 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 25321 0 0 0 38896 110 0 0 25 0 1 0 891441424 107552768 25212 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26258 25212 1111 63 0 26195 0 vsize: 105032 [startup+400.029 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 25685 0 0 0 39895 111 0 0 25 0 1 0 891441424 109043712 25576 4294967295 134512640 134716908 3221224576 3221223200 134698393 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26622 25576 1111 63 0 26559 0 vsize: 106488 [startup+410.029 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 26014 0 0 0 40893 113 0 0 25 0 1 0 891441424 110260224 25905 4294967295 134512640 134716908 3221224576 3221223312 134523856 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26919 25905 1111 63 0 26856 0 vsize: 107676 [startup+420.029 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 26391 0 0 0 41892 114 0 0 25 0 1 0 891441424 111947776 26281 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27331 26281 1111 63 0 27268 0 vsize: 109324 [startup+430.03 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 26691 0 0 0 42890 116 0 0 25 0 1 0 891441424 113172480 26581 4294967295 134512640 134716908 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27630 26581 1111 63 0 27567 0 vsize: 110520 [startup+440.036 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 26986 0 0 0 43889 118 0 0 25 0 1 0 891441424 114388992 26876 4294967295 134512640 134716908 3221224576 3221223360 134529177 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27927 26876 1111 63 0 27864 0 vsize: 111708 [startup+450.037 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 27241 0 0 0 44889 119 0 0 25 0 1 0 891441424 115470336 27130 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28191 27130 1111 63 0 28128 0 vsize: 112764 [startup+460.038 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 27461 0 0 0 45888 120 0 0 25 0 1 0 891441424 116281344 27349 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28389 27349 1111 63 0 28326 0 vsize: 113556 [startup+470.038 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 27761 0 0 0 46887 121 0 0 25 0 1 0 891441424 117641216 27648 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28721 27648 1111 63 0 28658 0 vsize: 114884 [startup+480.039 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 27988 0 0 0 47886 122 0 0 25 0 1 0 891441424 118599680 27872 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28955 27872 1111 63 0 28892 0 vsize: 115820 [startup+490.039 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 28209 0 0 0 48885 123 0 0 25 0 1 0 891441424 119443456 28090 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29161 28090 1111 63 0 29098 0 vsize: 116644 [startup+500.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 28554 0 0 0 49884 124 0 0 25 0 1 0 891441424 120946688 28432 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29528 28432 1111 63 0 29465 0 vsize: 118112 [startup+510.039 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 28836 0 0 0 50883 125 0 0 25 0 1 0 891441424 122040320 28713 4294967295 134512640 134716908 3221224576 3221223312 134528656 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29795 28713 1111 63 0 29732 0 vsize: 119180 [startup+520.039 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 29100 0 0 0 51883 126 0 0 25 0 1 0 891441424 123174912 28977 4294967295 134512640 134716908 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30072 28977 1111 63 0 30009 0 vsize: 120288 [startup+530.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 29334 0 0 0 52882 127 0 0 25 0 1 0 891441424 124121088 29211 4294967295 134512640 134716908 3221224576 3221223264 134551897 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30303 29211 1111 63 0 30240 0 vsize: 121212 [startup+540.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 29546 0 0 0 53881 128 0 0 25 0 1 0 891441424 124932096 29423 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30501 29423 1111 63 0 30438 0 vsize: 122004 [startup+550.041 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 29790 0 0 0 54880 129 0 0 25 0 1 0 891441424 126046208 29666 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30773 29666 1111 63 0 30710 0 vsize: 123092 [startup+560.042 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 30108 0 0 0 55879 131 0 0 25 0 1 0 891441424 127410176 29984 4294967295 134512640 134716908 3221224576 3221223248 134543756 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31106 29984 1111 63 0 31043 0 vsize: 124424 [startup+570.042 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 30320 0 0 0 56878 131 0 0 25 0 1 0 891441424 128237568 30196 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31308 30196 1111 63 0 31245 0 vsize: 125232 [startup+580.043 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 30572 0 0 0 57878 133 0 0 25 0 1 0 891441424 129253376 30444 4294967295 134512640 134716908 3221224576 3221223216 134539460 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31556 30444 1111 63 0 31493 0 vsize: 126224 [startup+590.042 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 30812 0 0 0 58877 134 0 0 25 0 1 0 891441424 130199552 30684 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31787 30684 1111 63 0 31724 0 vsize: 127148 [startup+600.043 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 31029 0 0 0 59875 135 0 0 25 0 1 0 891441424 131182592 30901 4294967295 134512640 134716908 3221224576 3221223216 134523872 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32027 30901 1111 63 0 31964 0 vsize: 128108 [startup+610.043 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 31190 0 0 0 60875 136 0 0 25 0 1 0 891441424 131858432 31062 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32192 31062 1111 63 0 32129 0 vsize: 128768 [startup+620.043 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 31333 0 0 0 61874 136 0 0 25 0 1 0 891441424 132399104 31205 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32324 31205 1111 63 0 32261 0 vsize: 129296 [startup+630.044 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 31613 0 0 0 62873 138 0 0 25 0 1 0 891441424 133480448 31485 4294967295 134512640 134716908 3221224576 3221223168 134549668 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32588 31485 1111 63 0 32525 0 vsize: 130352 [startup+640.044 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 31832 0 0 0 63872 139 0 0 25 0 1 0 891441424 134426624 31704 4294967295 134512640 134716908 3221224576 3221223232 134536849 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32819 31704 1111 63 0 32756 0 vsize: 131276 [startup+650.045 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 32163 0 0 0 64871 140 0 0 25 0 1 0 891441424 135778304 32035 4294967295 134512640 134716908 3221224576 3221223152 134549802 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33149 32035 1111 63 0 33086 0 vsize: 132596 [startup+660.046 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 32328 0 0 0 65871 141 0 0 25 0 1 0 891441424 136544256 32198 4294967295 134512640 134716908 3221224576 3221223220 134523868 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33336 32198 1111 63 0 33273 0 vsize: 133344 [startup+670.046 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 32534 0 0 0 66870 142 0 0 25 0 1 0 891441424 137355264 32404 4294967295 134512640 134716908 3221224576 3221223360 134529177 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33534 32404 1111 63 0 33471 0 vsize: 134136 [startup+680.047 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 32800 0 0 0 67870 143 0 0 25 0 1 0 891441424 138506240 32670 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33815 32670 1111 63 0 33752 0 vsize: 135260 [startup+690.06 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 33032 0 0 0 68870 143 0 0 25 0 1 0 891441424 139452416 32902 4294967295 134512640 134716908 3221224576 3221223236 134536752 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34046 32902 1111 63 0 33983 0 vsize: 136184 [startup+700.061 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 33313 0 0 0 69869 144 0 0 25 0 1 0 891441424 140632064 33175 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34334 33175 1111 63 0 34271 0 vsize: 137336 [startup+710.062 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 33495 0 0 0 70869 145 0 0 25 0 1 0 891441424 141508608 33356 4294967295 134512640 134716908 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34548 33356 1111 63 0 34485 0 vsize: 138192 [startup+720.061 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 33674 0 0 0 71868 146 0 0 25 0 1 0 891441424 142209024 33535 4294967295 134512640 134716908 3221224576 3221223280 134528650 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34719 33535 1111 63 0 34656 0 vsize: 138876 [startup+730.061 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 33817 0 0 0 72868 147 0 0 25 0 1 0 891441424 142749696 33678 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34851 33678 1111 63 0 34788 0 vsize: 139404 [startup+740.062 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 33951 0 0 0 73867 148 0 0 25 0 1 0 891441424 143314944 33810 4294967295 134512640 134716908 3221224576 3221223232 134524259 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34989 33810 1111 63 0 34926 0 vsize: 139956 [startup+750.063 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 34126 0 0 0 74866 148 0 0 25 0 1 0 891441424 143990784 33985 4294967295 134512640 134716908 3221224576 3221223072 134535448 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35154 33985 1111 63 0 35091 0 vsize: 140616 [startup+760.064 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 34361 0 0 0 75866 149 0 0 25 0 1 0 891441424 144936960 34220 4294967295 134512640 134716908 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35385 34220 1111 63 0 35322 0 vsize: 141540 [startup+770.064 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 34582 0 0 0 76865 150 0 0 25 0 1 0 891441424 145948672 34435 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35632 34435 1111 63 0 35569 0 vsize: 142528 [startup+780.064 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 34821 0 0 0 77864 152 0 0 25 0 1 0 891441424 147030016 34674 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35896 34674 1111 63 0 35833 0 vsize: 143584 [startup+790.064 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 35081 0 0 0 78863 153 0 0 25 0 1 0 891441424 147976192 34934 4294967295 134512640 134716908 3221224576 3221223164 134535554 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36127 34934 1111 63 0 36064 0 vsize: 144508 [startup+800.065 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 35348 0 0 0 79862 154 0 0 25 0 1 0 891441424 149057536 35201 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36391 35201 1111 63 0 36328 0 vsize: 145564 [startup+810.066 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 35577 0 0 0 80861 155 0 0 25 0 1 0 891441424 150003712 35429 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36622 35429 1111 63 0 36559 0 vsize: 146488 [startup+820.066 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 35799 0 0 0 81861 156 0 0 25 0 1 0 891441424 150949888 35651 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36853 35651 1111 63 0 36790 0 vsize: 147412 [startup+830.067 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 36005 0 0 0 82859 157 0 0 25 0 1 0 891441424 151777280 35857 4294967295 134512640 134716908 3221224576 3221223360 134529240 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37055 35857 1111 63 0 36992 0 vsize: 148220 [startup+840.066 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 36222 0 0 0 83858 158 0 0 25 0 1 0 891441424 152727552 36074 4294967295 134512640 134716908 3221224576 3221223220 134523868 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37287 36074 1111 63 0 37224 0 vsize: 149148 [startup+850.068 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 36473 0 0 0 84858 159 0 0 25 0 1 0 891441424 153739264 36316 4294967295 134512640 134716908 3221224576 3221223232 134536635 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37534 36316 1111 63 0 37471 0 vsize: 150136 [startup+860.068 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 36798 0 0 0 85857 160 0 0 25 0 1 0 891441424 155090944 36641 4294967295 134512640 134716908 3221224576 3221223208 134552673 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37864 36641 1111 63 0 37801 0 vsize: 151456 [startup+870.069 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 37134 0 0 0 86856 161 0 0 25 0 1 0 891441424 156487680 36977 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38205 36977 1111 63 0 38142 0 vsize: 152820 [startup+880.069 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 37432 0 0 0 87855 163 0 0 25 0 1 0 891441424 157720576 37274 4294967295 134512640 134716908 3221224576 3221223360 134529243 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38506 37274 1111 63 0 38443 0 vsize: 154024 [startup+890.069 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 37736 0 0 0 88854 164 0 0 25 0 1 0 891441424 159129600 37578 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38850 37578 1111 63 0 38787 0 vsize: 155400 [startup+900.07 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 37995 0 0 0 89853 165 0 0 25 0 1 0 891441424 160141312 37828 4294967295 134512640 134716908 3221224576 3221223264 134551897 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 39097 37828 1111 63 0 39034 0 vsize: 156388 [startup+910.07 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 38227 0 0 0 90853 165 0 0 25 0 1 0 891441424 161087488 38060 4294967295 134512640 134716908 3221224576 3221223164 134535664 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 39328 38060 1111 63 0 39265 0 vsize: 157312 [startup+920.071 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 38427 0 0 0 91853 166 0 0 25 0 1 0 891441424 162103296 38259 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 39576 38259 1111 63 0 39513 0 vsize: 158304 [startup+930.072 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 38566 0 0 0 92853 166 0 0 25 0 1 0 891441424 162672640 38396 4294967295 134512640 134716908 3221224576 3221223168 134549751 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 39715 38396 1111 63 0 39652 0 vsize: 158860 [startup+940.072 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 38683 0 0 0 93852 166 0 0 25 0 1 0 891441424 163115008 38512 4294967295 134512640 134716908 3221224576 3221223228 134536784 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 39823 38512 1111 63 0 39760 0 vsize: 159292 [startup+950.072 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 38800 0 0 0 94852 167 0 0 25 0 1 0 891441424 163520512 38629 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 39922 38629 1111 63 0 39859 0 vsize: 159688 [startup+960.073 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 39012 0 0 0 95852 167 0 0 25 0 1 0 891441424 164466688 38841 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 40153 38842 1111 63 0 40090 0 vsize: 160612 [startup+970.073 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 39224 0 0 0 96851 168 0 0 25 0 1 0 891441424 165343232 39053 4294967295 134512640 134716908 3221224576 3221223228 134536817 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 40367 39053 1111 63 0 40304 0 vsize: 161468 [startup+980.074 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 39437 0 0 0 97850 170 0 0 25 0 1 0 891441424 166154240 39266 4294967295 134512640 134716908 3221224576 3221223244 134552682 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 40565 39266 1111 63 0 40502 0 vsize: 162260 [startup+990.075 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 39631 0 0 0 98849 171 0 0 25 0 1 0 891441424 166965248 39460 4294967295 134512640 134716908 3221224576 3221223360 134529243 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 40763 39460 1111 63 0 40700 0 vsize: 163052 [startup+1000.08 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 39816 0 0 0 99848 172 0 0 25 0 1 0 891441424 167776256 39645 4294967295 134512640 134716908 3221224576 3221223280 134528656 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 40961 39645 1111 63 0 40898 0 vsize: 163844 [startup+1010.08 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 40027 0 0 0 100847 173 0 0 25 0 1 0 891441424 168587264 39856 4294967295 134512640 134716908 3221224576 3221223360 134529243 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 41159 39856 1111 63 0 41096 0 vsize: 164636 [startup+1020.08 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 40430 0 0 0 101846 175 0 0 25 0 1 0 891441424 170209280 40259 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 41555 40259 1111 63 0 41492 0 vsize: 166220 [startup+1030.08 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 40623 0 0 0 102845 175 0 0 25 0 1 0 891441424 171020288 40452 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 41753 40452 1111 63 0 41690 0 vsize: 167012 [startup+1040.08 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 40936 0 0 0 103844 176 0 0 25 0 1 0 891441424 172224512 40683 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 42047 40683 1111 63 0 41984 0 vsize: 168188 [startup+1050.08 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 41101 0 0 0 104844 178 0 0 25 0 1 0 891441424 172900352 40848 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 42212 40848 1111 63 0 42149 0 vsize: 168848 [startup+1060.08 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 41255 0 0 0 105844 178 0 0 25 0 1 0 891441424 173625344 41002 4294967295 134512640 134716908 3221224576 3221223192 134543614 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 42389 41002 1111 63 0 42326 0 vsize: 169556 [startup+1070.08 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 41387 0 0 0 106843 179 0 0 25 0 1 0 891441424 174166016 41134 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 42521 41134 1111 63 0 42458 0 vsize: 170084 [startup+1080.08 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 41523 0 0 0 107842 180 0 0 25 0 1 0 891441424 174710784 41270 4294967295 134512640 134716908 3221224576 3221223216 134536655 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 42654 41270 1111 63 0 42591 0 vsize: 170616 [startup+1090.09 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 41687 0 0 0 108842 180 0 0 25 0 1 0 891441424 175251456 41434 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 42786 41434 1111 63 0 42723 0 vsize: 171144 [startup+1100.09 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 41848 0 0 0 109842 181 0 0 25 0 1 0 891441424 175955968 41593 4294967295 134512640 134716908 3221224576 3221223200 134549686 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 42958 41593 1111 63 0 42895 0 vsize: 171832 [startup+1110.09 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 41980 0 0 0 110841 182 0 0 25 0 1 0 891441424 176496640 41725 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 43090 41725 1111 63 0 43027 0 vsize: 172360 [startup+1120.09 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 42136 0 0 0 111841 182 0 0 25 0 1 0 891441424 177172480 41881 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 43255 41881 1111 63 0 43192 0 vsize: 173020 [startup+1130.09 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 42248 0 0 0 112840 183 0 0 25 0 1 0 891441424 177577984 41993 4294967295 134512640 134716908 3221224576 3221223168 134549594 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 43354 41993 1111 63 0 43291 0 vsize: 173416 [startup+1140.09 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 42412 0 0 0 113840 184 0 0 25 0 1 0 891441424 178282496 42154 4294967295 134512640 134716908 3221224576 3221223360 134529075 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 43526 42154 1111 63 0 43463 0 vsize: 174104 [startup+1150.09 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 42537 0 0 0 114840 184 0 0 25 0 1 0 891441424 178823168 42279 4294967295 134512640 134716908 3221224576 3221223288 134552681 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 43658 42279 1111 63 0 43595 0 vsize: 174632 [startup+1160.09 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 42630 0 0 0 115840 185 0 0 25 0 1 0 891441424 179232768 42372 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 43758 42372 1111 63 0 43695 0 vsize: 175032 [startup+1170.09 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 42936 0 0 0 116838 186 0 0 25 0 1 0 891441424 180449280 42678 4294967295 134512640 134716908 3221224576 3221223184 134548641 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 44055 42678 1111 63 0 43992 0 vsize: 176220 [startup+1174.93 s] Raw data (loadavg): 0.99 0.98 0.93 1/53 8574 Raw data (stat): 8574 (bsolo_lpr-v2) R 8573 20224 20223 0 -1 0 42936 0 0 0 116838 186 0 0 25 0 1 0 891441424 180449280 42678 4294967295 134512640 134716908 3221224576 3221223184 134548641 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 44055 42678 1111 63 0 43992 0 vsize: 0 Child status: 0 Real time (s): 1174.93 CPU time (s): 1175.1 CPU user time (s): 1173.14 CPU system time (s): 1.9527 CPU usage (%): 100.014 Max. virtual memory (Kb): 176220 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####