Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga15_15_sat_pb.cnf.cr.opb |
MD5SUM | 5845da453401bb95aae2b4a79f2952fc |
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 | 16 |
Number of bits of the biggest sum of numbers | 5 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.082987 |
Number of variables | 338 |
Total number of constraints | 270 |
Number of constraints which are clauses | 240 |
Number of constraints which are cardinality constraints (but not clauses) | 30 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 15 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-06-08 16:02:05 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28653 boxname=wulflinc4 idbench=39 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 5845da453401bb95aae2b4a79f2952fc /oldhome/oroussel/tmp/wulflinc4/normalized-fpga15_15_sat_pb.cnf.cr.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-fpga15_15_sat_pb.cnf.cr.opb IDLAUNCH: 28653 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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.169 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: 875452 kB Buffers: 18484 kB Cached: 115516 kB SwapCached: 5196 kB Active: 25292 kB Inactive: 115096 kB HighTotal: 131008 kB HighFree: 80192 kB LowTotal: 903652 kB LowFree: 795260 kB SwapTotal: 2097136 kB SwapFree: 2090912 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4904 kB Slab: 13296 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 16:21:40 (client local time) WITH STATUS 0 IN 1175.17 SECONDS stats: 28653 7 1175.17 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 338 variables and 270 constraints. c After prepocess the problem consists of 338 variables and 270 constraints. c preprocess terminated 0.216 s c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.06 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.93 0.99 0.92 1/54 1822 Raw data (stat): 1822 (runsolver) R 1821 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902907920 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.0012 s] Raw data (loadavg): 0.94 0.99 0.92 2/54 1822 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 3073 0 0 0 988 9 0 0 25 0 1 0 902907920 15740928 2991 4294967295 134512640 134716908 3221224560 3221223344 134528996 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3843 2991 1111 63 0 3780 0 vsize: 15372 [startup+20.0017 s] Raw data (loadavg): 0.95 0.99 0.92 2/54 1822 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 4204 0 0 0 1983 14 0 0 25 0 1 0 902907920 20336640 4122 4294967295 134512640 134716908 3221224560 3221223168 134543698 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4965 4122 1111 63 0 4902 0 vsize: 19860 [startup+30.0031 s] Raw data (loadavg): 0.96 0.99 0.92 2/54 1822 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 5611 0 0 0 2977 21 0 0 25 0 1 0 902907920 26148864 5529 4294967295 134512640 134716908 3221224560 3221223212 134536842 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6384 5529 1111 63 0 6321 0 vsize: 25536 [startup+40.0034 s] Raw data (loadavg): 0.96 0.99 0.92 2/54 1822 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 6335 0 0 0 3974 24 0 0 25 0 1 0 902907920 28987392 6253 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7077 6253 1111 63 0 7014 0 vsize: 28308 [startup+50.0043 s] Raw data (loadavg): 0.97 0.99 0.92 2/54 1822 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 7250 0 0 0 4970 28 0 0 25 0 1 0 902907920 32780288 7168 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8003 7168 1111 63 0 7940 0 vsize: 32012 [startup+60.0047 s] Raw data (loadavg): 0.97 0.99 0.92 2/54 1822 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 8143 0 0 0 5965 33 0 0 25 0 1 0 902907920 36433920 8061 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8895 8061 1111 63 0 8832 0 vsize: 35580 [startup+70.0063 s] Raw data (loadavg): 0.98 0.99 0.92 2/54 1822 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 8605 0 0 0 6963 36 0 0 25 0 1 0 902907920 38334464 8523 4294967295 134512640 134716908 3221224560 3221223308 134584842 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9359 8523 1111 63 0 9296 0 vsize: 37436 [startup+80.0079 s] Raw data (loadavg): 0.98 0.99 0.92 2/54 1822 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 9300 0 0 0 7959 39 0 0 25 0 1 0 902907920 41177088 9218 4294967295 134512640 134716908 3221224560 3221223312 134594947 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10053 9218 1111 63 0 9990 0 vsize: 40212 [startup+90.0081 s] Raw data (loadavg): 0.98 0.99 0.92 2/54 1822 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 9741 0 0 0 8957 41 0 0 25 0 1 0 902907920 43069440 9659 4294967295 134512640 134716908 3221224560 3221223152 134549548 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10515 9659 1111 63 0 10452 0 vsize: 42060 [startup+100.008 s] Raw data (loadavg): 0.98 0.99 0.92 2/54 1822 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 10084 0 0 0 9956 42 0 0 25 0 1 0 902907920 44421120 10002 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10845 10002 1111 63 0 10782 0 vsize: 43380 [startup+110.009 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1822 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 10928 0 0 0 10954 46 0 0 25 0 1 0 902907920 47824896 10846 4294967295 134512640 134716908 3221224560 3221223072 1076648027 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11676 10846 1111 63 0 11613 0 vsize: 46704 [startup+120.01 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1822 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 11557 0 0 0 11952 47 0 0 25 0 1 0 902907920 50540544 11475 4294967295 134512640 134716908 3221224560 3221223056 134535424 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12339 11475 1111 63 0 12276 0 vsize: 49356 [startup+130.01 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1822 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 12140 0 0 0 12949 50 0 0 25 0 1 0 902907920 52862976 12055 4294967295 134512640 134716908 3221224560 3221223244 134552632 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12906 12055 1111 63 0 12843 0 vsize: 51624 [startup+140.011 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1822 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 12522 0 0 0 13948 52 0 0 25 0 1 0 902907920 54484992 12435 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13302 12435 1111 63 0 13239 0 vsize: 53208 [startup+150.011 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1822 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 12800 0 0 0 14947 53 0 0 25 0 1 0 902907920 55705600 12713 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13600 12713 1111 63 0 13537 0 vsize: 54400 [startup+160.012 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1822 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 13109 0 0 0 15946 54 0 0 25 0 1 0 902907920 56922112 13020 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13897 13020 1111 63 0 13834 0 vsize: 55588 [startup+170.011 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1822 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 13342 0 0 0 16944 56 0 0 25 0 1 0 902907920 57872384 13253 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14129 13253 1111 63 0 14066 0 vsize: 56516 [startup+180.012 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1822 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 13627 0 0 0 17943 57 0 0 25 0 1 0 902907920 59133952 13536 4294967295 134512640 134716908 3221224560 3221223120 134542350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14437 13536 1111 63 0 14374 0 vsize: 57748 [startup+190.013 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1822 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 13928 0 0 0 18942 59 0 0 25 0 1 0 902907920 60354560 13836 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14735 13836 1111 63 0 14672 0 vsize: 58940 [startup+200.014 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1822 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 14366 0 0 0 19941 60 0 0 25 0 1 0 902907920 62308352 14271 4294967295 134512640 134716908 3221224560 3221223316 134655248 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15212 14271 1111 63 0 15149 0 vsize: 60848 [startup+210.014 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1822 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 14706 0 0 0 20939 62 0 0 25 0 1 0 902907920 63660032 14610 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15542 14610 1111 63 0 15479 0 vsize: 62168 [startup+220.015 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 14960 0 0 0 21938 63 0 0 25 0 1 0 902907920 64757760 14863 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15810 14863 1111 63 0 15747 0 vsize: 63240 [startup+230.016 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 15203 0 0 0 22937 64 0 0 25 0 1 0 902907920 65863680 15105 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16080 15105 1111 63 0 16017 0 vsize: 64320 [startup+240.016 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 15610 0 0 0 23936 66 0 0 25 0 1 0 902907920 67502080 15511 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16480 15511 1111 63 0 16417 0 vsize: 65920 [startup+250.017 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 15983 0 0 0 24935 67 0 0 25 0 1 0 902907920 69128192 15879 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16877 15879 1111 63 0 16814 0 vsize: 67508 [startup+260.017 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 16322 0 0 0 25935 67 0 0 25 0 1 0 902907920 70561792 16216 4294967295 134512640 134716908 3221224560 3221223116 134535891 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17227 16216 1111 63 0 17164 0 vsize: 68908 [startup+270.017 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 16720 0 0 0 26933 69 0 0 25 0 1 0 902907920 72183808 16611 4294967295 134512640 134716908 3221224560 3221223216 1076647581 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17623 16611 1111 63 0 17560 0 vsize: 70492 [startup+280.018 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 17141 0 0 0 27932 70 0 0 25 0 1 0 902907920 73990144 17031 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18064 17031 1111 63 0 18001 0 vsize: 72256 [startup+290.019 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 17488 0 0 0 28931 71 0 0 25 0 1 0 902907920 75493376 17377 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18431 17377 1111 63 0 18368 0 vsize: 73724 [startup+300.018 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 17732 0 0 0 29930 73 0 0 25 0 1 0 902907920 76439552 17621 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18662 17621 1111 63 0 18599 0 vsize: 74648 [startup+310.018 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 18531 0 0 0 30927 76 0 0 25 0 1 0 902907920 79695872 18420 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19457 18420 1111 63 0 19394 0 vsize: 77828 [startup+320.019 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 19942 0 0 0 31922 81 0 0 25 0 1 0 902907920 85508096 19831 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20876 19831 1111 63 0 20813 0 vsize: 83504 [startup+330.02 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 21083 0 0 0 32918 86 0 0 25 0 1 0 902907920 90234880 20972 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22030 20972 1111 63 0 21967 0 vsize: 88120 [startup+340.021 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 22449 0 0 0 33912 92 0 0 25 0 1 0 902907920 95801344 22338 4294967295 134512640 134716908 3221224560 3221223044 134699695 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23389 22338 1111 63 0 23326 0 vsize: 93556 [startup+350.021 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 23240 0 0 0 34909 95 0 0 25 0 1 0 902907920 99045376 23129 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24181 23129 1111 63 0 24118 0 vsize: 96724 [startup+360.022 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 24112 0 0 0 35906 98 0 0 25 0 1 0 902907920 102699008 24001 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25073 24001 1111 63 0 25010 0 vsize: 100292 [startup+370.022 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 24994 0 0 0 36903 101 0 0 25 0 1 0 902907920 106364928 24883 4294967295 134512640 134716908 3221224560 3221222988 1077386340 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25968 24883 1111 63 0 25905 0 vsize: 103872 [startup+380.022 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 25636 0 0 0 37900 104 0 0 25 0 1 0 902907920 108933120 25525 4294967295 134512640 134716908 3221224560 3221223200 134698465 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26595 25525 1111 63 0 26532 0 vsize: 106380 [startup+390.023 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 26348 0 0 0 38897 107 0 0 25 0 1 0 902907920 111771648 26237 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27288 26237 1111 63 0 27225 0 vsize: 109152 [startup+400.023 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 27106 0 0 0 39895 110 0 0 25 0 1 0 902907920 114892800 26995 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28050 26995 1111 63 0 27987 0 vsize: 112200 [startup+410.023 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 27694 0 0 0 40892 113 0 0 25 0 1 0 902907920 117321728 27583 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28643 27583 1111 63 0 28580 0 vsize: 114572 [startup+420.023 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 28284 0 0 0 41891 115 0 0 25 0 1 0 902907920 119771136 28173 4294967295 134512640 134716908 3221224560 3221223148 134535649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29241 28173 1111 63 0 29178 0 vsize: 116964 [startup+430.024 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 28759 0 0 0 42889 117 0 0 25 0 1 0 902907920 121667584 28646 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29704 28646 1111 63 0 29641 0 vsize: 118816 [startup+440.024 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 29239 0 0 0 43887 118 0 0 25 0 1 0 902907920 123695104 29126 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30199 29126 1111 63 0 30136 0 vsize: 120796 [startup+450.024 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 29736 0 0 0 44885 120 0 0 25 0 1 0 902907920 125722624 29623 4294967295 134512640 134716908 3221224560 3221223320 134552650 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30694 29623 1111 63 0 30631 0 vsize: 122776 [startup+460.025 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 30099 0 0 0 45884 122 0 0 25 0 1 0 902907920 127074304 29986 4294967295 134512640 134716908 3221224560 3221223300 134594953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31024 29986 1111 63 0 30961 0 vsize: 124096 [startup+470.025 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 30416 0 0 0 46883 123 0 0 25 0 1 0 902907920 128425984 30302 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31354 30302 1111 63 0 31291 0 vsize: 125416 [startup+480.026 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 30630 0 0 0 47882 125 0 0 25 0 1 0 902907920 129236992 30516 4294967295 134512640 134716908 3221224560 3221223152 134549600 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31552 30516 1111 63 0 31489 0 vsize: 126208 [startup+490.027 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 31039 0 0 0 48880 126 0 0 25 0 1 0 902907920 131059712 30925 4294967295 134512640 134716908 3221224560 3221223264 134528687 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31997 30925 1111 63 0 31934 0 vsize: 127988 [startup+500.028 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 31612 0 0 0 49878 128 0 0 25 0 1 0 902907920 133357568 31498 4294967295 134512640 134716908 3221224560 3221223116 134535649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32558 31498 1111 63 0 32495 0 vsize: 130232 [startup+510.028 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 32571 0 0 0 50875 132 0 0 25 0 1 0 902907920 137277440 32457 4294967295 134512640 134716908 3221224560 3221223324 134552560 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33515 32457 1111 63 0 33452 0 vsize: 134060 [startup+520.028 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 33441 0 0 0 51873 134 0 0 25 0 1 0 902907920 140926976 33327 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34406 33327 1111 63 0 34343 0 vsize: 137624 [startup+530.029 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 34061 0 0 0 52872 136 0 0 25 0 1 0 902907920 143368192 33947 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35002 33947 1111 63 0 34939 0 vsize: 140008 [startup+540.03 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 34742 0 0 0 53870 138 0 0 25 0 1 0 902907920 146206720 34628 4294967295 134512640 134716908 3221224560 3221223156 134542821 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35695 34628 1111 63 0 35632 0 vsize: 142780 [startup+550.03 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 35363 0 0 0 54866 141 0 0 25 0 1 0 902907920 148783104 35249 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36324 35249 1111 63 0 36261 0 vsize: 145296 [startup+560.031 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 35886 0 0 0 55865 143 0 0 25 0 1 0 902907920 150810624 35772 4294967295 134512640 134716908 3221224560 3221223344 134529237 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36819 35772 1111 63 0 36756 0 vsize: 147276 [startup+570.032 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 36413 0 0 0 56862 146 0 0 25 0 1 0 902907920 152993792 36299 4294967295 134512640 134716908 3221224560 3221223212 134536779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37352 36299 1111 63 0 37289 0 vsize: 149408 [startup+580.032 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 36883 0 0 0 57860 148 0 0 25 0 1 0 902907920 155033600 36769 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37850 36769 1111 63 0 37787 0 vsize: 151400 [startup+590.032 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 37229 0 0 0 58860 149 0 0 25 0 1 0 902907920 156385280 37115 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38180 37115 1111 63 0 38117 0 vsize: 152720 [startup+600.033 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 37592 0 0 0 59858 151 0 0 25 0 1 0 902907920 158044160 37478 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38585 37478 1111 63 0 38522 0 vsize: 154340 [startup+610.034 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 37896 0 0 0 60857 152 0 0 25 0 1 0 902907920 159260672 37782 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38882 37782 1111 63 0 38819 0 vsize: 155528 [startup+620.034 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 38198 0 0 0 61855 154 0 0 25 0 1 0 902907920 160473088 38084 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39178 38084 1111 63 0 39115 0 vsize: 156712 [startup+630.035 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 38561 0 0 0 62854 156 0 0 25 0 1 0 902907920 161955840 38447 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39540 38447 1111 63 0 39477 0 vsize: 158160 [startup+640.035 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 38875 0 0 0 63853 157 0 0 25 0 1 0 902907920 163307520 38761 4294967295 134512640 134716908 3221224560 3221223156 134549856 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39870 38761 1111 63 0 39807 0 vsize: 159480 [startup+650.035 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 39304 0 0 0 64851 158 0 0 25 0 1 0 902907920 164929536 39190 4294967295 134512640 134716908 3221224560 3221223320 134552578 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40266 39190 1111 63 0 40203 0 vsize: 161064 [startup+660.036 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 39596 0 0 0 65851 159 0 0 25 0 1 0 902907920 166146048 39482 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40563 39482 1111 63 0 40500 0 vsize: 162252 [startup+670.037 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 39961 0 0 0 66849 162 0 0 25 0 1 0 902907920 167632896 39847 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40926 39847 1111 63 0 40863 0 vsize: 163704 [startup+680.038 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 40307 0 0 0 67848 163 0 0 25 0 1 0 902907920 169119744 40193 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 41289 40193 1111 63 0 41226 0 vsize: 165156 [startup+690.039 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 40724 0 0 0 68847 164 0 0 25 0 1 0 902907920 170741760 40610 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 41685 40610 1111 63 0 41622 0 vsize: 166740 [startup+700.039 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 41004 0 0 0 69846 165 0 0 25 0 1 0 902907920 171982848 40890 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 41988 40890 1111 63 0 41925 0 vsize: 167952 [startup+710.04 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 41253 0 0 0 70845 166 0 0 25 0 1 0 902907920 172929024 41138 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42219 41138 1111 63 0 42156 0 vsize: 168876 [startup+720.039 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 41575 0 0 0 71845 167 0 0 25 0 1 0 902907920 174280704 41460 4294967295 134512640 134716908 3221224560 3221223344 134529237 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42549 41460 1111 63 0 42486 0 vsize: 170196 [startup+730.04 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 41766 0 0 0 72844 167 0 0 25 0 1 0 902907920 175099904 41651 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42749 41651 1111 63 0 42686 0 vsize: 170996 [startup+740.041 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 42080 0 0 0 73843 169 0 0 25 0 1 0 902907920 176316416 41965 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43046 41965 1111 63 0 42983 0 vsize: 172184 [startup+750.041 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 42404 0 0 0 74841 171 0 0 25 0 1 0 902907920 177729536 42285 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43391 42285 1111 63 0 43328 0 vsize: 173564 [startup+760.042 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 42848 0 0 0 75840 172 0 0 25 0 1 0 902907920 179511296 42729 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43826 42729 1111 63 0 43763 0 vsize: 175304 [startup+770.042 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 43024 0 0 0 76840 173 0 0 25 0 1 0 902907920 180330496 42905 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44026 42905 1111 63 0 43963 0 vsize: 176104 [startup+780.043 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 43171 0 0 0 77839 174 0 0 25 0 1 0 902907920 180871168 43052 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44158 43052 1111 63 0 44095 0 vsize: 176632 [startup+790.043 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 43354 0 0 0 78839 174 0 0 25 0 1 0 902907920 181694464 43233 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44359 43233 1111 63 0 44296 0 vsize: 177436 [startup+800.043 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 43507 0 0 0 79839 174 0 0 25 0 1 0 902907920 182370304 43385 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44524 43385 1111 63 0 44461 0 vsize: 178096 [startup+810.044 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 43800 0 0 0 80838 176 0 0 25 0 1 0 902907920 183451648 43678 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44788 43678 1111 63 0 44725 0 vsize: 179152 [startup+820.045 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 43968 0 0 0 81837 176 0 0 25 0 1 0 902907920 184262656 43846 4294967295 134512640 134716908 3221224560 3221223328 134529138 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44986 43846 1111 63 0 44923 0 vsize: 179944 [startup+830.046 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 44154 0 0 0 82836 177 0 0 25 0 1 0 902907920 184938496 44032 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45151 44032 1111 63 0 45088 0 vsize: 180604 [startup+840.047 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 44548 0 0 0 83836 178 0 0 25 0 1 0 902907920 186667008 44426 4294967295 134512640 134716908 3221224560 3221223116 134535978 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45573 44426 1111 63 0 45510 0 vsize: 182292 [startup+850.048 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 44916 0 0 0 84835 179 0 0 25 0 1 0 902907920 188203008 44791 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45948 44791 1111 63 0 45885 0 vsize: 183792 [startup+860.048 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 45300 0 0 0 85834 181 0 0 25 0 1 0 902907920 189689856 45175 4294967295 134512640 134716908 3221224560 3221223116 134535631 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 46311 45175 1111 63 0 46248 0 vsize: 185244 [startup+870.048 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 45709 0 0 0 86832 183 0 0 25 0 1 0 902907920 191377408 45580 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 46723 45580 1111 63 0 46660 0 vsize: 186892 [startup+880.049 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 45978 0 0 0 87831 184 0 0 25 0 1 0 902907920 192491520 45849 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 46995 45849 1111 63 0 46932 0 vsize: 187980 [startup+890.049 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 46375 0 0 0 88830 185 0 0 25 0 1 0 902907920 194146304 46242 4294967295 134512640 134716908 3221224560 3221223344 134529243 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 47399 46242 1111 63 0 47336 0 vsize: 189596 [startup+900.049 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 46680 0 0 0 89830 186 0 0 25 0 1 0 902907920 195506176 46547 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 47731 46547 1111 63 0 47668 0 vsize: 190924 [startup+910.05 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 47115 0 0 0 90828 188 0 0 25 0 1 0 902907920 197361664 46982 4294967295 134512640 134716908 3221224560 3221223240 134552650 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48184 46982 1111 63 0 48121 0 vsize: 192736 [startup+920.05 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 47458 0 0 0 91827 189 0 0 25 0 1 0 902907920 198750208 47322 4294967295 134512640 134716908 3221224560 3221223344 134529401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48523 47322 1111 63 0 48460 0 vsize: 194092 [startup+930.05 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 47771 0 0 0 92825 191 0 0 25 0 1 0 902907920 200101888 47635 4294967295 134512640 134716908 3221224560 3221223320 134552650 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48853 47635 1111 63 0 48790 0 vsize: 195412 [startup+940.051 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 48214 0 0 0 93824 193 0 0 25 0 1 0 902907920 201916416 48076 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 49296 48076 1111 63 0 49233 0 vsize: 197184 [startup+950.051 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 48577 0 0 0 94823 193 0 0 25 0 1 0 902907920 203403264 48439 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 49659 48439 1111 63 0 49596 0 vsize: 198636 [startup+960.052 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 48809 0 0 0 95822 194 0 0 25 0 1 0 902907920 204390400 48666 4294967295 134512640 134716908 3221224560 3221223264 134528671 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 49900 48666 1111 63 0 49837 0 vsize: 199600 [startup+970.053 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 49198 0 0 0 96821 196 0 0 25 0 1 0 902907920 206012416 49055 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50296 49055 1111 63 0 50233 0 vsize: 201184 [startup+980.054 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 49502 0 0 0 97820 197 0 0 25 0 1 0 902907920 207294464 49350 4294967295 134512640 134716908 3221224560 3221223148 134535631 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50609 49350 1111 63 0 50546 0 vsize: 202436 [startup+990.054 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 49777 0 0 0 98820 198 0 0 25 0 1 0 902907920 208375808 49625 4294967295 134512640 134716908 3221224560 3221223328 134529376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50873 49625 1111 63 0 50810 0 vsize: 203492 [startup+1000.05 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 49939 0 0 0 99819 199 0 0 25 0 1 0 902907920 209051648 49787 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 51038 49787 1111 63 0 50975 0 vsize: 204152 [startup+1010.06 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 50185 0 0 0 100818 199 0 0 25 0 1 0 902907920 210006016 50033 4294967295 134512640 134716908 3221224560 3221223052 134552632 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 51271 50033 1111 63 0 51208 0 vsize: 205084 [startup+1020.05 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 50523 0 0 0 101817 201 0 0 25 0 1 0 902907920 211410944 50371 4294967295 134512640 134716908 3221224560 3221223212 134536825 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 51614 50371 1111 63 0 51551 0 vsize: 206456 [startup+1030.06 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 50735 0 0 0 102816 202 0 0 25 0 1 0 902907920 212357120 50583 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 51845 50583 1111 63 0 51782 0 vsize: 207380 [startup+1040.06 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 50936 0 0 0 103816 203 0 0 25 0 1 0 902907920 213172224 50784 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 52044 50784 1111 63 0 51981 0 vsize: 208176 [startup+1050.06 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 51152 0 0 0 104815 204 0 0 25 0 1 0 902907920 214114304 51000 4294967295 134512640 134716908 3221224560 3221223184 134551963 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 52274 51000 1111 63 0 52211 0 vsize: 209096 [startup+1060.06 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 51379 0 0 0 105814 205 0 0 25 0 1 0 902907920 215060480 51227 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 52505 51227 1111 63 0 52442 0 vsize: 210020 [startup+1070.06 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 51430 0 0 0 106813 205 0 0 25 0 1 0 902907920 215363584 51277 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 52579 51277 1111 63 0 52516 0 vsize: 210316 [startup+1080.06 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 51624 0 0 0 107813 206 0 0 25 0 1 0 902907920 216043520 51469 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 52745 51469 1111 63 0 52682 0 vsize: 210980 [startup+1090.06 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 51884 0 0 0 108812 207 0 0 25 0 1 0 902907920 217190400 51720 4294967295 134512640 134716908 3221224560 3221223148 134535891 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53025 51720 1111 63 0 52962 0 vsize: 212100 [startup+1100.06 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 52223 0 0 0 109811 208 0 0 25 0 1 0 902907920 218542080 52059 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53355 52059 1111 63 0 53292 0 vsize: 213420 [startup+1110.06 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 52556 0 0 0 110810 209 0 0 25 0 1 0 902907920 219963392 52387 4294967295 134512640 134716908 3221224560 3221223248 134551897 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53702 52387 1111 63 0 53639 0 vsize: 214808 [startup+1120.06 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 52749 0 0 0 111809 210 0 0 25 0 1 0 902907920 220774400 52580 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53900 52580 1111 63 0 53837 0 vsize: 215600 [startup+1130.06 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 53054 0 0 0 112809 211 0 0 25 0 1 0 902907920 221986816 52885 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54196 52885 1111 63 0 54133 0 vsize: 216784 [startup+1140.06 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 53272 0 0 0 113808 212 0 0 25 0 1 0 902907920 222932992 53103 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54427 53103 1111 63 0 54364 0 vsize: 217708 [startup+1150.06 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 53508 0 0 0 114808 213 0 0 25 0 1 0 902907920 223903744 53339 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54664 53339 1111 63 0 54601 0 vsize: 218656 [startup+1160.06 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 53698 0 0 0 115807 213 0 0 25 0 1 0 902907920 224645120 53529 4294967295 134512640 134716908 3221224560 3221223328 134529381 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54845 53529 1111 63 0 54782 0 vsize: 219380 [startup+1170.06 s] Raw data (loadavg): 0.99 0.99 0.92 2/54 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 53957 0 0 0 116807 214 0 0 25 0 1 0 902907920 225726464 53788 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 55109 53788 1111 63 0 55046 0 vsize: 220436 [startup+1175.02 s] Raw data (loadavg): 0.99 0.99 0.92 1/53 1824 Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 53957 0 0 0 116807 214 0 0 25 0 1 0 902907920 225726464 53788 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 55109 53788 1111 63 0 55046 0 vsize: 0 Child status: 0 Real time (s): 1175.02 CPU time (s): 1175.17 CPU user time (s): 1172.92 CPU system time (s): 2.25366 CPU usage (%): 100.013 Max. virtual memory (Kb): 220436 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####