Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-dfl001.opb |
MD5SUM | 0613a0c4894703648f95007e06fadc66 |
Bench Category | optimization, big integers (OPTBIGINT) |
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 | 187033 |
Biggest coefficient in the objective function | 2150851580428025856 |
Number of bits for the biggest coefficient in the objective function | 61 |
Sum of the numbers in the objective function | 882752655849462562816 |
Number of bits of the sum of numbers in the objective function | 70 |
Biggest number in a constraint | 53687091200000000000 |
Number of bits of the biggest number in a constraint | 66 |
Biggest sum of numbers in a constraint | 4277072243466308681728 |
Number of bits of the biggest sum of numbers | 72 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 3.46847 |
Number of variables | 366703 |
Total number of constraints | 6084 |
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 | 6084 |
Minimum length of a constraint | 13 |
Maximum length of a constraint | 6840 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-06-07 20:53:07 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27869 boxname=wulflinc6 idbench=825 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: 0613a0c4894703648f95007e06fadc66 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-dfl001.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-dfl001.opb IDLAUNCH: 27869 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 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.042 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: 857368 kB Buffers: 34132 kB Cached: 119792 kB SwapCached: 1796 kB Active: 59164 kB Inactive: 97700 kB HighTotal: 131008 kB HighFree: 24948 kB LowTotal: 903652 kB LowFree: 832420 kB SwapTotal: 2097136 kB SwapFree: 2094416 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5052 kB Slab: 14792 kB Committed_AS: 63724 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-07 21:13:10 (client local time) WITH STATUS 0 IN 1200.46 SECONDS stats: 27869 7 1200.46 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 Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 1.01 0.97 0.91 2/54 18462 Raw data (stat): 18462 (runsolver) R 18461 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 896021896 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0005 s] Raw data (loadavg): 1.01 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 1690 0 0 0 991 7 0 0 25 0 1 0 896021896 15364096 1610 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3751 1610 1111 63 0 3688 0 vsize: 15004 [startup+20.0004 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 1735 0 0 0 1991 7 0 0 25 0 1 0 896021896 15511552 1655 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3787 1655 1111 63 0 3724 0 vsize: 15148 [startup+30.0006 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 1786 0 0 0 2991 7 0 0 25 0 1 0 896021896 15663104 1706 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3824 1706 1111 63 0 3761 0 vsize: 15296 [startup+40.0009 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 1838 0 0 0 3992 7 0 0 25 0 1 0 896021896 15966208 1758 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3898 1758 1111 63 0 3835 0 vsize: 15592 [startup+50.0018 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 1889 0 0 0 4992 7 0 0 25 0 1 0 896021896 16113664 1809 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3934 1809 1111 63 0 3871 0 vsize: 15736 [startup+60.0023 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 1940 0 0 0 5992 7 0 0 25 0 1 0 896021896 16412672 1860 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4007 1860 1111 63 0 3944 0 vsize: 16028 [startup+70.0021 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 1991 0 0 0 6992 8 0 0 25 0 1 0 896021896 16564224 1911 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4044 1911 1111 63 0 3981 0 vsize: 16176 [startup+80.0023 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2044 0 0 0 7993 8 0 0 25 0 1 0 896021896 16711680 1964 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4080 1964 1111 63 0 4017 0 vsize: 16320 [startup+90.0025 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2101 0 0 0 8993 8 0 0 25 0 1 0 896021896 17014784 2021 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4154 2021 1111 63 0 4091 0 vsize: 16616 [startup+100.009 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2148 0 0 0 9994 8 0 0 25 0 1 0 896021896 17166336 2068 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4191 2068 1111 63 0 4128 0 vsize: 16764 [startup+110.017 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2199 0 0 0 10995 8 0 0 25 0 1 0 896021896 17444864 2119 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4259 2119 1111 63 0 4196 0 vsize: 17036 [startup+120.017 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2250 0 0 0 11995 8 0 0 25 0 1 0 896021896 17596416 2170 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4296 2170 1111 63 0 4233 0 vsize: 17184 [startup+130.017 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2303 0 0 0 12995 8 0 0 25 0 1 0 896021896 17903616 2223 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4371 2223 1111 63 0 4308 0 vsize: 17484 [startup+140.017 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2354 0 0 0 13995 8 0 0 25 0 1 0 896021896 18051072 2274 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4407 2274 1111 63 0 4344 0 vsize: 17628 [startup+150.017 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2412 0 0 0 14996 8 0 0 25 0 1 0 896021896 18350080 2332 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4480 2332 1111 63 0 4417 0 vsize: 17920 [startup+160.017 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2456 0 0 0 15996 8 0 0 25 0 1 0 896021896 18497536 2376 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4516 2376 1111 63 0 4453 0 vsize: 18064 [startup+170.018 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2502 0 0 0 16997 8 0 0 25 0 1 0 896021896 18653184 2422 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4554 2422 1111 63 0 4491 0 vsize: 18216 [startup+180.018 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2560 0 0 0 17997 8 0 0 25 0 1 0 896021896 18952192 2480 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4627 2480 1111 63 0 4564 0 vsize: 18508 [startup+190.019 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2604 0 0 0 18997 8 0 0 25 0 1 0 896021896 19103744 2524 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4664 2524 1111 63 0 4601 0 vsize: 18656 [startup+200.019 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2666 0 0 0 19997 9 0 0 25 0 1 0 896021896 19394560 2586 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4735 2586 1111 63 0 4672 0 vsize: 18940 [startup+210.019 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2719 0 0 0 20998 9 0 0 25 0 1 0 896021896 19550208 2639 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4773 2639 1111 63 0 4710 0 vsize: 19092 [startup+220.019 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2770 0 0 0 21998 9 0 0 25 0 1 0 896021896 19697664 2690 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4809 2690 1111 63 0 4746 0 vsize: 19236 [startup+230.02 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2828 0 0 0 22998 9 0 0 25 0 1 0 896021896 19996672 2748 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4882 2748 1111 63 0 4819 0 vsize: 19528 [startup+240.02 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2879 0 0 0 23998 9 0 0 25 0 1 0 896021896 20148224 2799 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4919 2799 1111 63 0 4856 0 vsize: 19676 [startup+250.02 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2932 0 0 0 24998 9 0 0 25 0 1 0 896021896 20451328 2852 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4993 2852 1111 63 0 4930 0 vsize: 19972 [startup+260.02 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2976 0 0 0 25999 9 0 0 25 0 1 0 896021896 20598784 2896 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5029 2896 1111 63 0 4966 0 vsize: 20116 [startup+270.02 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3027 0 0 0 26999 9 0 0 25 0 1 0 896021896 20750336 2947 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5066 2947 1111 63 0 5003 0 vsize: 20264 [startup+280.02 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3078 0 0 0 27999 9 0 0 25 0 1 0 896021896 21049344 2998 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5139 2998 1111 63 0 5076 0 vsize: 20556 [startup+290.02 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3122 0 0 0 29000 9 0 0 25 0 1 0 896021896 21196800 3042 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5175 3042 1111 63 0 5112 0 vsize: 20700 [startup+300.021 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3175 0 0 0 30000 10 0 0 25 0 1 0 896021896 21348352 3095 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5212 3095 1111 63 0 5149 0 vsize: 20848 [startup+310.021 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3227 0 0 0 31000 10 0 0 25 0 1 0 896021896 21651456 3147 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5286 3147 1111 63 0 5223 0 vsize: 21144 [startup+320.021 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3284 0 0 0 32000 10 0 0 25 0 1 0 896021896 21798912 3204 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5322 3204 1111 63 0 5259 0 vsize: 21288 [startup+330.021 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3336 0 0 0 33000 11 0 0 25 0 1 0 896021896 22097920 3256 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5395 3256 1111 63 0 5332 0 vsize: 21580 [startup+340.021 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3389 0 0 0 34000 11 0 0 25 0 1 0 896021896 22249472 3309 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5432 3309 1111 63 0 5369 0 vsize: 21728 [startup+350.021 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3446 0 0 0 35000 11 0 0 25 0 1 0 896021896 22556672 3366 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5507 3366 1111 63 0 5444 0 vsize: 22028 [startup+360.022 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3491 0 0 0 36000 11 0 0 25 0 1 0 896021896 22704128 3411 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5543 3411 1111 63 0 5480 0 vsize: 22172 [startup+370.022 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3548 0 0 0 37000 11 0 0 25 0 1 0 896021896 22999040 3468 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5615 3468 1111 63 0 5552 0 vsize: 22460 [startup+380.021 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3612 0 0 0 38001 12 0 0 25 0 1 0 896021896 23285760 3532 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5685 3532 1111 63 0 5622 0 vsize: 22740 [startup+390.022 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3659 0 0 0 39001 12 0 0 25 0 1 0 896021896 23420928 3579 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5718 3579 1111 63 0 5655 0 vsize: 22872 [startup+400.022 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3716 0 0 0 40001 12 0 0 25 0 1 0 896021896 23711744 3636 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5789 3636 1111 63 0 5726 0 vsize: 23156 [startup+410.022 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 18462 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3761 0 0 0 41001 12 0 0 25 0 1 0 896021896 23863296 3681 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5826 3681 1111 63 0 5763 0 vsize: 23304 [startup+420.023 s] Raw data (loadavg): 1.08 0.99 0.92 2/54 18515 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3821 0 0 0 41999 14 0 0 25 0 1 0 896021896 24010752 3741 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5862 3741 1111 63 0 5799 0 vsize: 23448 [startup+430.023 s] Raw data (loadavg): 1.07 0.99 0.92 2/54 18515 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3873 0 0 0 42999 14 0 0 25 0 1 0 896021896 24313856 3793 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5936 3793 1111 63 0 5873 0 vsize: 23744 [startup+440.023 s] Raw data (loadavg): 1.06 0.99 0.92 2/54 18515 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3916 0 0 0 43999 14 0 0 25 0 1 0 896021896 24465408 3836 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5973 3836 1111 63 0 5910 0 vsize: 23892 [startup+450.024 s] Raw data (loadavg): 1.05 0.99 0.92 2/54 18515 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3967 0 0 0 45000 14 0 0 25 0 1 0 896021896 24612864 3887 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6009 3887 1111 63 0 5946 0 vsize: 24036 [startup+460.024 s] Raw data (loadavg): 1.04 0.99 0.92 2/54 18515 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4025 0 0 0 46000 14 0 0 25 0 1 0 896021896 24911872 3945 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6082 3945 1111 63 0 6019 0 vsize: 24328 [startup+470.024 s] Raw data (loadavg): 1.03 0.99 0.92 2/54 18515 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4071 0 0 0 47000 15 0 0 25 0 1 0 896021896 25047040 3991 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6115 3991 1111 63 0 6052 0 vsize: 24460 [startup+480.025 s] Raw data (loadavg): 1.03 0.99 0.92 2/54 18515 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4130 0 0 0 48000 15 0 0 25 0 1 0 896021896 25337856 4050 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6186 4050 1111 63 0 6123 0 vsize: 24744 [startup+490.024 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 18517 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4174 0 0 0 49000 15 0 0 25 0 1 0 896021896 25489408 4094 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6223 4094 1111 63 0 6160 0 vsize: 24892 [startup+500.025 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 18517 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4225 0 0 0 50000 15 0 0 25 0 1 0 896021896 25784320 4145 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6295 4145 1111 63 0 6232 0 vsize: 25180 [startup+510.026 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 18517 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4277 0 0 0 51001 15 0 0 25 0 1 0 896021896 25939968 4197 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6333 4197 1111 63 0 6270 0 vsize: 25332 [startup+520.026 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 18517 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4336 0 0 0 52001 15 0 0 25 0 1 0 896021896 26238976 4256 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6406 4256 1111 63 0 6343 0 vsize: 25624 [startup+530.026 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 18517 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4381 0 0 0 53001 15 0 0 25 0 1 0 896021896 26390528 4301 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6443 4301 1111 63 0 6380 0 vsize: 25772 [startup+540.039 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 18517 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4438 0 0 0 54003 16 0 0 25 0 1 0 896021896 26537984 4358 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6479 4358 1111 63 0 6416 0 vsize: 25916 [startup+550.039 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 18517 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4491 0 0 0 55003 16 0 0 25 0 1 0 896021896 26836992 4411 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6552 4411 1111 63 0 6489 0 vsize: 26208 [startup+560.039 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 18517 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4542 0 0 0 56003 16 0 0 25 0 1 0 896021896 26992640 4462 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6590 4462 1111 63 0 6527 0 vsize: 26360 [startup+570.04 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 18517 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4595 0 0 0 57003 16 0 0 25 0 1 0 896021896 27291648 4515 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6663 4515 1111 63 0 6600 0 vsize: 26652 [startup+580.039 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 18517 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4645 0 0 0 58004 16 0 0 25 0 1 0 896021896 27439104 4565 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6699 4565 1111 63 0 6636 0 vsize: 26796 [startup+590.04 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 18517 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4696 0 0 0 59004 16 0 0 25 0 1 0 896021896 27590656 4616 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6736 4616 1111 63 0 6673 0 vsize: 26944 [startup+600.04 s] Raw data (loadavg): 1.08 1.00 0.92 2/54 18517 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4742 0 0 0 60004 16 0 0 25 0 1 0 896021896 27893760 4662 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6810 4662 1111 63 0 6747 0 vsize: 27240 [startup+610.041 s] Raw data (loadavg): 1.14 1.02 0.93 2/54 18517 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4799 0 0 0 61004 16 0 0 25 0 1 0 896021896 28041216 4719 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6846 4719 1111 63 0 6783 0 vsize: 27384 [startup+620.041 s] Raw data (loadavg): 1.12 1.02 0.93 2/54 18517 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4852 0 0 0 62005 16 0 0 25 0 1 0 896021896 28340224 4772 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6919 4772 1111 63 0 6856 0 vsize: 27676 [startup+630.042 s] Raw data (loadavg): 1.10 1.02 0.93 2/54 18517 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4909 0 0 0 63005 17 0 0 25 0 1 0 896021896 28491776 4829 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6956 4829 1111 63 0 6893 0 vsize: 27824 [startup+640.042 s] Raw data (loadavg): 1.08 1.02 0.93 2/54 18517 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4956 0 0 0 64005 17 0 0 25 0 1 0 896021896 28639232 4876 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6992 4876 1111 63 0 6929 0 vsize: 27968 [startup+650.042 s] Raw data (loadavg): 1.07 1.02 0.93 2/54 18517 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5007 0 0 0 65005 17 0 0 25 0 1 0 896021896 28942336 4927 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7066 4927 1111 63 0 7003 0 vsize: 28264 [startup+660.042 s] Raw data (loadavg): 1.06 1.02 0.93 2/54 18517 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5058 0 0 0 66005 17 0 0 25 0 1 0 896021896 29093888 4978 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7103 4978 1111 63 0 7040 0 vsize: 28412 [startup+670.042 s] Raw data (loadavg): 1.05 1.01 0.93 2/54 18517 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5115 0 0 0 67006 17 0 0 25 0 1 0 896021896 29392896 5035 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7176 5035 1111 63 0 7113 0 vsize: 28704 [startup+680.043 s] Raw data (loadavg): 1.04 1.01 0.93 2/54 18517 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5161 0 0 0 68006 17 0 0 25 0 1 0 896021896 29540352 5081 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7212 5081 1111 63 0 7149 0 vsize: 28848 [startup+690.043 s] Raw data (loadavg): 1.04 1.01 0.93 2/54 18517 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5219 0 0 0 69006 17 0 0 25 0 1 0 896021896 29818880 5139 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7280 5139 1111 63 0 7217 0 vsize: 29120 [startup+700.044 s] Raw data (loadavg): 1.03 1.01 0.93 2/54 18517 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5263 0 0 0 70007 17 0 0 25 0 1 0 896021896 29966336 5183 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7316 5183 1111 63 0 7253 0 vsize: 29264 [startup+710.045 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 18517 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5321 0 0 0 71007 18 0 0 25 0 1 0 896021896 30265344 5241 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7389 5241 1111 63 0 7326 0 vsize: 29556 [startup+720.045 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 18517 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5374 0 0 0 72007 18 0 0 25 0 1 0 896021896 30412800 5294 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7425 5294 1111 63 0 7362 0 vsize: 29700 [startup+730.045 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 18517 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5425 0 0 0 73007 18 0 0 25 0 1 0 896021896 30568448 5345 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7463 5345 1111 63 0 7400 0 vsize: 29852 [startup+740.045 s] Raw data (loadavg): 1.01 1.01 0.93 2/54 18517 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5476 0 0 0 74007 18 0 0 25 0 1 0 896021896 30867456 5396 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7536 5396 1111 63 0 7473 0 vsize: 30144 [startup+750.046 s] Raw data (loadavg): 1.01 1.01 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5527 0 0 0 75008 18 0 0 25 0 1 0 896021896 31019008 5447 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7573 5447 1111 63 0 7510 0 vsize: 30292 [startup+760.046 s] Raw data (loadavg): 1.01 1.01 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5595 0 0 0 76008 18 0 0 25 0 1 0 896021896 31350784 5515 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7654 5515 1111 63 0 7591 0 vsize: 30616 [startup+770.047 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5649 0 0 0 77008 18 0 0 25 0 1 0 896021896 31657984 5569 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7729 5569 1111 63 0 7666 0 vsize: 30916 [startup+780.048 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5700 0 0 0 78009 18 0 0 25 0 1 0 896021896 31805440 5620 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7765 5620 1111 63 0 7702 0 vsize: 31060 [startup+790.048 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5752 0 0 0 79009 19 0 0 25 0 1 0 896021896 31956992 5672 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7802 5672 1111 63 0 7739 0 vsize: 31208 [startup+800.048 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5803 0 0 0 80009 19 0 0 25 0 1 0 896021896 32256000 5723 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7875 5723 1111 63 0 7812 0 vsize: 31500 [startup+810.048 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5862 0 0 0 81009 19 0 0 25 0 1 0 896021896 32407552 5782 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7912 5782 1111 63 0 7849 0 vsize: 31648 [startup+820.049 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5913 0 0 0 82010 19 0 0 25 0 1 0 896021896 32706560 5833 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7985 5833 1111 63 0 7922 0 vsize: 31940 [startup+830.049 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5964 0 0 0 83010 19 0 0 25 0 1 0 896021896 32858112 5884 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8022 5884 1111 63 0 7959 0 vsize: 32088 [startup+840.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6022 0 0 0 84010 19 0 0 25 0 1 0 896021896 33157120 5942 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8095 5942 1111 63 0 8032 0 vsize: 32380 [startup+850.051 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6076 0 0 0 85010 19 0 0 25 0 1 0 896021896 33308672 5996 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8132 5996 1111 63 0 8069 0 vsize: 32528 [startup+860.051 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6128 0 0 0 86010 20 0 0 25 0 1 0 896021896 33607680 6048 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8205 6048 1111 63 0 8142 0 vsize: 32820 [startup+870.051 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6186 0 0 0 87010 20 0 0 25 0 1 0 896021896 33759232 6106 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8242 6106 1111 63 0 8179 0 vsize: 32968 [startup+880.052 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6237 0 0 0 88011 20 0 0 25 0 1 0 896021896 34058240 6157 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8315 6157 1111 63 0 8252 0 vsize: 33260 [startup+890.052 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6290 0 0 0 89011 20 0 0 25 0 1 0 896021896 34209792 6210 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8352 6210 1111 63 0 8289 0 vsize: 33408 [startup+900.053 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6348 0 0 0 90012 20 0 0 25 0 1 0 896021896 34508800 6268 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8425 6268 1111 63 0 8362 0 vsize: 33700 [startup+910.054 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6393 0 0 0 91012 20 0 0 25 0 1 0 896021896 34660352 6313 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8462 6313 1111 63 0 8399 0 vsize: 33848 [startup+920.053 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6450 0 0 0 92012 20 0 0 25 0 1 0 896021896 34807808 6370 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8498 6370 1111 63 0 8435 0 vsize: 33992 [startup+930.054 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6503 0 0 0 93012 20 0 0 25 0 1 0 896021896 35115008 6423 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8573 6423 1111 63 0 8510 0 vsize: 34292 [startup+940.054 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6555 0 0 0 94012 21 0 0 25 0 1 0 896021896 35266560 6475 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8610 6475 1111 63 0 8547 0 vsize: 34440 [startup+950.055 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6614 0 0 0 95013 21 0 0 25 0 1 0 896021896 35561472 6534 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8682 6534 1111 63 0 8619 0 vsize: 34728 [startup+960.056 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6666 0 0 0 96013 21 0 0 25 0 1 0 896021896 35708928 6586 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8718 6586 1111 63 0 8655 0 vsize: 34872 [startup+970.057 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6719 0 0 0 97013 21 0 0 25 0 1 0 896021896 36016128 6639 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8793 6639 1111 63 0 8730 0 vsize: 35172 [startup+980.058 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6776 0 0 0 98013 21 0 0 25 0 1 0 896021896 36167680 6696 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8830 6696 1111 63 0 8767 0 vsize: 35320 [startup+990.058 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6827 0 0 0 99013 22 0 0 25 0 1 0 896021896 36466688 6747 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8903 6747 1111 63 0 8840 0 vsize: 35612 [startup+1000.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6878 0 0 0 100014 22 0 0 25 0 1 0 896021896 36614144 6798 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8939 6798 1111 63 0 8876 0 vsize: 35756 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6938 0 0 0 101014 22 0 0 25 0 1 0 896021896 36917248 6858 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9013 6858 1111 63 0 8950 0 vsize: 36052 [startup+1020.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6989 0 0 0 102014 22 0 0 25 0 1 0 896021896 37068800 6909 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9050 6909 1111 63 0 8987 0 vsize: 36200 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7041 0 0 0 103015 22 0 0 25 0 1 0 896021896 37216256 6961 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9086 6961 1111 63 0 9023 0 vsize: 36344 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7098 0 0 0 104015 22 0 0 25 0 1 0 896021896 37515264 7018 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9159 7018 1111 63 0 9096 0 vsize: 36636 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7151 0 0 0 105015 22 0 0 25 0 1 0 896021896 37666816 7071 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9196 7071 1111 63 0 9133 0 vsize: 36784 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7204 0 0 0 106015 22 0 0 25 0 1 0 896021896 37969920 7124 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9270 7124 1111 63 0 9207 0 vsize: 37080 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7262 0 0 0 107016 22 0 0 25 0 1 0 896021896 38117376 7182 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9306 7182 1111 63 0 9243 0 vsize: 37224 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7320 0 0 0 108016 22 0 0 25 0 1 0 896021896 38416384 7240 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9379 7240 1111 63 0 9316 0 vsize: 37516 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7350 0 0 0 109016 22 0 0 25 0 1 0 896021896 38567936 7270 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9416 7270 1111 63 0 9353 0 vsize: 37664 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7402 0 0 0 110016 23 0 0 25 0 1 0 896021896 38719488 7322 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9453 7322 1111 63 0 9390 0 vsize: 37812 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7453 0 0 0 111017 23 0 0 25 0 1 0 896021896 39018496 7373 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9526 7373 1111 63 0 9463 0 vsize: 38104 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7511 0 0 0 112017 23 0 0 25 0 1 0 896021896 39170048 7431 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9563 7431 1111 63 0 9500 0 vsize: 38252 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7570 0 0 0 113017 23 0 0 25 0 1 0 896021896 39469056 7490 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9636 7490 1111 63 0 9573 0 vsize: 38544 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7624 0 0 0 114017 23 0 0 25 0 1 0 896021896 39624704 7544 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9674 7544 1111 63 0 9611 0 vsize: 38696 [startup+1150.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7676 0 0 0 115017 24 0 0 25 0 1 0 896021896 39919616 7596 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9746 7596 1111 63 0 9683 0 vsize: 38984 [startup+1160.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7734 0 0 0 116018 24 0 0 25 0 1 0 896021896 40071168 7654 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9783 7654 1111 63 0 9720 0 vsize: 39132 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7791 0 0 0 117018 24 0 0 25 0 1 0 896021896 40370176 7711 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9856 7711 1111 63 0 9793 0 vsize: 39424 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7838 0 0 0 118018 24 0 0 25 0 1 0 896021896 40525824 7758 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9894 7758 1111 63 0 9831 0 vsize: 39576 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7896 0 0 0 119019 24 0 0 25 0 1 0 896021896 40824832 7816 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9967 7816 1111 63 0 9904 0 vsize: 39868 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7939 0 0 0 120019 24 0 0 25 0 1 0 896021896 40972288 7859 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10003 7859 1111 63 0 9940 0 vsize: 40012 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.09 s] Raw data (loadavg): 1.00 1.00 0.93 1/54 18519 Raw data (stat): 18462 (bsolo_lpr-v2) Z 18461 25568 25567 0 -1 1036 7939 0 0 0 120019 25 0 0 25 0 1 0 896021896 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.09 CPU time (s): 1200.46 CPU user time (s): 1200.2 CPU system time (s): 0.25996 CPU usage (%): 100.031 Max. virtual memory (Kb): 40012 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####