Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3709.opb |
MD5SUM | 40c6760f4e05a9ceb06922f685226f97 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 105000 |
Biggest coefficient in the objective function | 4194304 |
Number of bits for the biggest coefficient in the objective function | 23 |
Sum of the numbers in the objective function | 39144954388 |
Number of bits of the sum of numbers in the objective function | 36 |
Biggest number in a constraint | 4194304 |
Number of bits of the biggest number in a constraint | 23 |
Biggest sum of numbers in a constraint | 39144954388 |
Number of bits of the biggest sum of numbers | 36 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.00884 |
Number of variables | 105000 |
Total number of constraints | 5150 |
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 | 5150 |
Minimum length of a constraint | 21 |
Maximum length of a constraint | 2000 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-05-24 18:09:29 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19111 boxname=wulflinc1 idbench=1471 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 40c6760f4e05a9ceb06922f685226f97 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-n3709.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-n3709.opb IDLAUNCH: 19111 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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 : 2 cpu MHz : 451.053 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: 372572 kB Buffers: 38524 kB Cached: 592040 kB SwapCached: 0 kB Active: 90956 kB Inactive: 542724 kB HighTotal: 131008 kB HighFree: 9072 kB LowTotal: 903652 kB LowFree: 363500 kB SwapTotal: 2097136 kB SwapFree: 2096968 kB Dirty: 36 kB Writeback: 0 kB Mapped: 7144 kB Slab: 22572 kB Committed_AS: 92716 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 18:29:32 (client local time) WITH STATUS 0 IN 1200.37 SECONDS stats: 19111 7 1200.37 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. #### 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.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (runsolver) R 10357 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 717208156 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+10.0003 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 1158 0 0 0 994 3 0 0 25 0 1 0 717208156 16052224 1082 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3919 1082 1111 63 0 3856 0 vsize: 15676 [startup+20.0001 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 1404 0 0 0 1994 3 0 0 25 0 1 0 717208156 17178624 1328 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4194 1328 1111 63 0 4131 0 vsize: 16776 [startup+30.0009 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 1648 0 0 0 2994 4 0 0 25 0 1 0 717208156 18178048 1572 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4438 1572 1111 63 0 4375 0 vsize: 17752 [startup+40.0006 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 1896 0 0 0 3993 4 0 0 25 0 1 0 717208156 19165184 1820 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4679 1820 1111 63 0 4616 0 vsize: 18716 [startup+50.0004 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 2138 0 0 0 4993 4 0 0 25 0 1 0 717208156 20152320 2062 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4920 2062 1111 63 0 4857 0 vsize: 19680 [startup+60.0002 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 2390 0 0 0 5993 5 0 0 25 0 1 0 717208156 21135360 2314 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5160 2314 1111 63 0 5097 0 vsize: 20640 [startup+70 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 2638 0 0 0 6993 5 0 0 25 0 1 0 717208156 22114304 2562 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5399 2562 1111 63 0 5336 0 vsize: 21596 [startup+80.0008 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 2885 0 0 0 7993 5 0 0 25 0 1 0 717208156 23240704 2809 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5674 2809 1111 63 0 5611 0 vsize: 22696 [startup+90.0006 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 3133 0 0 0 8992 6 0 0 25 0 1 0 717208156 24227840 3057 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5915 3057 1111 63 0 5852 0 vsize: 23660 [startup+100 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 3380 0 0 0 9992 7 0 0 25 0 1 0 717208156 25214976 3304 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6156 3304 1111 63 0 6093 0 vsize: 24624 [startup+110.001 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 3628 0 0 0 10992 7 0 0 25 0 1 0 717208156 26202112 3552 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6397 3552 1111 63 0 6334 0 vsize: 25588 [startup+120.001 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 3884 0 0 0 11992 7 0 0 25 0 1 0 717208156 27348992 3808 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6677 3808 1111 63 0 6614 0 vsize: 26708 [startup+130.002 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 4138 0 0 0 12991 8 0 0 25 0 1 0 717208156 28336128 4062 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6918 4062 1111 63 0 6855 0 vsize: 27672 [startup+140.002 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 4387 0 0 0 13991 8 0 0 25 0 1 0 717208156 29315072 4311 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7157 4311 1111 63 0 7094 0 vsize: 28628 [startup+150.001 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 4640 0 0 0 14991 8 0 0 25 0 1 0 717208156 30441472 4564 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7432 4564 1111 63 0 7369 0 vsize: 29728 [startup+160.001 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 4889 0 0 0 15991 9 0 0 25 0 1 0 717208156 31428608 4813 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7673 4813 1111 63 0 7610 0 vsize: 30692 [startup+170.001 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 5138 0 0 0 16990 9 0 0 25 0 1 0 717208156 32415744 5062 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7914 5062 1111 63 0 7851 0 vsize: 31656 [startup+180.001 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 5393 0 0 0 17990 10 0 0 25 0 1 0 717208156 33402880 5317 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8155 5317 1111 63 0 8092 0 vsize: 32620 [startup+190.001 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 5647 0 0 0 18989 11 0 0 25 0 1 0 717208156 34529280 5571 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8430 5571 1111 63 0 8367 0 vsize: 33720 [startup+200.001 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 5896 0 0 0 19989 11 0 0 25 0 1 0 717208156 35516416 5820 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8671 5820 1111 63 0 8608 0 vsize: 34684 [startup+210.001 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 6156 0 0 0 20988 12 0 0 25 0 1 0 717208156 36642816 6080 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8946 6080 1111 63 0 8883 0 vsize: 35784 [startup+220.001 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 6403 0 0 0 21987 13 0 0 25 0 1 0 717208156 37625856 6327 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9186 6327 1111 63 0 9123 0 vsize: 36744 [startup+230.001 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 6669 0 0 0 22987 14 0 0 25 0 1 0 717208156 38760448 6593 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9463 6593 1111 63 0 9400 0 vsize: 37852 [startup+240.001 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 6923 0 0 0 23987 14 0 0 25 0 1 0 717208156 39747584 6847 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9704 6847 1111 63 0 9641 0 vsize: 38816 [startup+250 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 7179 0 0 0 24986 15 0 0 25 0 1 0 717208156 40878080 7103 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9980 7103 1111 63 0 9917 0 vsize: 39920 [startup+260.001 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 7435 0 0 0 25986 15 0 0 25 0 1 0 717208156 41861120 7359 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10220 7359 1111 63 0 10157 0 vsize: 40880 [startup+270.001 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 7696 0 0 0 26986 15 0 0 25 0 1 0 717208156 42987520 7620 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10495 7620 1111 63 0 10432 0 vsize: 41980 [startup+280 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 7951 0 0 0 27986 16 0 0 25 0 1 0 717208156 43974656 7875 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10736 7875 1111 63 0 10673 0 vsize: 42944 [startup+290.103 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 8206 0 0 0 28995 16 0 0 25 0 1 0 717208156 44957696 8130 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10976 8130 1111 63 0 10913 0 vsize: 43904 [startup+300.103 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 8467 0 0 0 29995 17 0 0 25 0 1 0 717208156 46084096 8391 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11251 8391 1111 63 0 11188 0 vsize: 45004 [startup+310.104 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 8730 0 0 0 30995 17 0 0 25 0 1 0 717208156 47210496 8654 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11526 8654 1111 63 0 11463 0 vsize: 46104 [startup+320.104 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 8985 0 0 0 31995 17 0 0 25 0 1 0 717208156 48197632 8909 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11767 8909 1111 63 0 11704 0 vsize: 47068 [startup+330.104 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 9241 0 0 0 32995 18 0 0 25 0 1 0 717208156 49184768 9165 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12008 9165 1111 63 0 11945 0 vsize: 48032 [startup+340.104 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 9503 0 0 0 33994 19 0 0 25 0 1 0 717208156 50311168 9427 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12283 9427 1111 63 0 12220 0 vsize: 49132 [startup+350.104 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 9764 0 0 0 34994 19 0 0 25 0 1 0 717208156 51437568 9688 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12558 9688 1111 63 0 12495 0 vsize: 50232 [startup+360.105 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 10027 0 0 0 35994 20 0 0 25 0 1 0 717208156 52424704 9951 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12799 9951 1111 63 0 12736 0 vsize: 51196 [startup+370.105 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 10289 0 0 0 36994 20 0 0 25 0 1 0 717208156 53551104 10213 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13074 10213 1111 63 0 13011 0 vsize: 52296 [startup+380.105 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 10549 0 0 0 37993 20 0 0 25 0 1 0 717208156 54530048 10473 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13313 10473 1111 63 0 13250 0 vsize: 53252 [startup+390.105 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 10812 0 0 0 38993 21 0 0 25 0 1 0 717208156 55656448 10736 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13588 10736 1111 63 0 13525 0 vsize: 54352 [startup+400.105 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 11074 0 0 0 39993 21 0 0 25 0 1 0 717208156 56782848 10998 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13863 10998 1111 63 0 13800 0 vsize: 55452 [startup+410.105 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 11335 0 0 0 40993 22 0 0 25 0 1 0 717208156 57774080 11259 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14105 11259 1111 63 0 14042 0 vsize: 56420 [startup+420.105 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 11597 0 0 0 41992 22 0 0 25 0 1 0 717208156 58900480 11521 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14380 11521 1111 63 0 14317 0 vsize: 57520 [startup+430.105 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 11859 0 0 0 42992 23 0 0 25 0 1 0 717208156 59883520 11783 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14620 11783 1111 63 0 14557 0 vsize: 58480 [startup+440.105 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 12144 0 0 0 43991 23 0 0 25 0 1 0 717208156 61231104 12068 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14949 12068 1111 63 0 14886 0 vsize: 59796 [startup+450.105 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 12413 0 0 0 44991 24 0 0 25 0 1 0 717208156 62357504 12337 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15224 12337 1111 63 0 15161 0 vsize: 60896 [startup+460.105 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 12676 0 0 0 45991 24 0 0 25 0 1 0 717208156 63340544 12600 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15464 12600 1111 63 0 15401 0 vsize: 61856 [startup+470.104 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 12938 0 0 0 46990 25 0 0 25 0 1 0 717208156 64466944 12862 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15739 12862 1111 63 0 15676 0 vsize: 62956 [startup+480.105 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 13205 0 0 0 47990 25 0 0 25 0 1 0 717208156 65593344 13129 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16014 13129 1111 63 0 15951 0 vsize: 64056 [startup+490.104 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 13474 0 0 0 48990 25 0 0 25 0 1 0 717208156 66719744 13398 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16289 13398 1111 63 0 16226 0 vsize: 65156 [startup+500.104 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 13744 0 0 0 49990 26 0 0 25 0 1 0 717208156 67706880 13668 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16530 13668 1111 63 0 16467 0 vsize: 66120 [startup+510.104 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 14012 0 0 0 50990 26 0 0 25 0 1 0 717208156 68833280 13936 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16805 13936 1111 63 0 16742 0 vsize: 67220 [startup+520.103 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 14281 0 0 0 51989 27 0 0 25 0 1 0 717208156 69959680 14205 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17080 14205 1111 63 0 17017 0 vsize: 68320 [startup+530.104 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 14550 0 0 0 52989 27 0 0 25 0 1 0 717208156 71086080 14474 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17355 14474 1111 63 0 17292 0 vsize: 69420 [startup+540.105 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 14820 0 0 0 53988 28 0 0 25 0 1 0 717208156 72212480 14744 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17630 14744 1111 63 0 17567 0 vsize: 70520 [startup+550.105 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 15088 0 0 0 54988 29 0 0 25 0 1 0 717208156 73199616 15012 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17871 15012 1111 63 0 17808 0 vsize: 71484 [startup+560.104 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 15364 0 0 0 55988 29 0 0 25 0 1 0 717208156 74326016 15288 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18146 15288 1111 63 0 18083 0 vsize: 72584 [startup+570.104 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 15633 0 0 0 56987 30 0 0 25 0 1 0 717208156 75452416 15557 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18421 15557 1111 63 0 18358 0 vsize: 73684 [startup+580.105 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 15903 0 0 0 57987 30 0 0 25 0 1 0 717208156 76578816 15827 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18696 15827 1111 63 0 18633 0 vsize: 74784 [startup+590.105 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 16179 0 0 0 58987 31 0 0 25 0 1 0 717208156 77701120 16103 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18970 16103 1111 63 0 18907 0 vsize: 75880 [startup+600.105 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 16452 0 0 0 59986 31 0 0 25 0 1 0 717208156 78827520 16376 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19245 16376 1111 63 0 19182 0 vsize: 76980 [startup+610.105 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 16728 0 0 0 60986 31 0 0 25 0 1 0 717208156 79953920 16652 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19520 16652 1111 63 0 19457 0 vsize: 78080 [startup+620.105 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 17004 0 0 0 61986 32 0 0 25 0 1 0 717208156 81080320 16928 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19795 16928 1111 63 0 19732 0 vsize: 79180 [startup+630.106 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 17280 0 0 0 62986 32 0 0 25 0 1 0 717208156 82206720 17204 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20070 17204 1111 63 0 20007 0 vsize: 80280 [startup+640.107 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 17556 0 0 0 63985 33 0 0 25 0 1 0 717208156 83333120 17480 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20345 17480 1111 63 0 20282 0 vsize: 81380 [startup+650.106 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 17831 0 0 0 64985 33 0 0 25 0 1 0 717208156 84459520 17755 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20620 17755 1111 63 0 20557 0 vsize: 82480 [startup+660.107 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 18107 0 0 0 65985 34 0 0 25 0 1 0 717208156 85590016 18031 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20896 18031 1111 63 0 20833 0 vsize: 83584 [startup+670.106 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 18384 0 0 0 66984 35 0 0 25 0 1 0 717208156 86716416 18308 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21171 18308 1111 63 0 21108 0 vsize: 84684 [startup+680.107 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 18659 0 0 0 67984 35 0 0 25 0 1 0 717208156 87842816 18583 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21446 18583 1111 63 0 21383 0 vsize: 85784 [startup+690.107 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 18943 0 0 0 68984 36 0 0 25 0 1 0 717208156 88969216 18867 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21721 18867 1111 63 0 21658 0 vsize: 86884 [startup+700.106 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 19218 0 0 0 69983 36 0 0 25 0 1 0 717208156 90095616 19142 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21996 19142 1111 63 0 21933 0 vsize: 87984 [startup+710.107 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 19501 0 0 0 70983 37 0 0 25 0 1 0 717208156 91222016 19425 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22271 19425 1111 63 0 22208 0 vsize: 89084 [startup+720.107 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 19784 0 0 0 71982 37 0 0 25 0 1 0 717208156 92491776 19708 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22581 19708 1111 63 0 22518 0 vsize: 90324 [startup+730.108 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 20066 0 0 0 72982 38 0 0 25 0 1 0 717208156 93618176 19990 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22856 19990 1111 63 0 22793 0 vsize: 91424 [startup+740.108 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 20343 0 0 0 73982 38 0 0 25 0 1 0 717208156 94744576 20267 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23131 20267 1111 63 0 23068 0 vsize: 92524 [startup+750.107 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 20631 0 0 0 74981 39 0 0 25 0 1 0 717208156 95870976 20555 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23406 20555 1111 63 0 23343 0 vsize: 93624 [startup+760.107 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 20914 0 0 0 75981 39 0 0 25 0 1 0 717208156 96997376 20838 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23681 20838 1111 63 0 23618 0 vsize: 94724 [startup+770.107 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 21198 0 0 0 76980 40 0 0 25 0 1 0 717208156 98263040 21122 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23990 21122 1111 63 0 23927 0 vsize: 95960 [startup+780.108 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 21486 0 0 0 77980 40 0 0 25 0 1 0 717208156 99385344 21410 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24264 21410 1111 63 0 24201 0 vsize: 97056 [startup+790.109 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 21770 0 0 0 78980 41 0 0 25 0 1 0 717208156 100511744 21694 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24539 21694 1111 63 0 24476 0 vsize: 98156 [startup+800.108 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 22051 0 0 0 79980 41 0 0 25 0 1 0 717208156 101638144 21975 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24814 21975 1111 63 0 24751 0 vsize: 99256 [startup+810.108 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 22341 0 0 0 80979 42 0 0 25 0 1 0 717208156 102903808 22265 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25123 22265 1111 63 0 25060 0 vsize: 100492 [startup+820.116 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 22629 0 0 0 81980 42 0 0 25 0 1 0 717208156 104030208 22553 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25398 22553 1111 63 0 25335 0 vsize: 101592 [startup+830.117 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 22918 0 0 0 82980 43 0 0 25 0 1 0 717208156 105295872 22842 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25707 22842 1111 63 0 25644 0 vsize: 102828 [startup+840.117 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 23240 0 0 0 83979 43 0 0 25 0 1 0 717208156 106786816 23164 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26071 23164 1111 63 0 26008 0 vsize: 104284 [startup+850.116 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 23529 0 0 0 84979 44 0 0 25 0 1 0 717208156 108052480 23453 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26380 23453 1111 63 0 26317 0 vsize: 105520 [startup+860.116 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 23820 0 0 0 85978 44 0 0 25 0 1 0 717208156 109178880 23744 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26655 23744 1111 63 0 26592 0 vsize: 106620 [startup+870.116 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 24109 0 0 0 86978 45 0 0 25 0 1 0 717208156 110305280 24033 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26930 24033 1111 63 0 26867 0 vsize: 107720 [startup+880.117 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 24399 0 0 0 87977 46 0 0 25 0 1 0 717208156 111575040 24323 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27240 24323 1111 63 0 27177 0 vsize: 108960 [startup+890.117 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 24689 0 0 0 88977 46 0 0 25 0 1 0 717208156 112701440 24613 4294967295 134512640 134714508 3221224592 3221222784 134534801 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27515 24613 1111 63 0 27452 0 vsize: 110060 [startup+900.117 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 24985 0 0 0 89977 47 0 0 25 0 1 0 717208156 113967104 24909 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27824 24909 1111 63 0 27761 0 vsize: 111296 [startup+910.118 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 25281 0 0 0 90977 47 0 0 25 0 1 0 717208156 115093504 25205 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28099 25205 1111 63 0 28036 0 vsize: 112396 [startup+920.118 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 25571 0 0 0 91976 48 0 0 25 0 1 0 717208156 116359168 25495 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28408 25495 1111 63 0 28345 0 vsize: 113632 [startup+930.119 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 25868 0 0 0 92976 48 0 0 25 0 1 0 717208156 117485568 25792 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28683 25792 1111 63 0 28620 0 vsize: 114732 [startup+940.118 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 26163 0 0 0 93976 49 0 0 25 0 1 0 717208156 118751232 26087 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28992 26087 1111 63 0 28929 0 vsize: 115968 [startup+950.118 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 26454 0 0 0 94976 49 0 0 25 0 1 0 717208156 119881728 26378 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29268 26378 1111 63 0 29205 0 vsize: 117072 [startup+960.119 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 26757 0 0 0 95975 50 0 0 25 0 1 0 717208156 121147392 26681 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29577 26681 1111 63 0 29514 0 vsize: 118308 [startup+970.119 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 27046 0 0 0 96975 50 0 0 25 0 1 0 717208156 122413056 26970 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29886 26970 1111 63 0 29823 0 vsize: 119544 [startup+980.119 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 27350 0 0 0 97975 50 0 0 25 0 1 0 717208156 123539456 27274 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30161 27274 1111 63 0 30098 0 vsize: 120644 [startup+990.12 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 27646 0 0 0 98974 51 0 0 25 0 1 0 717208156 124809216 27570 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30471 27570 1111 63 0 30408 0 vsize: 121884 [startup+1000.12 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 27944 0 0 0 99974 52 0 0 25 0 1 0 717208156 126074880 27868 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30780 27868 1111 63 0 30717 0 vsize: 123120 [startup+1010.12 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 28246 0 0 0 100973 53 0 0 25 0 1 0 717208156 127201280 28170 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31055 28170 1111 63 0 30992 0 vsize: 124220 [startup+1020.12 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 28543 0 0 0 101973 53 0 0 25 0 1 0 717208156 128466944 28467 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31364 28467 1111 63 0 31301 0 vsize: 125456 [startup+1030.12 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 28846 0 0 0 102972 54 0 0 25 0 1 0 717208156 129732608 28770 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31673 28770 1111 63 0 31610 0 vsize: 126692 [startup+1040.12 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 29142 0 0 0 103972 55 0 0 25 0 1 0 717208156 130863104 29066 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31949 29066 1111 63 0 31886 0 vsize: 127796 [startup+1050.12 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 29448 0 0 0 104972 55 0 0 25 0 1 0 717208156 132128768 29372 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32258 29372 1111 63 0 32195 0 vsize: 129032 [startup+1060.12 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 29750 0 0 0 105971 55 0 0 25 0 1 0 717208156 133394432 29674 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32567 29674 1111 63 0 32504 0 vsize: 130268 [startup+1070.12 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 30054 0 0 0 106971 56 0 0 25 0 1 0 717208156 134668288 29978 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32878 29978 1111 63 0 32815 0 vsize: 131512 [startup+1080.12 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 30356 0 0 0 107971 56 0 0 25 0 1 0 717208156 135933952 30280 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33187 30280 1111 63 0 33124 0 vsize: 132748 [startup+1090.12 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 30667 0 0 0 108971 57 0 0 25 0 1 0 717208156 137203712 30591 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33497 30591 1111 63 0 33434 0 vsize: 133988 [startup+1100.12 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 30976 0 0 0 109970 57 0 0 25 0 1 0 717208156 138469376 30900 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33806 30900 1111 63 0 33743 0 vsize: 135224 [startup+1110.12 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 31279 0 0 0 110970 58 0 0 25 0 1 0 717208156 139595776 31203 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34081 31203 1111 63 0 34018 0 vsize: 136324 [startup+1120.12 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 31584 0 0 0 111970 58 0 0 25 0 1 0 717208156 140865536 31508 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34391 31508 1111 63 0 34328 0 vsize: 137564 [startup+1130.12 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 31893 0 0 0 112969 59 0 0 25 0 1 0 717208156 142131200 31817 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34700 31817 1111 63 0 34637 0 vsize: 138800 [startup+1140.12 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 32204 0 0 0 113969 59 0 0 25 0 1 0 717208156 143396864 32128 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35009 32128 1111 63 0 34946 0 vsize: 140036 [startup+1150.12 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 32513 0 0 0 114968 60 0 0 25 0 1 0 717208156 144662528 32437 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35318 32437 1111 63 0 35255 0 vsize: 141272 [startup+1160.12 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 32824 0 0 0 115968 60 0 0 25 0 1 0 717208156 145932288 32748 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35628 32748 1111 63 0 35565 0 vsize: 142512 [startup+1170.12 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 33134 0 0 0 116968 61 0 0 25 0 1 0 717208156 147197952 33058 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35937 33058 1111 63 0 35874 0 vsize: 143748 [startup+1180.12 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 33444 0 0 0 117968 61 0 0 25 0 1 0 717208156 148463616 33368 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36246 33368 1111 63 0 36183 0 vsize: 144984 [startup+1190.12 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 33761 0 0 0 118967 62 0 0 25 0 1 0 717208156 149729280 33685 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36555 33685 1111 63 0 36492 0 vsize: 146220 [startup+1200.12 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 10358 Raw data (stat): 10358 (bsolo_lpr) R 10357 8378 8377 0 -1 0 34064 0 0 0 119967 62 0 0 25 0 1 0 717208156 150999040 33988 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36865 33988 1111 63 0 36802 0 vsize: 147460 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.19 s] Raw data (loadavg): 1.00 0.97 0.96 1/55 10358 Raw data (stat): 10358 (bsolo_lpr) Z 10357 8378 8377 0 -1 1036 34064 0 0 0 119967 68 0 0 25 0 1 0 717208156 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.19 CPU time (s): 1200.37 CPU user time (s): 1199.68 CPU system time (s): 0.689895 CPU usage (%): 100.015 Max. virtual memory (Kb): 147460 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####