Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-lseu.opb |
MD5SUM | 99657262afbbfce7034a3ec6b29d9b3b |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1120 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 85 |
Biggest coefficient in the objective function | 517 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 15494 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 1656 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 15494 |
Number of bits of the biggest sum of numbers | 14 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02984 |
Number of variables | 89 |
Total number of constraints | 117 |
Number of constraints which are clauses | 2 |
Number of constraints which are cardinality constraints (but not clauses) | 104 |
Number of constraints which are nor clauses,nor cardinality constraints | 11 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 47 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc21 THE 2005-05-24 15:37:48 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=13495 boxname=wulflinc21 idbench=1039 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 99657262afbbfce7034a3ec6b29d9b3b /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-lseu.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-lseu.opb IDLAUNCH: 13495 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 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 : 3 cpu MHz : 451.161 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: 923828 kB Buffers: 21084 kB Cached: 69004 kB SwapCached: 1168 kB Active: 22180 kB Inactive: 70536 kB HighTotal: 131008 kB HighFree: 59528 kB LowTotal: 903652 kB LowFree: 864300 kB SwapTotal: 2097892 kB SwapFree: 2096256 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5644 kB Slab: 12392 kB Committed_AS: 63912 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-24 15:57:50 (client local time) WITH STATUS 0 IN 1200.26 SECONDS stats: 13495 7 1200.26 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 89 variables and 28 constraints. c After prepocess the problem consists of 89 variables and 28 constraints. c preprocess terminated 0.078 s c Initial Lower Bound: 777 c Lower Bound Elapsed time: 0.0102 c Use computed LB before first solution. c NEW SOLUTION FOUND: 3184 @ 1.366 c NEW SOLUTION FOUND: 3074 @ 1.38 c NEW SOLUTION FOUND: 2879 @ 1.408 c NEW SOLUTION FOUND: 2798 @ 1.433 c NEW SOLUTION FOUND: 2783 @ 1.466 c NEW SOLUTION FOUND: 2709 @ 1.481 c NEW SOLUTION FOUND: 2599 @ 1.481 c NEW SOLUTION FOUND: 2596 @ 1.499 c NEW SOLUTION FOUND: 2471 @ 1.523 c NEW SOLUTION FOUND: 2401 @ 19.535 c NEW SOLUTION FOUND: 2377 @ 19.731 c NEW SOLUTION FOUND: 2283 @ 39.335 c NEW SOLUTION FOUND: 2232 @ 77.723 c NEW SOLUTION FOUND: 2156 @ 135.26 c NEW SOLUTION FOUND: 2155 @ 141.743 c NEW SOLUTION FOUND: 2144 @ 161.507 c NEW SOLUTION FOUND: 2124 @ 173.388 c NEW SOLUTION FOUND: 2088 @ 179.848 c NEW SOLUTION FOUND: 2060 @ 822.892 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.93 0.97 0.98 2/55 659 Raw data (stat): 659 (runsolver) R 658 32363 32362 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 708640845 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+9.99992 s] Raw data (loadavg): 0.94 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 8362 0 0 0 962 35 0 0 25 0 1 0 708640845 12607488 2391 4294967295 134512640 134714508 3221224592 3221222656 1074820306 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3078 2391 1111 63 0 3015 0 vsize: 12312 [startup+20.0006 s] Raw data (loadavg): 0.95 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 15720 0 0 0 1925 72 0 0 25 0 1 0 708640845 19898368 4121 4294967295 134512640 134714508 3221224592 3221220736 1074969383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4858 4121 1111 63 0 4795 0 vsize: 19432 [startup+30.0002 s] Raw data (loadavg): 0.95 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 20291 0 0 0 2905 92 0 0 25 0 1 0 708640845 22429696 4802 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5476 4802 1111 63 0 5413 0 vsize: 21904 [startup+40 s] Raw data (loadavg): 0.96 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 37350 0 0 0 3865 131 0 0 25 0 1 0 708640845 23375872 5032 4294967295 134512640 134714508 3221224592 3221221872 1074140016 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5707 5032 1111 63 0 5644 0 vsize: 22828 [startup+50.0006 s] Raw data (loadavg): 0.97 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 51935 0 0 0 4830 165 0 0 25 0 1 0 708640845 24825856 5370 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6061 5370 1111 63 0 5998 0 vsize: 24244 [startup+60.0003 s] Raw data (loadavg): 0.97 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 70235 0 0 0 5789 207 0 0 25 0 1 0 708640845 26722304 5591 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6524 5602 1111 63 0 6461 0 vsize: 26096 [startup+70.0009 s] Raw data (loadavg): 0.97 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 90534 0 0 0 6742 254 0 0 25 0 1 0 708640845 27815936 5816 4294967295 134512640 134714508 3221224592 3221221888 1075240124 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6492 5808 1111 63 0 6429 0 vsize: 27164 [startup+80.0007 s] Raw data (loadavg): 0.98 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 132655 0 0 0 7641 355 0 0 25 0 1 0 708640845 33046528 7327 4294967295 134512640 134714508 3221224592 3221223056 1073990196 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8068 7327 1111 63 0 8005 0 vsize: 32272 [startup+90.0014 s] Raw data (loadavg): 0.98 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 173741 0 0 0 8548 448 0 0 25 0 1 0 708640845 38604800 8642 4294967295 134512640 134714508 3221224592 3221222320 1075828642 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9425 8642 1111 63 0 9362 0 vsize: 37700 [startup+100.001 s] Raw data (loadavg): 0.98 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 211546 0 0 0 9465 530 0 0 25 0 1 0 708640845 43450368 9804 4294967295 134512640 134714508 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10608 9804 1111 63 0 10545 0 vsize: 42432 [startup+110.001 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 240746 0 0 0 10396 600 0 0 25 0 1 0 708640845 45764608 10355 4294967295 134512640 134714508 3221224592 3221223200 134523856 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11173 10355 1111 63 0 11110 0 vsize: 44692 [startup+120.001 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 242912 0 0 0 11391 606 0 0 25 0 1 0 708640845 48594944 11037 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11864 11037 1111 63 0 11801 0 vsize: 47456 [startup+130.001 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 244742 0 0 0 12387 609 0 0 25 0 1 0 708640845 47046656 10676 4294967295 134512640 134714508 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11486 10676 1111 63 0 11423 0 vsize: 45944 [startup+140.001 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 270542 0 0 0 13323 673 0 0 25 0 1 0 708640845 48766976 11079 4294967295 134512640 134714508 3221224592 3221222376 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11906 11079 1111 63 0 11843 0 vsize: 47624 [startup+150.002 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 283081 0 0 0 14293 703 0 0 25 0 1 0 708640845 50003968 11370 4294967295 134512640 134714508 3221224592 3221223360 134556835 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12208 11370 1111 63 0 12145 0 vsize: 48832 [startup+160.002 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 306061 0 0 0 15240 756 0 0 25 0 1 0 708640845 51838976 11764 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12731 11764 1111 63 0 12668 0 vsize: 50624 [startup+170.002 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 325297 0 0 0 16194 803 0 0 25 0 1 0 708640845 53940224 12237 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13169 12237 1111 63 0 13106 0 vsize: 52676 [startup+180.001 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 349972 0 0 0 17132 865 0 0 25 0 1 0 708640845 57151488 12905 4294967295 134512640 134714508 3221224592 3221222376 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13953 12905 1111 63 0 13890 0 vsize: 55812 [startup+190.002 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 356746 0 0 0 18117 880 0 0 25 0 1 0 708640845 58728448 13014 4294967295 134512640 134714508 3221224592 3221220812 1074878880 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14039 13003 1111 63 0 13976 0 vsize: 57352 [startup+200.002 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 380374 0 0 0 19061 936 0 0 25 0 1 0 708640845 59891712 13578 4294967295 134512640 134714508 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14622 13578 1111 63 0 14559 0 vsize: 58488 [startup+210.002 s] Raw data (loadavg): 0.99 0.97 0.98 3/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 413070 0 0 0 19988 1010 0 0 25 0 1 0 708640845 63717376 14445 4294967295 134512640 134714508 3221224592 3221222920 1075332533 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15556 14445 1111 63 0 15493 0 vsize: 62224 [startup+220.002 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 443453 0 0 0 20919 1079 0 0 25 0 1 0 708640845 68169728 15241 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16643 15243 1111 63 0 16580 0 vsize: 66572 [startup+230.002 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 472167 0 0 0 21854 1143 0 0 25 0 1 0 708640845 70877184 15961 4294967295 134512640 134714508 3221224592 3221220864 1074961275 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17304 15965 1111 63 0 17241 0 vsize: 69216 [startup+240.002 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 509996 0 0 0 22770 1228 0 0 25 0 1 0 708640845 73986048 16907 4294967295 134512640 134714508 3221224592 3221222480 1074056010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18063 16907 1111 63 0 18000 0 vsize: 72252 [startup+250.001 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 522309 0 0 0 23742 1256 0 0 25 0 1 0 708640845 75137024 17189 4294967295 134512640 134714508 3221224592 3221222928 1074153753 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18344 17189 1111 63 0 18281 0 vsize: 73376 [startup+260.001 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 526854 0 0 0 24731 1268 0 0 25 0 1 0 708640845 77819904 17814 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18999 17814 1111 63 0 18936 0 vsize: 75996 [startup+270.001 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 529891 0 0 0 25723 1275 0 0 25 0 1 0 708640845 75640832 17304 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17304 1111 63 0 18404 0 vsize: 73868 [startup+280 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 562430 0 0 0 26646 1353 0 0 25 0 1 0 708640845 78749696 18024 4294967295 134512640 134714508 3221224592 3221223264 134535793 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19226 18024 1111 63 0 19163 0 vsize: 76904 [startup+290.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 577256 0 0 0 27616 1383 0 0 25 0 1 0 708640845 81289216 18299 4294967295 134512640 134714508 3221224592 3221221484 1077387418 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19846 18301 1111 63 0 19783 0 vsize: 79384 [startup+300.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 579955 0 0 0 28610 1390 0 0 25 0 1 0 708640845 80912384 18501 4294967295 134512640 134714508 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19754 18501 1111 63 0 19691 0 vsize: 79016 [startup+310.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 602741 0 0 0 29557 1443 0 0 25 0 1 0 708640845 81616896 18638 4294967295 134512640 134714508 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19926 18638 1111 63 0 19863 0 vsize: 79704 [startup+320.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 607001 0 0 0 30548 1452 0 0 25 0 1 0 708640845 82141184 18782 4294967295 134512640 134714508 3221224592 3221223392 134622489 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20054 18782 1111 63 0 19991 0 vsize: 80216 [startup+330.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 609328 0 0 0 31542 1459 0 0 25 0 1 0 708640845 82792448 18944 4294967295 134512640 134714508 3221224592 3221222736 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20213 18944 1111 63 0 20150 0 vsize: 80852 [startup+340.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 609426 0 0 0 32540 1460 0 0 25 0 1 0 708640845 83275776 19042 4294967295 134512640 134714508 3221224592 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20331 19042 1111 63 0 20268 0 vsize: 81324 [startup+350.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 609501 0 0 0 33540 1461 0 0 25 0 1 0 708640845 83521536 19117 4294967295 134512640 134714508 3221224592 3221222704 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20391 19117 1111 63 0 20328 0 vsize: 81564 [startup+360.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 609557 0 0 0 34540 1461 0 0 25 0 1 0 708640845 83750912 19173 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20447 19173 1111 63 0 20384 0 vsize: 81788 [startup+370.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 609635 0 0 0 35540 1462 0 0 25 0 1 0 708640845 84107264 19251 4294967295 134512640 134714508 3221224592 3221222752 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20534 19251 1111 63 0 20471 0 vsize: 82136 [startup+380.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 611142 0 0 0 36536 1466 0 0 25 0 1 0 708640845 88080384 20221 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21504 20221 1111 63 0 21441 0 vsize: 86016 [startup+390.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 611142 0 0 0 37536 1466 0 0 25 0 1 0 708640845 88080384 20221 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21504 20221 1111 63 0 21441 0 vsize: 86016 [startup+400.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 611142 0 0 0 38536 1466 0 0 25 0 1 0 708640845 88080384 20221 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21504 20221 1111 63 0 21441 0 vsize: 86016 [startup+410.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 611142 0 0 0 39536 1466 0 0 25 0 1 0 708640845 88080384 20221 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21504 20221 1111 63 0 21441 0 vsize: 86016 [startup+420.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 611142 0 0 0 40537 1466 0 0 25 0 1 0 708640845 88080384 20221 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21504 20221 1111 63 0 21441 0 vsize: 86016 [startup+430.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 611142 0 0 0 41537 1466 0 0 25 0 1 0 708640845 88080384 20221 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21504 20221 1111 63 0 21441 0 vsize: 86016 [startup+440.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 616314 0 0 0 42525 1478 0 0 25 0 1 0 708640845 84213760 19291 4294967295 134512640 134714508 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20560 19291 1111 63 0 20497 0 vsize: 82240 [startup+450.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 616314 0 0 0 43525 1478 0 0 25 0 1 0 708640845 84213760 19291 4294967295 134512640 134714508 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20560 19291 1111 63 0 20497 0 vsize: 82240 [startup+460.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 616314 0 0 0 44525 1478 0 0 25 0 1 0 708640845 84213760 19291 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20560 19291 1111 63 0 20497 0 vsize: 82240 [startup+470.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 616314 0 0 0 45525 1478 0 0 25 0 1 0 708640845 84213760 19291 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20560 19291 1111 63 0 20497 0 vsize: 82240 [startup+480.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 616314 0 0 0 46526 1478 0 0 25 0 1 0 708640845 84213760 19291 4294967295 134512640 134714508 3221224592 3221223372 134622696 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20560 19291 1111 63 0 20497 0 vsize: 82240 [startup+490.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 616314 0 0 0 47526 1478 0 0 25 0 1 0 708640845 84213760 19291 4294967295 134512640 134714508 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20560 19291 1111 63 0 20497 0 vsize: 82240 [startup+500.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 616314 0 0 0 48526 1478 0 0 25 0 1 0 708640845 84213760 19291 4294967295 134512640 134714508 3221224592 3221223368 134543568 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20560 19291 1111 63 0 20497 0 vsize: 82240 [startup+510.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 617183 0 0 0 49524 1480 0 0 25 0 1 0 708640845 82567168 18889 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20158 18889 1111 63 0 20095 0 vsize: 80632 [startup+520.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 640479 0 0 0 50467 1537 0 0 25 0 1 0 708640845 84742144 19069 4294967295 134512640 134714508 3221224592 3221222920 1077799185 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20382 19067 1111 63 0 20319 0 vsize: 82756 [startup+530.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 679287 0 0 0 51372 1632 0 0 25 0 1 0 708640845 86458368 19787 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21108 19787 1111 63 0 21045 0 vsize: 84432 [startup+540.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 691014 0 0 0 52346 1658 0 0 25 0 1 0 708640845 87130112 19956 4294967295 134512640 134714508 3221224592 3221223368 134543568 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21272 19956 1111 63 0 21209 0 vsize: 85088 [startup+550.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 719496 0 0 0 53278 1727 0 0 25 0 1 0 708640845 90480640 20151 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22703 20153 1111 63 0 22640 0 vsize: 88360 [startup+560.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 740636 0 0 0 54225 1780 0 0 25 0 1 0 708640845 94515200 20806 4294967295 134512640 134714508 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23075 20806 1111 63 0 23012 0 vsize: 92300 [startup+570.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 773776 0 0 0 55146 1860 0 0 25 0 1 0 708640845 90054656 20662 4294967295 134512640 134714508 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21986 20662 1111 63 0 21923 0 vsize: 87944 [startup+580.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 777668 0 0 0 56137 1868 0 0 25 0 1 0 708640845 91455488 21006 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22328 21006 1111 63 0 22265 0 vsize: 89312 [startup+590.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 778572 0 0 0 57135 1870 0 0 25 0 1 0 708640845 94060544 21633 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22964 21633 1111 63 0 22901 0 vsize: 91856 [startup+600.022 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 778572 0 0 0 58136 1870 0 0 25 0 1 0 708640845 94060544 21633 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22964 21633 1111 63 0 22901 0 vsize: 91856 [startup+610.022 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 781196 0 0 0 59131 1875 0 0 25 0 1 0 708640845 91774976 21084 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22406 21084 1111 63 0 22343 0 vsize: 89624 [startup+620.022 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 781196 0 0 0 60131 1875 0 0 25 0 1 0 708640845 91774976 21084 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22406 21084 1111 63 0 22343 0 vsize: 89624 [startup+630.021 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 781196 0 0 0 61132 1875 0 0 25 0 1 0 708640845 91774976 21084 4294967295 134512640 134714508 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22406 21084 1111 63 0 22343 0 vsize: 89624 [startup+640.022 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 781638 0 0 0 62130 1877 0 0 25 0 1 0 708640845 92770304 21253 4294967295 134512640 134714508 3221224592 3221222704 1074867340 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22649 21253 1111 63 0 22586 0 vsize: 90596 [startup+650.022 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 783560 0 0 0 63125 1882 0 0 25 0 1 0 708640845 91156480 20909 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22255 20909 1111 63 0 22192 0 vsize: 89020 [startup+660.041 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 785561 0 0 0 64123 1886 0 0 25 0 1 0 708640845 90849280 20858 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22180 20858 1111 63 0 22117 0 vsize: 88720 [startup+670.061 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 791416 0 0 0 65112 1900 0 0 25 0 1 0 708640845 90574848 20792 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22113 20792 1111 63 0 22050 0 vsize: 88452 [startup+680.061 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 800516 0 0 0 66088 1924 0 0 25 0 1 0 708640845 91652096 21055 4294967295 134512640 134714508 3221224592 3221222320 1077814665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22376 21055 1111 63 0 22313 0 vsize: 89504 [startup+690.061 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 801770 0 0 0 67085 1927 0 0 25 0 1 0 708640845 92626944 21293 4294967295 134512640 134714508 3221224592 3221222896 1074153779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22614 21293 1111 63 0 22551 0 vsize: 90456 [startup+700.061 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 802459 0 0 0 68084 1929 0 0 25 0 1 0 708640845 94531584 21758 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23079 21758 1111 63 0 23016 0 vsize: 92316 [startup+710.061 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 805414 0 0 0 69076 1936 0 0 25 0 1 0 708640845 92712960 21314 4294967295 134512640 134714508 3221224592 3221223408 134622477 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22635 21314 1111 63 0 22572 0 vsize: 90540 [startup+720.061 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 805414 0 0 0 70076 1936 0 0 25 0 1 0 708640845 92712960 21314 4294967295 134512640 134714508 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22635 21314 1111 63 0 22572 0 vsize: 90540 [startup+730.06 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 805414 0 0 0 71076 1936 0 0 25 0 1 0 708640845 91803648 21092 4294967295 134512640 134714508 3221224592 3221222736 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22413 21092 1111 63 0 22350 0 vsize: 89652 [startup+740.061 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 808148 0 0 0 72070 1942 0 0 25 0 1 0 708640845 93212672 21436 4294967295 134512640 134714508 3221224592 3221222544 1074918594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22757 21436 1111 63 0 22694 0 vsize: 91028 [startup+750.061 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 810851 0 0 0 73064 1949 0 0 25 0 1 0 708640845 92430336 21245 4294967295 134512640 134714508 3221224592 3221223384 134542401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22566 21245 1111 63 0 22503 0 vsize: 90264 [startup+760.06 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 810851 0 0 0 74065 1949 0 0 25 0 1 0 708640845 91893760 21114 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22435 21114 1111 63 0 22372 0 vsize: 89740 [startup+770.06 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 813483 0 0 0 75057 1956 0 0 25 0 1 0 708640845 91893760 21114 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22435 21114 1111 63 0 22372 0 vsize: 89740 [startup+780.06 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 817657 0 0 0 76048 1966 0 0 25 0 1 0 708640845 92221440 21194 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22515 21194 1111 63 0 22452 0 vsize: 90060 [startup+790.06 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 827341 0 0 0 77024 1990 0 0 25 0 1 0 708640845 91512832 20990 4294967295 134512640 134714508 3221224592 3221222328 1077782939 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22342 20990 1111 63 0 22279 0 vsize: 89368 [startup+800.06 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 829326 0 0 0 78019 1994 0 0 25 0 1 0 708640845 91754496 21080 4294967295 134512640 134714508 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22401 21080 1111 63 0 22338 0 vsize: 89604 [startup+810.06 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 831128 0 0 0 79016 1998 0 0 25 0 1 0 708640845 92901376 21360 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22681 21360 1111 63 0 22618 0 vsize: 90724 [startup+820.059 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 832273 0 0 0 80014 2000 0 0 25 0 1 0 708640845 92303360 21214 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22535 21214 1111 63 0 22472 0 vsize: 90140 [startup+830.059 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 840320 0 0 0 80993 2021 0 0 25 0 1 0 708640845 92569600 21283 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22600 21283 1111 63 0 22537 0 vsize: 90400 [startup+840.06 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 840411 0 0 0 81991 2022 0 0 25 0 1 0 708640845 92942336 21374 4294967295 134512640 134714508 3221224592 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22691 21374 1111 63 0 22628 0 vsize: 90764 [startup+850.06 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 840471 0 0 0 82990 2023 0 0 25 0 1 0 708640845 93188096 21434 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22751 21434 1111 63 0 22688 0 vsize: 91004 [startup+860.06 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 841623 0 0 0 83987 2026 0 0 25 0 1 0 708640845 96374784 22207 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23529 22207 1111 63 0 23466 0 vsize: 94116 [startup+870.06 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 844996 0 0 0 84980 2034 0 0 25 0 1 0 708640845 93290496 21459 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22776 21459 1111 63 0 22713 0 vsize: 91104 [startup+880.059 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 844996 0 0 0 85980 2034 0 0 25 0 1 0 708640845 93290496 21459 4294967295 134512640 134714508 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22776 21459 1111 63 0 22713 0 vsize: 91104 [startup+890.059 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 844996 0 0 0 86980 2034 0 0 25 0 1 0 708640845 93290496 21459 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22776 21459 1111 63 0 22713 0 vsize: 91104 [startup+900.059 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 844996 0 0 0 87979 2034 0 0 25 0 1 0 708640845 93290496 21459 4294967295 134512640 134714508 3221224592 3221223328 134622873 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22776 21459 1111 63 0 22713 0 vsize: 91104 [startup+910.058 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 845099 0 0 0 88979 2034 0 0 25 0 1 0 708640845 92078080 21163 4294967295 134512640 134714508 3221224592 3221222752 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22480 21163 1111 63 0 22417 0 vsize: 89920 [startup+920.059 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 848709 0 0 0 89972 2042 0 0 25 0 1 0 708640845 92573696 21271 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22601 21271 1111 63 0 22538 0 vsize: 90404 [startup+930.059 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 863891 0 0 0 90935 2079 0 0 25 0 1 0 708640845 92876800 21331 4294967295 134512640 134714508 3221224592 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22675 21331 1111 63 0 22612 0 vsize: 90700 [startup+940.058 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 864836 0 0 0 91931 2083 0 0 25 0 1 0 708640845 95739904 22032 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23374 22032 1111 63 0 23311 0 vsize: 93496 [startup+950.058 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 864836 0 0 0 92931 2083 0 0 25 0 1 0 708640845 95739904 22032 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23374 22032 1111 63 0 23311 0 vsize: 93496 [startup+960.058 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 867947 0 0 0 93925 2090 0 0 25 0 1 0 708640845 93437952 21488 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22812 21488 1111 63 0 22749 0 vsize: 91248 [startup+970.058 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 867947 0 0 0 94925 2090 0 0 25 0 1 0 708640845 93437952 21488 4294967295 134512640 134714508 3221224592 3221223308 134543192 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22812 21488 1111 63 0 22749 0 vsize: 91248 [startup+980.058 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 867947 0 0 0 95925 2090 0 0 25 0 1 0 708640845 93437952 21488 4294967295 134512640 134714508 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22812 21488 1111 63 0 22749 0 vsize: 91248 [startup+990.059 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 868683 0 0 0 96922 2093 0 0 25 0 1 0 708640845 94576640 21753 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23090 21753 1111 63 0 23027 0 vsize: 92360 [startup+1000.06 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 871162 0 0 0 97916 2099 0 0 25 0 1 0 708640845 93134848 21414 4294967295 134512640 134714508 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22738 21414 1111 63 0 22675 0 vsize: 90952 [startup+1010.06 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 873604 0 0 0 98911 2104 0 0 25 0 1 0 708640845 95006720 21565 4294967295 134512640 134714508 3221224592 3221221076 1075863647 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23195 21565 1111 63 0 23132 0 vsize: 92780 [startup+1020.07 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 874875 0 0 0 99910 2107 0 0 25 0 1 0 708640845 93147136 21414 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22741 21414 1111 63 0 22678 0 vsize: 90964 [startup+1030.07 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 880099 0 0 0 100897 2119 0 0 25 0 1 0 708640845 92917760 21361 4294967295 134512640 134714508 3221224592 3221223148 134536763 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22685 21361 1111 63 0 22622 0 vsize: 90740 [startup+1040.07 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 883529 0 0 0 101888 2129 0 0 25 0 1 0 708640845 94900224 21844 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23169 21844 1111 63 0 23106 0 vsize: 92676 [startup+1050.07 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 885169 0 0 0 102885 2132 0 0 25 0 1 0 708640845 93294592 21440 4294967295 134512640 134714508 3221224592 3221222592 1074918280 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22777 21440 1111 63 0 22714 0 vsize: 91108 [startup+1060.07 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 910106 0 0 0 103826 2192 0 0 25 0 1 0 708640845 98320384 21422 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24004 21425 1111 63 0 23941 0 vsize: 96016 [startup+1070.07 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 929776 0 0 0 104780 2237 0 0 25 0 1 0 708640845 96350208 22103 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23523 22103 1111 63 0 23460 0 vsize: 94092 [startup+1080.07 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 931922 0 0 0 105776 2242 0 0 25 0 1 0 708640845 94679040 21710 4294967295 134512640 134714508 3221224592 3221222848 1074153779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23115 21710 1111 63 0 23052 0 vsize: 92460 [startup+1090.07 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 937448 0 0 0 106764 2254 0 0 25 0 1 0 708640845 94625792 21698 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23102 21698 1111 63 0 23039 0 vsize: 92408 [startup+1100.07 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 940093 0 0 0 107758 2261 0 0 25 0 1 0 708640845 95027200 21773 4294967295 134512640 134714508 3221224592 3221222896 1074153792 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23200 21773 1111 63 0 23137 0 vsize: 92800 [startup+1110.07 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 945172 0 0 0 108746 2273 0 0 25 0 1 0 708640845 95113216 21812 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23221 21812 1111 63 0 23158 0 vsize: 92884 [startup+1120.07 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 964299 0 0 0 109701 2318 0 0 25 0 1 0 708640845 95735808 21925 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23373 21925 1111 63 0 23310 0 vsize: 93492 [startup+1130.08 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 964742 0 0 0 110700 2319 0 0 25 0 1 0 708640845 97083392 22225 4294967295 134512640 134714508 3221224592 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23702 22225 1111 63 0 23639 0 vsize: 94808 [startup+1140.08 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 964829 0 0 0 111700 2320 0 0 25 0 1 0 708640845 97431552 22312 4294967295 134512640 134714508 3221224592 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23787 22312 1111 63 0 23724 0 vsize: 95148 [startup+1150.08 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 964904 0 0 0 112699 2320 0 0 25 0 1 0 708640845 97689600 22387 4294967295 134512640 134714508 3221224592 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23850 22387 1111 63 0 23787 0 vsize: 95400 [startup+1160.08 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 964968 0 0 0 113699 2321 0 0 25 0 1 0 708640845 98021376 22451 4294967295 134512640 134714508 3221224592 3221222752 1074153760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23931 22451 1111 63 0 23868 0 vsize: 95724 [startup+1170.08 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 965064 0 0 0 114698 2322 0 0 25 0 1 0 708640845 98340864 22547 4294967295 134512640 134714508 3221224592 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24009 22547 1111 63 0 23946 0 vsize: 96036 [startup+1180.08 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 965108 0 0 0 115698 2322 0 0 25 0 1 0 708640845 98521088 22591 4294967295 134512640 134714508 3221224592 3221222752 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24053 22591 1111 63 0 23990 0 vsize: 96212 [startup+1190.08 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 965151 0 0 0 116698 2323 0 0 25 0 1 0 708640845 98684928 22634 4294967295 134512640 134714508 3221224592 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24093 22634 1111 63 0 24030 0 vsize: 96372 [startup+1200.08 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 659 Raw data (stat): 659 (bsolo_lpr) R 658 32363 32362 0 -1 0 965190 0 0 0 117697 2324 0 0 25 0 1 0 708640845 98844672 22673 4294967295 134512640 134714508 3221224592 3221222800 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24132 22673 1111 63 0 24069 0 vsize: 96528 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.12 s] Raw data (loadavg): 0.99 0.97 0.98 1/55 659 Raw data (stat): 659 (bsolo_lpr) Z 658 32363 32362 0 -1 1036 965190 0 0 0 117697 2328 0 0 25 0 1 0 708640845 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.12 CPU time (s): 1200.26 CPU user time (s): 1176.97 CPU system time (s): 23.2835 CPU usage (%): 100.011 Max. virtual memory (Kb): 96528 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####