Name | normalized-opb/mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-maros.opb |
MD5SUM | 1ae5b04b2d0e1f5ab82e29e98b8350c0 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 43097 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 64 |
Biggest coefficient in the objective function | 4718592 |
Number of bits for the biggest coefficient in the objective function | 23 |
Sum of the numbers in the objective function | 14745570 |
Number of bits of the sum of numbers in the objective function | 24 |
Biggest number in a constraint | 4718592 |
Number of bits of the biggest number in a constraint | 23 |
Biggest sum of numbers in a constraint | 14745570 |
Number of bits of the biggest sum of numbers | 24 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02384 |
Number of variables | 64 |
Total number of constraints | 6 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 6 |
Minimum length of a constraint | 12 |
Maximum length of a constraint | 64 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-17 04:40:07 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20372 boxname=wulflinc31 idbench=1568 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 1ae5b04b2d0e1f5ab82e29e98b8350c0 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-maros.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-maros.opb IDLAUNCH: 20372 /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: 764532 kB Buffers: 52204 kB Cached: 188672 kB SwapCached: 1952 kB Active: 204920 kB Inactive: 44904 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 764280 kB SwapTotal: 2097892 kB SwapFree: 2095228 kB Dirty: 48 kB Writeback: 0 kB Mapped: 5380 kB Slab: 14740 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-17 05:00:10 (client local time) WITH STATUS 0 IN 1200.29 SECONDS stats: 20372 7 1200.29 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 64 variables and 6 constraints. c After prepocess the problem consists of 49 variables and 6 constraints. c preprocess terminated 0.042 s c Initial Lower Bound: 42149 c Lower Bound Elapsed time: 0.007 c Use computed LB before first solution. c NEW SOLUTION FOUND: 51712 @ 0.176 c NEW SOLUTION FOUND: 49664 @ 0.191 c NEW SOLUTION FOUND: 48384 @ 0.214 c NEW SOLUTION FOUND: 47360 @ 0.314 c NEW SOLUTION FOUND: 47232 @ 1.739 c NEW SOLUTION FOUND: 46720 @ 1.856 c NEW SOLUTION FOUND: 45696 @ 2.033 c NEW SOLUTION FOUND: 45568 @ 2.264 c NEW SOLUTION FOUND: 45056 @ 2.342 c NEW SOLUTION FOUND: 44416 @ 2.894 c NEW SOLUTION FOUND: 43904 @ 3.336 c NEW SOLUTION FOUND: 43328 @ 12.944 c NEW SOLUTION FOUND: 43232 @ 31.415 c NEW SOLUTION FOUND: 43152 @ 150.071 #### 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.54 0.83 0.93 2/55 22854 Raw data (stat): 22854 (runsolver) R 22853 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 766922705 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0002 s] Raw data (loadavg): 0.61 0.83 0.93 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 8139 0 0 0 953 42 0 0 25 0 1 0 766922705 16347136 3279 4294967295 134512640 134714508 3221221776 3221220136 1077410281 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3991 3279 1111 63 0 3928 0 vsize: 15964 [startup+20.0012 s] Raw data (loadavg): 0.67 0.84 0.93 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 20917 0 0 0 1909 87 0 0 25 0 1 0 766922705 24727552 5303 4294967295 134512640 134714508 3221221776 3221219956 1077782939 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6018 5303 1111 63 0 5955 0 vsize: 24148 [startup+30.0011 s] Raw data (loadavg): 0.72 0.84 0.93 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 32775 0 0 0 2871 124 0 0 25 0 1 0 766922705 28950528 6362 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7063 6357 1111 63 0 7000 0 vsize: 28272 [startup+40.0014 s] Raw data (loadavg): 0.76 0.85 0.93 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 40739 0 0 0 3849 146 0 0 25 0 1 0 766922705 32174080 7045 4294967295 134512640 134714508 3221221776 3221219888 1074206483 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7855 7045 1111 63 0 7792 0 vsize: 31420 [startup+50.0019 s] Raw data (loadavg): 0.80 0.85 0.93 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 55874 0 0 0 4807 189 0 0 25 0 1 0 766922705 36610048 8140 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8938 8140 1111 63 0 8875 0 vsize: 35752 [startup+60.0019 s] Raw data (loadavg): 0.83 0.86 0.93 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 59828 0 0 0 5797 199 0 0 25 0 1 0 766922705 37269504 8301 4294967295 134512640 134714508 3221221776 3221219776 1074918591 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9099 8301 1111 63 0 9036 0 vsize: 36396 [startup+70.0028 s] Raw data (loadavg): 0.85 0.86 0.93 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 77219 0 0 0 6751 245 0 0 25 0 1 0 766922705 41365504 9318 4294967295 134512640 134714508 3221221776 3221219736 1074138297 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10099 9318 1111 63 0 10036 0 vsize: 40396 [startup+80.0027 s] Raw data (loadavg): 0.88 0.86 0.93 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 86792 0 0 0 7726 270 0 0 25 0 1 0 766922705 43159552 9767 4294967295 134512640 134714508 3221221776 3221219776 1074918607 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10537 9767 1111 63 0 10474 0 vsize: 42148 [startup+90.0027 s] Raw data (loadavg): 0.89 0.87 0.93 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 91261 0 0 0 8715 281 0 0 25 0 1 0 766922705 44290048 10011 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10813 10011 1111 63 0 10750 0 vsize: 43252 [startup+100.003 s] Raw data (loadavg): 0.91 0.87 0.93 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 103158 0 0 0 9685 312 0 0 25 0 1 0 766922705 46673920 10632 4294967295 134512640 134714508 3221221776 3221220208 1073990306 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11461 10634 1111 63 0 11398 0 vsize: 45580 [startup+110.003 s] Raw data (loadavg): 0.92 0.88 0.93 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 119533 0 0 0 10648 348 0 0 25 0 1 0 766922705 50405376 11489 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12306 11489 1111 63 0 12243 0 vsize: 49224 [startup+120.004 s] Raw data (loadavg): 0.93 0.88 0.93 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 144678 0 0 0 11591 406 0 0 25 0 1 0 766922705 57753600 12924 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14100 12924 1111 63 0 14037 0 vsize: 56400 [startup+130.003 s] Raw data (loadavg): 0.94 0.88 0.93 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 157107 0 0 0 12562 435 0 0 25 0 1 0 766922705 60272640 13521 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14715 13521 1111 63 0 14652 0 vsize: 58860 [startup+140.003 s] Raw data (loadavg): 0.95 0.89 0.93 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 159917 0 0 0 13555 443 0 0 25 0 1 0 766922705 59662336 13349 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14566 13349 1111 63 0 14503 0 vsize: 58264 [startup+150.004 s] Raw data (loadavg): 0.96 0.89 0.93 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 164160 0 0 0 14545 453 0 0 25 0 1 0 766922705 59420672 13316 4294967295 134512640 134714508 3221221776 3221219736 1077380184 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14507 13316 1111 63 0 14444 0 vsize: 58028 [startup+160.005 s] Raw data (loadavg): 0.97 0.89 0.93 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 185608 0 0 0 15495 502 0 0 25 0 1 0 766922705 64544768 14532 4294967295 134512640 134714508 3221221776 3221219776 1074918591 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15758 14532 1111 63 0 15695 0 vsize: 63032 [startup+170.005 s] Raw data (loadavg): 0.97 0.90 0.93 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 195806 0 0 0 16469 528 0 0 25 0 1 0 766922705 66179072 14960 4294967295 134512640 134714508 3221221776 3221219776 1074918583 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16157 14960 1111 63 0 16094 0 vsize: 64628 [startup+180.005 s] Raw data (loadavg): 0.97 0.90 0.93 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 206271 0 0 0 17445 553 0 0 25 0 1 0 766922705 66977792 15142 4294967295 134512640 134714508 3221221776 3221220500 134622883 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16352 15142 1111 63 0 16289 0 vsize: 65408 [startup+190.006 s] Raw data (loadavg): 1.06 0.92 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 218533 0 0 0 18416 582 0 0 25 0 1 0 766922705 67813376 15380 4294967295 134512640 134714508 3221221776 3221220040 1074153517 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16556 15380 1111 63 0 16493 0 vsize: 66224 [startup+200.006 s] Raw data (loadavg): 1.12 0.94 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 220512 0 0 0 19411 588 0 0 25 0 1 0 766922705 69312512 15746 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16922 15746 1111 63 0 16859 0 vsize: 67688 [startup+210.006 s] Raw data (loadavg): 1.10 0.94 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 222479 0 0 0 20405 593 0 0 25 0 1 0 766922705 68964352 15662 4294967295 134512640 134714508 3221221776 3221219776 1074918591 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16837 15662 1111 63 0 16774 0 vsize: 67348 [startup+220.007 s] Raw data (loadavg): 1.09 0.94 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 225061 0 0 0 21399 600 0 0 25 0 1 0 766922705 68915200 15645 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16825 15645 1111 63 0 16762 0 vsize: 67300 [startup+230.007 s] Raw data (loadavg): 1.07 0.94 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 230979 0 0 0 22384 615 0 0 25 0 1 0 766922705 68235264 15486 4294967295 134512640 134714508 3221221776 3221220488 134543191 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16659 15486 1111 63 0 16596 0 vsize: 66636 [startup+240.007 s] Raw data (loadavg): 1.06 0.94 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 269327 0 0 0 23292 706 0 0 25 0 1 0 766922705 75575296 17213 4294967295 134512640 134714508 3221221776 3221219504 1075829972 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18451 17213 1111 63 0 18388 0 vsize: 73804 [startup+250.007 s] Raw data (loadavg): 1.05 0.94 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 288822 0 0 0 24242 757 0 0 25 0 1 0 766922705 80113664 18315 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19559 18315 1111 63 0 19496 0 vsize: 78236 [startup+260.007 s] Raw data (loadavg): 1.04 0.95 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 290562 0 0 0 25238 761 0 0 25 0 1 0 766922705 78884864 18030 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19259 18030 1111 63 0 19196 0 vsize: 77036 [startup+270.006 s] Raw data (loadavg): 1.04 0.95 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 308918 0 0 0 26197 802 0 0 25 0 1 0 766922705 81760256 18765 4294967295 134512640 134714508 3221221776 3221219776 1074918599 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19961 18765 1111 63 0 19898 0 vsize: 79844 [startup+280.007 s] Raw data (loadavg): 1.03 0.95 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 310217 0 0 0 27194 805 0 0 25 0 1 0 766922705 80760832 18521 4294967295 134512640 134714508 3221221776 3221220128 1074153675 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19717 18521 1111 63 0 19654 0 vsize: 78868 [startup+290.007 s] Raw data (loadavg): 1.02 0.95 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 336750 0 0 0 28137 863 0 0 25 0 1 0 766922705 84738048 19497 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20688 19497 1111 63 0 20625 0 vsize: 82752 [startup+300.007 s] Raw data (loadavg): 1.02 0.95 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 356578 0 0 0 29089 910 0 0 25 0 1 0 766922705 88379392 20403 4294967295 134512640 134714508 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21577 20403 1111 63 0 21514 0 vsize: 86308 [startup+310.007 s] Raw data (loadavg): 1.02 0.95 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 357665 0 0 0 30085 914 0 0 25 0 1 0 766922705 90365952 20873 4294967295 134512640 134714508 3221221776 3221219776 1074918583 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22062 20873 1111 63 0 21999 0 vsize: 88248 [startup+320.007 s] Raw data (loadavg): 1.01 0.95 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 359705 0 0 0 31080 919 0 0 25 0 1 0 766922705 89116672 20589 4294967295 134512640 134714508 3221221776 3221220064 1074153786 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21757 20589 1111 63 0 21694 0 vsize: 87028 [startup+330.01 s] Raw data (loadavg): 1.01 0.95 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 361373 0 0 0 32076 924 0 0 25 0 1 0 766922705 88702976 20488 4294967295 134512640 134714508 3221221776 3221220004 1077374461 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21656 20488 1111 63 0 21593 0 vsize: 86624 [startup+340.011 s] Raw data (loadavg): 1.01 0.95 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 366232 0 0 0 33065 935 0 0 25 0 1 0 766922705 88629248 20472 4294967295 134512640 134714508 3221221776 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21638 20472 1111 63 0 21575 0 vsize: 86552 [startup+350.012 s] Raw data (loadavg): 1.01 0.95 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 374781 0 0 0 34045 956 0 0 25 0 1 0 766922705 89890816 20785 4294967295 134512640 134714508 3221221776 3221219776 1074918591 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21946 20785 1111 63 0 21883 0 vsize: 87784 [startup+360.012 s] Raw data (loadavg): 1.01 0.95 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 393442 0 0 0 35002 998 0 0 25 0 1 0 766922705 92557312 21323 4294967295 134512640 134714508 3221221776 3221219776 1074918660 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22597 21323 1111 63 0 22534 0 vsize: 90388 [startup+370.012 s] Raw data (loadavg): 1.00 0.96 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 402377 0 0 0 35982 1019 0 0 25 0 1 0 766922705 95567872 22053 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23332 22053 1111 63 0 23269 0 vsize: 93328 [startup+380.012 s] Raw data (loadavg): 1.00 0.96 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 403733 0 0 0 36979 1022 0 0 25 0 1 0 766922705 94363648 21768 4294967295 134512640 134714508 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23038 21768 1111 63 0 22975 0 vsize: 92152 [startup+390.013 s] Raw data (loadavg): 1.00 0.96 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 405150 0 0 0 37977 1025 0 0 25 0 1 0 766922705 93716480 21610 4294967295 134512640 134714508 3221221776 3221220064 1074153760 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22880 21610 1111 63 0 22817 0 vsize: 91520 [startup+400.014 s] Raw data (loadavg): 1.00 0.96 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 425430 0 0 0 38928 1073 0 0 25 0 1 0 766922705 98197504 22596 4294967295 134512640 134714508 3221221776 3221219776 1074918929 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23974 22596 1111 63 0 23911 0 vsize: 95896 [startup+410.014 s] Raw data (loadavg): 1.00 0.96 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 455892 0 0 0 39859 1142 0 0 25 0 1 0 766922705 107593728 24293 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26268 24293 1111 63 0 26205 0 vsize: 105072 [startup+420.013 s] Raw data (loadavg): 1.00 0.96 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 475596 0 0 0 40812 1189 0 0 25 0 1 0 766922705 111620096 25263 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27251 25263 1111 63 0 27188 0 vsize: 109004 [startup+430.013 s] Raw data (loadavg): 1.00 0.96 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 492161 0 0 0 41777 1224 0 0 25 0 1 0 766922705 114696192 25963 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28002 25963 1111 63 0 27939 0 vsize: 112008 [startup+440.014 s] Raw data (loadavg): 1.00 0.96 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 532140 0 0 0 42690 1312 0 0 25 0 1 0 766922705 122056704 27799 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29799 27799 1111 63 0 29736 0 vsize: 119196 [startup+450.014 s] Raw data (loadavg): 1.00 0.96 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 536455 0 0 0 43678 1324 0 0 25 0 1 0 766922705 124035072 28309 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30282 28309 1111 63 0 30219 0 vsize: 121128 [startup+460.014 s] Raw data (loadavg): 1.00 0.96 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 537025 0 0 0 44677 1325 0 0 25 0 1 0 766922705 125599744 28684 4294967295 134512640 134714508 3221221776 3221219776 1074918583 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30664 28684 1111 63 0 30601 0 vsize: 122656 [startup+470.015 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 540121 0 0 0 45669 1333 0 0 25 0 1 0 766922705 123285504 28127 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30099 28127 1111 63 0 30036 0 vsize: 120396 [startup+480.015 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 540870 0 0 0 46666 1337 0 0 25 0 1 0 766922705 125595648 28682 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30663 28682 1111 63 0 30600 0 vsize: 122652 [startup+490.016 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 540870 0 0 0 47666 1337 0 0 25 0 1 0 766922705 125595648 28682 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30663 28682 1111 63 0 30600 0 vsize: 122652 [startup+500.017 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 566126 0 0 0 48606 1397 0 0 25 0 1 0 766922705 127152128 29051 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31043 29051 1111 63 0 30980 0 vsize: 124172 [startup+510.017 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 612418 0 0 0 49498 1505 0 0 25 0 1 0 766922705 137768960 31531 4294967295 134512640 134714508 3221221776 3221218668 1077387418 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 33878 31537 1111 63 0 33815 0 vsize: 134540 [startup+520.017 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 629008 0 0 0 50461 1543 0 0 25 0 1 0 766922705 141094912 32467 4294967295 134512640 134714508 3221221776 3221220456 134535877 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34447 32467 1111 63 0 34384 0 vsize: 137788 [startup+530.017 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 662704 0 0 0 51384 1620 0 0 25 0 1 0 766922705 146391040 33763 4294967295 134512640 134714508 3221221776 3221220556 134542400 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 35740 33763 1111 63 0 35677 0 vsize: 142960 [startup+540.018 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 694785 0 0 0 52309 1695 0 0 25 0 1 0 766922705 150667264 34823 4294967295 134512640 134714508 3221221776 3221219888 1074867331 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36784 34823 1111 63 0 36721 0 vsize: 147136 [startup+550.018 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 733254 0 0 0 53222 1782 0 0 25 0 1 0 766922705 157675520 36541 4294967295 134512640 134714508 3221221776 3221219632 1073987049 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 38495 36541 1111 63 0 38432 0 vsize: 153980 [startup+560.017 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 775227 0 0 0 54128 1876 0 0 25 0 1 0 766922705 164814848 38290 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40562 38296 1111 63 0 40499 0 vsize: 160952 [startup+570.018 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 822303 0 0 0 55021 1983 0 0 25 0 1 0 766922705 175665152 40694 4294967295 134512640 134714508 3221221776 3221219980 1077404755 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42887 40694 1111 63 0 42824 0 vsize: 171548 [startup+580.019 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 859702 0 0 0 55936 2068 0 0 25 0 1 0 766922705 182185984 42280 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44641 42282 1111 63 0 44578 0 vsize: 177916 [startup+590.019 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 876516 0 0 0 56895 2110 0 0 25 0 1 0 766922705 186732544 43350 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45589 43350 1111 63 0 45526 0 vsize: 182356 [startup+600.019 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 876665 0 0 0 57893 2112 0 0 25 0 1 0 766922705 187187200 43479 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45700 43479 1111 63 0 45637 0 vsize: 182800 [startup+610.019 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 876722 0 0 0 58892 2113 0 0 25 0 1 0 766922705 187551744 43536 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45789 43536 1111 63 0 45726 0 vsize: 183156 [startup+620.019 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 876828 0 0 0 59891 2114 0 0 25 0 1 0 766922705 187895808 43642 4294967295 134512640 134714508 3221221776 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45873 43642 1111 63 0 45810 0 vsize: 183492 [startup+630.019 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 876869 0 0 0 60891 2114 0 0 25 0 1 0 766922705 188063744 43683 4294967295 134512640 134714508 3221221776 3221219984 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45914 43683 1111 63 0 45851 0 vsize: 183656 [startup+640.02 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 876913 0 0 0 61890 2115 0 0 25 0 1 0 766922705 188227584 43727 4294967295 134512640 134714508 3221221776 3221220112 1074153760 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45954 43727 1111 63 0 45891 0 vsize: 183816 [startup+650.021 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 876943 0 0 0 62890 2116 0 0 25 0 1 0 766922705 188350464 43757 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45984 43757 1111 63 0 45921 0 vsize: 183936 [startup+660.021 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 878511 0 0 0 63887 2119 0 0 25 0 1 0 766922705 192397312 44744 4294967295 134512640 134714508 3221221776 3221219776 1074918599 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46972 44744 1111 63 0 46909 0 vsize: 187888 [startup+670.021 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 878511 0 0 0 64887 2119 0 0 25 0 1 0 766922705 192397312 44744 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46972 44744 1111 63 0 46909 0 vsize: 187888 [startup+680.021 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 878511 0 0 0 65887 2119 0 0 25 0 1 0 766922705 192397312 44744 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46972 44744 1111 63 0 46909 0 vsize: 187888 [startup+690.022 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 878511 0 0 0 66887 2119 0 0 25 0 1 0 766922705 192397312 44744 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46972 44744 1111 63 0 46909 0 vsize: 187888 [startup+700.022 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 878511 0 0 0 67887 2119 0 0 25 0 1 0 766922705 192397312 44744 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46972 44744 1111 63 0 46909 0 vsize: 187888 [startup+710.021 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 878511 0 0 0 68888 2119 0 0 25 0 1 0 766922705 192397312 44744 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46972 44744 1111 63 0 46909 0 vsize: 187888 [startup+720.021 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 878511 0 0 0 69888 2119 0 0 25 0 1 0 766922705 192397312 44744 4294967295 134512640 134714508 3221221776 3221219776 1074918583 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46972 44744 1111 63 0 46909 0 vsize: 187888 [startup+730.021 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 878511 0 0 0 70888 2119 0 0 25 0 1 0 766922705 192397312 44744 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46972 44744 1111 63 0 46909 0 vsize: 187888 [startup+740.022 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 878511 0 0 0 71888 2119 0 0 25 0 1 0 766922705 192397312 44744 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46972 44744 1111 63 0 46909 0 vsize: 187888 [startup+750.023 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 882898 0 0 0 72878 2130 0 0 25 0 1 0 766922705 188493824 43798 4294967295 134512640 134714508 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46019 43798 1111 63 0 45956 0 vsize: 184076 [startup+760.023 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 882898 0 0 0 73878 2130 0 0 25 0 1 0 766922705 188493824 43798 4294967295 134512640 134714508 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46019 43798 1111 63 0 45956 0 vsize: 184076 [startup+770.024 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 882898 0 0 0 74878 2130 0 0 25 0 1 0 766922705 188493824 43798 4294967295 134512640 134714508 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46019 43798 1111 63 0 45956 0 vsize: 184076 [startup+780.024 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 882898 0 0 0 75878 2130 0 0 25 0 1 0 766922705 188493824 43798 4294967295 134512640 134714508 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46019 43798 1111 63 0 45956 0 vsize: 184076 [startup+790.025 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 882898 0 0 0 76879 2130 0 0 25 0 1 0 766922705 188493824 43798 4294967295 134512640 134714508 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46019 43798 1111 63 0 45956 0 vsize: 184076 [startup+800.025 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 882898 0 0 0 77879 2130 0 0 25 0 1 0 766922705 188493824 43798 4294967295 134512640 134714508 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46019 43798 1111 63 0 45956 0 vsize: 184076 [startup+810.025 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 882898 0 0 0 78879 2130 0 0 25 0 1 0 766922705 188493824 43798 4294967295 134512640 134714508 3221221776 3221220500 134622811 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46019 43798 1111 63 0 45956 0 vsize: 184076 [startup+820.026 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 882898 0 0 0 79879 2130 0 0 25 0 1 0 766922705 188493824 43798 4294967295 134512640 134714508 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46019 43798 1111 63 0 45956 0 vsize: 184076 [startup+830.026 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 882898 0 0 0 80879 2130 0 0 25 0 1 0 766922705 188493824 43798 4294967295 134512640 134714508 3221221776 3221220568 134543552 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46019 43798 1111 63 0 45956 0 vsize: 184076 [startup+840.027 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 883436 0 0 0 81878 2131 0 0 25 0 1 0 766922705 188227584 43724 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45954 43724 1111 63 0 45891 0 vsize: 183816 [startup+850.027 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 884807 0 0 0 82875 2134 0 0 25 0 1 0 766922705 186593280 43334 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45555 43334 1111 63 0 45492 0 vsize: 182220 [startup+860.027 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 923883 0 0 0 83783 2227 0 0 25 0 1 0 766922705 191426560 44491 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46735 44491 1111 63 0 46672 0 vsize: 186940 [startup+870.027 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 972027 0 0 0 84672 2338 0 0 25 0 1 0 766922705 206725120 46704 4294967295 134512640 134714508 3221221776 3221218668 1077387418 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 51073 46709 1111 63 0 51010 0 vsize: 201880 [startup+880.028 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 1014010 0 0 0 85576 2434 0 0 25 0 1 0 766922705 216104960 48362 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 52760 48370 1111 63 0 52697 0 vsize: 211040 [startup+890.028 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 1039187 0 0 0 86519 2491 0 0 25 0 1 0 766922705 217374720 49438 4294967295 134512640 134714508 3221221776 3221220080 1074153779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53070 49438 1111 63 0 53007 0 vsize: 212280 [startup+900.028 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 1039800 0 0 0 87518 2493 0 0 25 0 1 0 766922705 219037696 49848 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53476 49848 1111 63 0 53413 0 vsize: 213904 [startup+910.028 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 1041617 0 0 0 88514 2497 0 0 25 0 1 0 766922705 217423872 49462 4294967295 134512640 134714508 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53082 49462 1111 63 0 53019 0 vsize: 212328 [startup+920.029 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 1043042 0 0 0 89510 2501 0 0 25 0 1 0 766922705 217571328 49298 4294967295 134512640 134714508 3221221776 3221218668 1077387418 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53721 49304 1111 63 0 53658 0 vsize: 212472 [startup+930.029 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 1090173 0 0 0 90397 2614 0 0 25 0 1 0 766922705 223477760 50844 4294967295 134512640 134714508 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 54560 50844 1111 63 0 54497 0 vsize: 218240 [startup+940.034 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 1134480 0 0 0 91294 2717 0 0 25 0 1 0 766922705 230756352 52560 4294967295 134512640 134714508 3221221776 3221219776 1074918583 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 56337 52560 1111 63 0 56274 0 vsize: 225348 [startup+950.034 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 1160886 0 0 0 92237 2775 0 0 25 0 1 0 766922705 235286528 53056 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 57443 53057 1111 63 0 57380 0 vsize: 229772 [startup+960.034 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 1203047 0 0 0 93137 2875 0 0 25 0 1 0 766922705 237047808 54165 4294967295 134512640 134714508 3221221776 3221219776 1074916822 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 57873 54165 1111 63 0 57810 0 vsize: 231492 [startup+970.034 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 1204347 0 0 0 94132 2880 0 0 25 0 1 0 766922705 238284800 54482 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 58175 54482 1111 63 0 58112 0 vsize: 232700 [startup+980.034 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 1204417 0 0 0 95131 2881 0 0 25 0 1 0 766922705 238690304 54549 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 58274 54549 1111 63 0 58211 0 vsize: 233096 [startup+990.05 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 1204477 0 0 0 96132 2881 0 0 25 0 1 0 766922705 238862336 54609 4294967295 134512640 134714508 3221221776 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 58316 54609 1111 63 0 58253 0 vsize: 233264 [startup+1000.05 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 1205246 0 0 0 97130 2884 0 0 25 0 1 0 766922705 242597888 55378 4294967295 134512640 134714508 3221221776 3221219424 1075817784 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 59228 55379 1111 63 0 59165 0 vsize: 236912 [startup+1010.05 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 1205684 0 0 0 98129 2885 0 0 25 0 1 0 766922705 242040832 55387 4294967295 134512640 134714508 3221221776 3221219776 1074918599 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 59092 55387 1111 63 0 59029 0 vsize: 236368 [startup+1020.05 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 1205684 0 0 0 99130 2885 0 0 25 0 1 0 766922705 242040832 55387 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 59092 55387 1111 63 0 59029 0 vsize: 236368 [startup+1030.05 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 1205684 0 0 0 100130 2885 0 0 25 0 1 0 766922705 242040832 55387 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 59092 55387 1111 63 0 59029 0 vsize: 236368 [startup+1040.05 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 1205684 0 0 0 101130 2885 0 0 25 0 1 0 766922705 242040832 55387 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 59092 55387 1111 63 0 59029 0 vsize: 236368 [startup+1050.05 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 1208801 0 0 0 102123 2892 0 0 25 0 1 0 766922705 239165440 54697 4294967295 134512640 134714508 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 58390 54697 1111 63 0 58327 0 vsize: 233560 [startup+1060.05 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 1208801 0 0 0 103123 2892 0 0 25 0 1 0 766922705 239165440 54697 4294967295 134512640 134714508 3221221776 3221220592 134622477 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 58390 54697 1111 63 0 58327 0 vsize: 233560 [startup+1070.05 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 1208801 0 0 0 104124 2892 0 0 25 0 1 0 766922705 239165440 54697 4294967295 134512640 134714508 3221221776 3221220568 134558492 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 58390 54697 1111 63 0 58327 0 vsize: 233560 [startup+1080.05 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 1208801 0 0 0 105124 2892 0 0 25 0 1 0 766922705 239165440 54697 4294967295 134512640 134714508 3221221776 3221220572 134542400 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 58390 54697 1111 63 0 58327 0 vsize: 233560 [startup+1090.05 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 1208801 0 0 0 106124 2892 0 0 25 0 1 0 766922705 239165440 54697 4294967295 134512640 134714508 3221221776 3221220568 134558492 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 58390 54697 1111 63 0 58327 0 vsize: 233560 [startup+1100.05 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 1208801 0 0 0 107124 2892 0 0 25 0 1 0 766922705 239165440 54697 4294967295 134512640 134714508 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 58390 54697 1111 63 0 58327 0 vsize: 233560 [startup+1110.05 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 1208801 0 0 0 108124 2892 0 0 25 0 1 0 766922705 239165440 54697 4294967295 134512640 134714508 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 58390 54697 1111 63 0 58327 0 vsize: 233560 [startup+1120.05 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 1210270 0 0 0 109120 2896 0 0 25 0 1 0 766922705 238481408 54525 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 58223 54525 1111 63 0 58160 0 vsize: 232892 [startup+1130.05 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 1227468 0 0 0 110078 2938 0 0 25 0 1 0 766922705 239898624 54682 4294967295 134512640 134714508 3221221776 3221218668 1077387418 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 59172 54688 1111 63 0 59109 0 vsize: 234276 [startup+1140.05 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 1248656 0 0 0 111026 2991 0 0 25 0 1 0 766922705 247508992 55588 4294967295 134512640 134714508 3221221776 3221218112 1075113634 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 60427 55588 1111 63 0 60364 0 vsize: 241708 [startup+1150.05 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 1283071 0 0 0 111943 3074 0 0 25 0 1 0 766922705 247746560 56737 4294967295 134512640 134714508 3221221776 3221220064 1074153779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 60486 56738 1111 63 0 60423 0 vsize: 241940 [startup+1160.05 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 1283227 0 0 0 112942 3075 0 0 25 0 1 0 766922705 248385536 56893 4294967295 134512640 134714508 3221221776 3221220064 1074153786 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 60641 56893 1111 63 0 60578 0 vsize: 242564 [startup+1170.05 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 1284138 0 0 0 113939 3078 0 0 25 0 1 0 766922705 250769408 57478 4294967295 134512640 134714508 3221221776 3221219776 1074918583 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 61223 57478 1111 63 0 61160 0 vsize: 244892 [startup+1180.05 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 1284138 0 0 0 114939 3078 0 0 25 0 1 0 766922705 250769408 57478 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 61223 57478 1111 63 0 61160 0 vsize: 244892 [startup+1190.05 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 22854 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 1284138 0 0 0 115940 3078 0 0 25 0 1 0 766922705 250769408 57478 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 61223 57478 1111 63 0 61160 0 vsize: 244892 [startup+1200.05 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 22855 Raw data (stat): 22854 (bsolo_lpr) R 22853 7876 7672 0 -1 0 1286895 0 0 0 116934 3084 0 0 25 0 1 0 766922705 248614912 56966 4294967295 134512640 134714508 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 60697 56966 1111 63 0 60634 0 vsize: 242788 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.16 s] Raw data (loadavg): 1.00 0.97 0.94 1/56 22855 Raw data (stat): 22854 (bsolo_lpr) Z 22853 7876 7672 0 -1 1036 1286895 0 0 0 116934 3094 0 0 25 0 1 0 766922705 0 0 4294967295 0 0 0 0 0 0 0 1 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.16 CPU time (s): 1200.29 CPU user time (s): 1169.34 CPU system time (s): 30.9483 CPU usage (%): 100.011 Max. virtual memory (Kb): 244892 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####