Name | normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb |
MD5SUM | 6049145b9f1adfd7114adf044503d587 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2642 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 748 |
Biggest coefficient in the objective function | 240 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 33855 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 240 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 33855 |
Number of bits of the biggest sum of numbers | 16 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02984 |
Number of variables | 907 |
Total number of constraints | 1309 |
Number of constraints which are clauses | 126 |
Number of constraints which are cardinality constraints (but not clauses) | 1183 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 134 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-15 00:01:55 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=3215 boxname=wulflinc31 idbench=358 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 6049145b9f1adfd7114adf044503d587 /oldhome/oroussel/tmp/wulflinc31/normalized-ws97-5.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ws97-5.opb IDLAUNCH: 3215 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 821432 kB Buffers: 40184 kB Cached: 151412 kB SwapCached: 1932 kB Active: 155464 kB Inactive: 39356 kB HighTotal: 131008 kB HighFree: 616 kB LowTotal: 903652 kB LowFree: 820816 kB SwapTotal: 2097892 kB SwapFree: 2095228 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5364 kB Slab: 12616 kB Committed_AS: 63820 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-15 00:21:30 (client local time) WITH STATUS 0 IN 1175.05 SECONDS stats: 3215 7 1175.05 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 907 variables and 663 constraints. c After prepocess the problem consists of 899 variables and 669 constraints. c preprocess terminated 0.754 s c Initial Lower Bound: 133 c Lower Bound Elapsed time: 0.209 c Use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.02 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 1.09 1.07 1.02 2/55 29552 Raw data (stat): 29552 (runsolver) D 29551 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 747971244 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 3225161850 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0005 s] Raw data (loadavg): 1.08 1.07 1.02 2/55 29552 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 4142 0 0 0 981 14 0 0 25 0 1 0 747971244 7073792 1024 4294967295 134512640 134714508 3221221792 3221220176 1074153749 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1727 1024 1111 63 0 1664 0 vsize: 6908 [startup+20.0015 s] Raw data (loadavg): 1.07 1.06 1.02 2/55 29552 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 8011 0 0 0 1970 26 0 0 25 0 1 0 747971244 7761920 1108 4294967295 134512640 134714508 3221221792 3221218020 1075115003 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1895 1108 1111 63 0 1832 0 vsize: 7580 [startup+30.0029 s] Raw data (loadavg): 1.06 1.06 1.02 2/55 29552 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 14210 0 0 0 2955 41 0 0 25 0 1 0 747971244 7737344 1106 4294967295 134512640 134714508 3221221792 3221218032 1075115726 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1889 1106 1111 63 0 1826 0 vsize: 7556 [startup+40.0033 s] Raw data (loadavg): 1.05 1.06 1.02 2/55 29552 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 21266 0 0 0 3936 60 0 0 25 0 1 0 747971244 7073792 1027 4294967295 134512640 134714508 3221221792 3221220068 1077374467 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1727 1027 1111 63 0 1664 0 vsize: 6908 [startup+50.0043 s] Raw data (loadavg): 1.04 1.06 1.02 2/55 29552 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 29360 0 0 0 4916 80 0 0 25 0 1 0 747971244 7778304 1111 4294967295 134512640 134714508 3221221792 3221218160 1075894487 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1899 1111 1111 63 0 1836 0 vsize: 7596 [startup+60.0042 s] Raw data (loadavg): 1.03 1.05 1.02 2/55 29552 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 37327 0 0 0 5896 100 0 0 25 0 1 0 747971244 7106560 1036 4294967295 134512640 134714508 3221221792 3221219816 1077380592 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1735 1036 1111 63 0 1672 0 vsize: 6940 [startup+70.0051 s] Raw data (loadavg): 1.03 1.05 1.02 2/55 29552 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 45186 0 0 0 6876 120 0 0 25 0 1 0 747971244 7118848 1040 4294967295 134512640 134714508 3221221792 3221220192 1074153753 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1738 1040 1111 63 0 1675 0 vsize: 6952 [startup+80.006 s] Raw data (loadavg): 1.02 1.05 1.01 2/55 29552 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 53240 0 0 0 7854 142 0 0 25 0 1 0 747971244 7118848 1040 4294967295 134512640 134714508 3221221792 3221220176 1074153800 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1738 1040 1111 63 0 1675 0 vsize: 6952 [startup+90.0191 s] Raw data (loadavg): 1.02 1.05 1.01 2/55 29552 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 61376 0 0 0 8834 164 0 0 25 0 1 0 747971244 7118848 1040 4294967295 134512640 134714508 3221221792 3221220104 1074138144 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1738 1040 1111 63 0 1675 0 vsize: 6952 [startup+100.019 s] Raw data (loadavg): 1.02 1.05 1.01 2/55 29552 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 69609 0 0 0 9814 184 0 0 25 0 1 0 747971244 7118848 1040 4294967295 134512640 134714508 3221221792 3221220192 1074153749 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1738 1040 1111 63 0 1675 0 vsize: 6952 [startup+110.019 s] Raw data (loadavg): 1.01 1.04 1.01 2/55 29552 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 77870 0 0 0 10793 205 0 0 25 0 1 0 747971244 7118848 1040 4294967295 134512640 134714508 3221221792 3221220088 1074138166 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1738 1040 1111 63 0 1675 0 vsize: 6952 [startup+120.02 s] Raw data (loadavg): 1.01 1.04 1.01 2/55 29552 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 86315 0 0 0 11771 228 0 0 25 0 1 0 747971244 7118848 1040 4294967295 134512640 134714508 3221221792 3221220104 1073987077 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1738 1040 1111 63 0 1675 0 vsize: 6952 [startup+130.02 s] Raw data (loadavg): 1.01 1.04 1.01 2/55 29552 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 94473 0 0 0 12749 249 0 0 25 0 1 0 747971244 7118848 1040 4294967295 134512640 134714508 3221221792 3221220052 1077374469 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1738 1040 1111 63 0 1675 0 vsize: 6952 [startup+140.021 s] Raw data (loadavg): 1.01 1.04 1.01 2/55 29552 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 102825 0 0 0 13728 271 0 0 25 0 1 0 747971244 7131136 1043 4294967295 134512640 134714508 3221221792 3221220044 1077411564 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1741 1043 1111 63 0 1678 0 vsize: 6964 [startup+150.022 s] Raw data (loadavg): 1.00 1.04 1.01 2/55 29552 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 111211 0 0 0 14707 292 0 0 25 0 1 0 747971244 7794688 1113 4294967295 134512640 134714508 3221221792 3221217756 1074860617 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1903 1113 1111 63 0 1840 0 vsize: 7612 [startup+160.021 s] Raw data (loadavg): 1.00 1.03 1.01 2/55 29552 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 119165 0 0 0 15687 313 0 0 25 0 1 0 747971244 7118848 1040 4294967295 134512640 134714508 3221221792 3221218328 1077380592 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1738 1040 1111 63 0 1675 0 vsize: 6952 [startup+170.021 s] Raw data (loadavg): 1.00 1.03 1.01 2/55 29552 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 127395 0 0 0 16666 334 0 0 25 0 1 0 747971244 7131136 1043 4294967295 134512640 134714508 3221221792 3221220192 1074153669 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1741 1043 1111 63 0 1678 0 vsize: 6964 [startup+180.021 s] Raw data (loadavg): 1.00 1.03 1.00 2/55 29552 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 135560 0 0 0 17645 355 0 0 25 0 1 0 747971244 7131136 1043 4294967295 134512640 134714508 3221221792 3221220088 1074138144 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1741 1043 1111 63 0 1678 0 vsize: 6964 [startup+190.022 s] Raw data (loadavg): 1.00 1.03 1.00 2/55 29552 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 143757 0 0 0 18623 377 0 0 25 0 1 0 747971244 7131136 1043 4294967295 134512640 134714508 3221221792 3221220464 134650213 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1741 1043 1111 63 0 1678 0 vsize: 6964 [startup+200.022 s] Raw data (loadavg): 1.00 1.03 1.00 2/55 29552 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 151899 0 0 0 19602 398 0 0 25 0 1 0 747971244 7852032 1121 4294967295 134512640 134714508 3221221792 3221217952 1075091442 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1917 1122 1111 63 0 1854 0 vsize: 7668 [startup+210.022 s] Raw data (loadavg): 1.00 1.03 1.00 2/55 29552 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 160168 0 0 0 20581 419 0 0 25 0 1 0 747971244 7131136 1043 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1741 1043 1111 63 0 1678 0 vsize: 6964 [startup+220.023 s] Raw data (loadavg): 1.00 1.03 1.00 2/55 29552 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 168601 0 0 0 21561 439 0 0 25 0 1 0 747971244 7131136 1043 4294967295 134512640 134714508 3221221792 3221220176 1074153736 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1741 1043 1111 63 0 1678 0 vsize: 6964 [startup+230.023 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 177068 0 0 0 22539 462 0 0 25 0 1 0 747971244 7131136 1043 4294967295 134512640 134714508 3221221792 3221219792 1074056195 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1741 1043 1111 63 0 1678 0 vsize: 6964 [startup+240.024 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 185402 0 0 0 23519 481 0 0 25 0 1 0 747971244 7675904 1059 4294967295 134512640 134714508 3221221792 3221218912 1074834461 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1874 1059 1111 63 0 1811 0 vsize: 7496 [startup+250.024 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 193577 0 0 0 24498 502 0 0 25 0 1 0 747971244 7741440 1126 4294967295 134512640 134714508 3221221792 3221218128 1075114277 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1890 1126 1111 63 0 1827 0 vsize: 7560 [startup+260.024 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 201743 0 0 0 25477 524 0 0 25 0 1 0 747971244 7131136 1043 4294967295 134512640 134714508 3221221792 3221220192 1074153773 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1741 1043 1111 63 0 1678 0 vsize: 6964 [startup+270.024 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 209887 0 0 0 26457 544 0 0 25 0 1 0 747971244 7299072 1044 4294967295 134512640 134714508 3221221792 3221219904 1074867320 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1782 1044 1111 63 0 1719 0 vsize: 7128 [startup+280.024 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 218202 0 0 0 27435 566 0 0 25 0 1 0 747971244 7192576 1057 4294967295 134512640 134714508 3221221792 3221220192 1074118815 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1756 1057 1111 63 0 1693 0 vsize: 7024 [startup+290.024 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 226545 0 0 0 28414 587 0 0 25 0 1 0 747971244 7147520 1045 4294967295 134512640 134714508 3221221792 3221218896 1074138630 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1745 1045 1111 63 0 1682 0 vsize: 6980 [startup+300.024 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 235075 0 0 0 29392 610 0 0 25 0 1 0 747971244 7147520 1046 4294967295 134512640 134714508 3221221792 3221218896 1074138813 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1745 1046 1111 63 0 1682 0 vsize: 6980 [startup+310.025 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 243251 0 0 0 30371 631 0 0 25 0 1 0 747971244 7131136 1043 4294967295 134512640 134714508 3221221792 3221219720 1077378621 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1741 1043 1111 63 0 1678 0 vsize: 6964 [startup+320.025 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 251634 0 0 0 31348 654 0 0 25 0 1 0 747971244 7847936 1131 4294967295 134512640 134714508 3221221792 3221218020 1075114937 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1916 1131 1111 63 0 1853 0 vsize: 7664 [startup+330.025 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 259998 0 0 0 32328 674 0 0 25 0 1 0 747971244 7131136 1043 4294967295 134512640 134714508 3221221792 3221220192 1074153753 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1741 1043 1111 63 0 1678 0 vsize: 6964 [startup+340.025 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 268358 0 0 0 33305 697 0 0 25 0 1 0 747971244 7131136 1043 4294967295 134512640 134714508 3221221792 3221220168 1073987068 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1741 1043 1111 63 0 1678 0 vsize: 6964 [startup+350.025 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 276734 0 0 0 34284 719 0 0 25 0 1 0 747971244 7131136 1043 4294967295 134512640 134714508 3221221792 3221220104 1074138162 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1741 1043 1111 63 0 1678 0 vsize: 6964 [startup+360.025 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 285297 0 0 0 35262 740 0 0 25 0 1 0 747971244 7147520 1047 4294967295 134512640 134714508 3221221792 3221219252 1077782939 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1745 1047 1111 63 0 1682 0 vsize: 6980 [startup+370.025 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 293753 0 0 0 36240 763 0 0 25 0 1 0 747971244 7204864 1060 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1759 1060 1111 63 0 1696 0 vsize: 7036 [startup+380.025 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 302303 0 0 0 37216 787 0 0 25 0 1 0 747971244 7196672 1046 4294967295 134512640 134714508 3221221792 3221219792 1074916935 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1757 1046 1111 63 0 1694 0 vsize: 7028 [startup+390.026 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 311071 0 0 0 38192 811 0 0 25 0 1 0 747971244 7213056 1063 4294967295 134512640 134714508 3221221792 3221219368 1077410163 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1745 1047 1111 63 0 1682 0 vsize: 7044 [startup+400.026 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 319044 0 0 0 39172 831 0 0 25 0 1 0 747971244 7184384 1056 4294967295 134512640 134714508 3221221792 3221220640 134623453 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1754 1056 1111 63 0 1691 0 vsize: 7016 [startup+410.026 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 326345 0 0 0 40153 850 0 0 25 0 1 0 747971244 7168000 1052 4294967295 134512640 134714508 3221221792 3221220088 1074138150 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1750 1052 1111 63 0 1687 0 vsize: 7000 [startup+420.027 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 333864 0 0 0 41133 871 0 0 25 0 1 0 747971244 7168000 1052 4294967295 134512640 134714508 3221221792 3221220104 1074138162 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1750 1052 1111 63 0 1687 0 vsize: 7000 [startup+430.027 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 341251 0 0 0 42114 890 0 0 25 0 1 0 747971244 7307264 1053 4294967295 134512640 134714508 3221221792 3221219904 1074867305 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1784 1053 1111 63 0 1721 0 vsize: 7136 [startup+440.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 348924 0 0 0 43093 911 0 0 25 0 1 0 747971244 7663616 1069 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1871 1069 1111 63 0 1808 0 vsize: 7484 [startup+450.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 356547 0 0 0 44074 931 0 0 25 0 1 0 747971244 7860224 1123 4294967295 134512640 134714508 3221221792 3221217952 1075091442 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1919 1123 1111 63 0 1856 0 vsize: 7676 [startup+460.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 364220 0 0 0 45055 949 0 0 25 0 1 0 747971244 7168000 1052 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1750 1052 1111 63 0 1687 0 vsize: 7000 [startup+470.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 372046 0 0 0 46036 969 0 0 25 0 1 0 747971244 7864320 1135 4294967295 134512640 134714508 3221221792 3221217756 1074860583 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1920 1135 1111 63 0 1857 0 vsize: 7680 [startup+480.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 379801 0 0 0 47016 989 0 0 25 0 1 0 747971244 7168000 1052 4294967295 134512640 134714508 3221221792 3221220168 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1750 1052 1111 63 0 1687 0 vsize: 7000 [startup+490.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 387654 0 0 0 47996 1009 0 0 25 0 1 0 747971244 7168000 1052 4294967295 134512640 134714508 3221221792 3221220176 1074153779 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1750 1052 1111 63 0 1687 0 vsize: 7000 [startup+500.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 395614 0 0 0 48975 1030 0 0 25 0 1 0 747971244 7168000 1052 4294967295 134512640 134714508 3221221792 3221220464 134650233 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1750 1052 1111 63 0 1687 0 vsize: 7000 [startup+510.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 403703 0 0 0 49954 1051 0 0 25 0 1 0 747971244 7184384 1056 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1754 1056 1111 63 0 1691 0 vsize: 7016 [startup+520.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 411077 0 0 0 50936 1069 0 0 25 0 1 0 747971244 7843840 1124 4294967295 134512640 134714508 3221221792 3221218128 1075114265 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1915 1124 1111 63 0 1852 0 vsize: 7660 [startup+530.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 417934 0 0 0 51919 1087 0 0 25 0 1 0 747971244 7168000 1052 4294967295 134512640 134714508 3221221792 3221220104 1074138150 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1750 1052 1111 63 0 1687 0 vsize: 7000 [startup+540.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 424779 0 0 0 52902 1104 0 0 25 0 1 0 747971244 7839744 1131 4294967295 134512640 134714508 3221221792 3221217976 1075964113 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1914 1131 1111 63 0 1851 0 vsize: 7656 [startup+550.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 431813 0 0 0 53884 1122 0 0 25 0 1 0 747971244 7168000 1052 4294967295 134512640 134714508 3221221792 3221219768 1074051985 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1750 1052 1111 63 0 1687 0 vsize: 7000 [startup+560.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 438778 0 0 0 54866 1141 0 0 25 0 1 0 747971244 7675904 1093 4294967295 134512640 134714508 3221221792 3221218020 1075114950 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1874 1093 1111 63 0 1811 0 vsize: 7496 [startup+570.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 445839 0 0 0 55846 1160 0 0 25 0 1 0 747971244 7168000 1052 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1750 1052 1111 63 0 1687 0 vsize: 7000 [startup+580.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 452978 0 0 0 56827 1179 0 0 25 0 1 0 747971244 7184384 1056 4294967295 134512640 134714508 3221221792 3221219704 1074138256 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1754 1056 1111 63 0 1691 0 vsize: 7016 [startup+590.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 460112 0 0 0 57808 1199 0 0 25 0 1 0 747971244 7168000 1052 4294967295 134512640 134714508 3221221792 3221220164 1074153295 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1750 1052 1111 63 0 1687 0 vsize: 7000 [startup+600.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 467469 0 0 0 58789 1218 0 0 25 0 1 0 747971244 7856128 1131 4294967295 134512640 134714508 3221221792 3221218200 1075894405 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1918 1131 1111 63 0 1855 0 vsize: 7672 [startup+610.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 474468 0 0 0 59771 1236 0 0 25 0 1 0 747971244 7184384 1056 4294967295 134512640 134714508 3221221792 3221220432 134649075 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1754 1056 1111 63 0 1691 0 vsize: 7016 [startup+620.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 481329 0 0 0 60753 1255 0 0 25 0 1 0 747971244 7168000 1052 4294967295 134512640 134714508 3221221792 3221220076 1077374497 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1750 1052 1111 63 0 1687 0 vsize: 7000 [startup+630.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 488290 0 0 0 61733 1274 0 0 25 0 1 0 747971244 7168000 1052 4294967295 134512640 134714508 3221221792 3221220192 1074153753 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1750 1052 1111 63 0 1687 0 vsize: 7000 [startup+640.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 495306 0 0 0 62716 1292 0 0 25 0 1 0 747971244 7184384 1056 4294967295 134512640 134714508 3221221792 3221220452 134649897 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1754 1056 1111 63 0 1691 0 vsize: 7016 [startup+650.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 502245 0 0 0 63697 1311 0 0 25 0 1 0 747971244 7184384 1056 4294967295 134512640 134714508 3221221792 3221219576 1077410205 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1754 1056 1111 63 0 1691 0 vsize: 7016 [startup+660.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 509430 0 0 0 64677 1331 0 0 25 0 1 0 747971244 7184384 1056 4294967295 134512640 134714508 3221221792 3221220152 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1754 1056 1111 63 0 1691 0 vsize: 7016 [startup+670.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 516149 0 0 0 65660 1349 0 0 25 0 1 0 747971244 7184384 1056 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1754 1056 1111 63 0 1691 0 vsize: 7016 [startup+680.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 522779 0 0 0 66642 1367 0 0 25 0 1 0 747971244 7184384 1056 4294967295 134512640 134714508 3221221792 3221219792 1074916669 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1754 1056 1111 63 0 1691 0 vsize: 7016 [startup+690.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 529589 0 0 0 67625 1384 0 0 25 0 1 0 747971244 7843840 1124 4294967295 134512640 134714508 3221221792 3221217952 1075091415 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1915 1124 1111 63 0 1852 0 vsize: 7660 [startup+700.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 536489 0 0 0 68606 1403 0 0 25 0 1 0 747971244 7184384 1056 4294967295 134512640 134714508 3221221792 3221220032 1077404709 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1754 1056 1111 63 0 1691 0 vsize: 7016 [startup+710.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 543219 0 0 0 69588 1421 0 0 25 0 1 0 747971244 7184384 1056 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1754 1056 1111 63 0 1691 0 vsize: 7016 [startup+720.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 550220 0 0 0 70568 1441 0 0 25 0 1 0 747971244 7184384 1056 4294967295 134512640 134714508 3221221792 3221220192 1074153663 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1754 1056 1111 63 0 1691 0 vsize: 7016 [startup+730.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 557319 0 0 0 71551 1459 0 0 25 0 1 0 747971244 7184384 1056 4294967295 134512640 134714508 3221221792 3221220192 1074153663 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1754 1056 1111 63 0 1691 0 vsize: 7016 [startup+740.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 564278 0 0 0 72530 1479 0 0 25 0 1 0 747971244 7700480 1070 4294967295 134512640 134714508 3221221792 3221218684 1074786323 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1880 1070 1111 63 0 1817 0 vsize: 7520 [startup+750.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 571395 0 0 0 73511 1499 0 0 25 0 1 0 747971244 7688192 1065 4294967295 134512640 134714508 3221221792 3221218780 1077404742 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1877 1068 1111 63 0 1814 0 vsize: 7508 [startup+760.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 578459 0 0 0 74491 1519 0 0 25 0 1 0 747971244 7196672 1057 4294967295 134512640 134714508 3221221792 3221220252 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1757 1057 1111 63 0 1694 0 vsize: 7028 [startup+770.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 585659 0 0 0 75471 1539 0 0 25 0 1 0 747971244 7184384 1056 4294967295 134512640 134714508 3221221792 3221220152 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1754 1056 1111 63 0 1691 0 vsize: 7016 [startup+780.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 592935 0 0 0 76451 1560 0 0 25 0 1 0 747971244 7184384 1056 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1754 1056 1111 63 0 1691 0 vsize: 7016 [startup+790.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 600217 0 0 0 77432 1579 0 0 25 0 1 0 747971244 7852032 1132 4294967295 134512640 134714508 3221221792 3221217884 1075663503 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1917 1132 1111 63 0 1854 0 vsize: 7668 [startup+800.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 607572 0 0 0 78411 1600 0 0 25 0 1 0 747971244 7184384 1056 4294967295 134512640 134714508 3221221792 3221219816 1077380592 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1754 1056 1111 63 0 1691 0 vsize: 7016 [startup+810.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 614925 0 0 0 79391 1620 0 0 25 0 1 0 747971244 7184384 1056 4294967295 134512640 134714508 3221221792 3221220176 1074153736 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1754 1056 1111 63 0 1691 0 vsize: 7016 [startup+820.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 622097 0 0 0 80371 1640 0 0 25 0 1 0 747971244 7319552 1057 4294967295 134512640 134714508 3221221792 3221219520 1075828462 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1787 1057 1111 63 0 1724 0 vsize: 7148 [startup+830.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 629382 0 0 0 81353 1659 0 0 25 0 1 0 747971244 7196672 1059 4294967295 134512640 134714508 3221221792 3221220592 134597766 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1757 1059 1111 63 0 1694 0 vsize: 7028 [startup+840.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 636553 0 0 0 82333 1679 0 0 25 0 1 0 747971244 7184384 1056 4294967295 134512640 134714508 3221221792 3221220176 1074153675 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1754 1056 1111 63 0 1691 0 vsize: 7016 [startup+850.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 643958 0 0 0 83314 1698 0 0 25 0 1 0 747971244 7184384 1056 4294967295 134512640 134714508 3221221792 3221218792 1074138150 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1754 1056 1111 63 0 1691 0 vsize: 7016 [startup+860.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 651422 0 0 0 84294 1718 0 0 25 0 1 0 747971244 7184384 1056 4294967295 134512640 134714508 3221221792 3221220176 1074153673 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1754 1056 1111 63 0 1691 0 vsize: 7016 [startup+870.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 658882 0 0 0 85277 1736 0 0 25 0 1 0 747971244 7184384 1056 4294967295 134512640 134714508 3221221792 3221220176 1074153672 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1754 1056 1111 63 0 1691 0 vsize: 7016 [startup+880.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 666546 0 0 0 86259 1754 0 0 25 0 1 0 747971244 7184384 1056 4294967295 134512640 134714508 3221221792 3221220104 1074138162 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1754 1056 1111 63 0 1691 0 vsize: 7016 [startup+890.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 673901 0 0 0 87241 1772 0 0 25 0 1 0 747971244 7847936 1100 4294967295 134512640 134714508 3221221792 3221217952 1075095371 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1916 1110 1111 63 0 1853 0 vsize: 7664 [startup+900.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 681398 0 0 0 88221 1792 0 0 25 0 1 0 747971244 7852032 1084 4294967295 134512640 134714508 3221221792 3221217952 1075095371 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1917 1095 1111 63 0 1854 0 vsize: 7668 [startup+910.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 688988 0 0 0 89201 1812 0 0 25 0 1 0 747971244 7843840 1133 4294967295 134512640 134714508 3221221792 3221217980 1075006388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1915 1133 1111 63 0 1852 0 vsize: 7660 [startup+920.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 696020 0 0 0 90182 1831 0 0 25 0 1 0 747971244 7184384 1056 4294967295 134512640 134714508 3221221792 3221220176 1074153792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1754 1056 1111 63 0 1691 0 vsize: 7016 [startup+930.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 703226 0 0 0 91163 1850 0 0 25 0 1 0 747971244 7847936 1132 4294967295 134512640 134714508 3221221792 3221217792 1075965240 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1916 1132 1111 63 0 1853 0 vsize: 7664 [startup+940.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 710531 0 0 0 92144 1869 0 0 25 0 1 0 747971244 7184384 1056 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1754 1056 1111 63 0 1691 0 vsize: 7016 [startup+950.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 717907 0 0 0 93125 1889 0 0 25 0 1 0 747971244 7835648 1077 4294967295 134512640 134714508 3221221792 3221217952 1075095344 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1913 1089 1111 63 0 1850 0 vsize: 7652 [startup+960.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 725111 0 0 0 94107 1907 0 0 25 0 1 0 747971244 7839744 1121 4294967295 134512640 134714508 3221221792 3221217884 1075663518 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1914 1121 1111 63 0 1851 0 vsize: 7656 [startup+970.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 732370 0 0 0 95090 1925 0 0 25 0 1 0 747971244 7217152 1064 4294967295 134512640 134714508 3221221792 3221220192 1074118815 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1762 1064 1111 63 0 1699 0 vsize: 7048 [startup+980.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 739817 0 0 0 96071 1943 0 0 25 0 1 0 747971244 7184384 1056 4294967295 134512640 134714508 3221221792 3221220124 1074138112 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1754 1056 1111 63 0 1691 0 vsize: 7016 [startup+990.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 747351 0 0 0 97052 1963 0 0 25 0 1 0 747971244 7847936 1132 4294967295 134512640 134714508 3221221792 3221218368 1076046888 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1916 1132 1111 63 0 1853 0 vsize: 7664 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 754873 0 0 0 98032 1983 0 0 25 0 1 0 747971244 7217152 1064 4294967295 134512640 134714508 3221221792 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1762 1064 1111 63 0 1699 0 vsize: 7048 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 762182 0 0 0 99012 2003 0 0 25 0 1 0 747971244 7184384 1056 4294967295 134512640 134714508 3221221792 3221220192 1074153675 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1754 1056 1111 63 0 1691 0 vsize: 7016 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 769495 0 0 0 99994 2021 0 0 25 0 1 0 747971244 7835648 1132 4294967295 134512640 134714508 3221221792 3221217756 1074860626 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1913 1133 1111 63 0 1850 0 vsize: 7652 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 776981 0 0 0 100974 2042 0 0 25 0 1 0 747971244 7331840 1057 4294967295 134512640 134714508 3221221792 3221219632 1075798488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1790 1057 1111 63 0 1727 0 vsize: 7160 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 784309 0 0 0 101954 2062 0 0 25 0 1 0 747971244 7184384 1056 4294967295 134512640 134714508 3221221792 3221220176 1074153806 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1754 1056 1111 63 0 1691 0 vsize: 7016 [startup+1050.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 791791 0 0 0 102935 2081 0 0 25 0 1 0 747971244 7184384 1056 4294967295 134512640 134714508 3221221792 3221220416 134650068 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1754 1056 1111 63 0 1691 0 vsize: 7016 [startup+1060.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 799436 0 0 0 103916 2100 0 0 25 0 1 0 747971244 7184384 1056 4294967295 134512640 134714508 3221221792 3221220152 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1754 1056 1111 63 0 1691 0 vsize: 7016 [startup+1070.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 807560 0 0 0 104894 2122 0 0 25 0 1 0 747971244 7196672 1058 4294967295 134512640 134714508 3221221792 3221220560 134592128 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1757 1058 1111 63 0 1694 0 vsize: 7028 [startup+1080.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 815802 0 0 0 105873 2143 0 0 25 0 1 0 747971244 7897088 1135 4294967295 134512640 134714508 3221221792 3221217756 1074860626 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1928 1135 1111 63 0 1865 0 vsize: 7712 [startup+1090.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 824239 0 0 0 106850 2167 0 0 25 0 1 0 747971244 7184384 1056 4294967295 134512640 134714508 3221221792 3221220176 1074153822 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1754 1056 1111 63 0 1691 0 vsize: 7016 [startup+1100.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 832234 0 0 0 107829 2188 0 0 25 0 1 0 747971244 7184384 1056 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1754 1056 1111 63 0 1691 0 vsize: 7016 [startup+1110.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 840532 0 0 0 108807 2210 0 0 25 0 1 0 747971244 7184384 1056 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1754 1056 1111 63 0 1691 0 vsize: 7016 [startup+1120.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 848539 0 0 0 109786 2231 0 0 25 0 1 0 747971244 7196672 1059 4294967295 134512640 134714508 3221221792 3221218896 1074139117 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1757 1059 1111 63 0 1694 0 vsize: 7028 [startup+1130.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 856016 0 0 0 110766 2251 0 0 25 0 1 0 747971244 7196672 1059 4294967295 134512640 134714508 3221221792 3221220168 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1757 1059 1111 63 0 1694 0 vsize: 7028 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 863355 0 0 0 111745 2273 0 0 25 0 1 0 747971244 7221248 1065 4294967295 134512640 134714508 3221221792 3221220104 1074138144 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1763 1065 1111 63 0 1700 0 vsize: 7052 [startup+1150.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 870160 0 0 0 112728 2289 0 0 25 0 1 0 747971244 7733248 1109 4294967295 134512640 134714508 3221221792 3221217756 1074860595 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1888 1109 1111 63 0 1825 0 vsize: 7552 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 877224 0 0 0 113710 2308 0 0 25 0 1 0 747971244 7221248 1065 4294967295 134512640 134714508 3221221792 3221220176 1074153815 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1763 1065 1111 63 0 1700 0 vsize: 7052 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 884243 0 0 0 114691 2327 0 0 25 0 1 0 747971244 7376896 1066 4294967295 134512640 134714508 3221221792 3221219616 1075823518 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1801 1066 1111 63 0 1738 0 vsize: 7204 [startup+1174.91 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 29554 Raw data (stat): 29552 (bsolo_lpr_cuts) R 29551 7876 7672 0 -1 0 884243 0 0 0 114691 2327 0 0 25 0 1 0 747971244 7376896 1066 4294967295 134512640 134714508 3221221792 3221219616 1075823518 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1801 1066 1111 63 0 1738 0 vsize: 0 Child status: 0 Real time (s): 1174.91 CPU time (s): 1175.05 CPU user time (s): 1151.68 CPU system time (s): 23.3624 CPU usage (%): 100.011 Max. virtual memory (Kb): 7712 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####