Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp97ar.opb |
MD5SUM | 978e3479aff123296d0a3461e698e01d |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2147483647 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 14101 |
Biggest coefficient in the objective function | 292878668 |
Number of bits for the biggest coefficient in the objective function | 29 |
Sum of the numbers in the objective function | 975388850291 |
Number of bits of the sum of numbers in the objective function | 40 |
Biggest number in a constraint | 292878668 |
Number of bits of the biggest number in a constraint | 29 |
Biggest sum of numbers in a constraint | 975388850291 |
Number of bits of the biggest sum of numbers | 40 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 10.9833 |
Number of variables | 14101 |
Total number of constraints | 15862 |
Number of constraints which are clauses | 181 |
Number of constraints which are cardinality constraints (but not clauses) | 15263 |
Number of constraints which are nor clauses,nor cardinality constraints | 418 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 2463 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-18 12:11:48 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20229 boxname=wulflinc31 idbench=1557 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 978e3479aff123296d0a3461e698e01d /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sp97ar.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sp97ar.opb IDLAUNCH: 20229 /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: 714080 kB Buffers: 24308 kB Cached: 273416 kB SwapCached: 932 kB Active: 106608 kB Inactive: 194356 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 713828 kB SwapTotal: 2097892 kB SwapFree: 2096072 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5380 kB Slab: 13920 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-18 12:31:51 (client local time) WITH STATUS 0 IN 1200.28 SECONDS stats: 20229 7 1200.28 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 14101 variables and 1739 constraints. c After prepocess the problem consists of 14099 variables and 1639 constraints. c preprocess terminated 295.26 s c Initial Lower Bound: 2041136373 c Lower Bound Elapsed time: 47.0433 c Not use computed LB before first solution. c NEW SOLUTION FOUND: -561589196 @ 496.414 c NEW SOLUTION FOUND: -572563236 @ 496.429 c NEW SOLUTION FOUND: -2133666157 @ 496.575 #### 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.92 0.98 0.97 2/55 7836 Raw data (stat): 7836 (runsolver) R 7835 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 778274113 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 s] Raw data (loadavg): 0.93 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 18657 0 0 0 955 41 0 0 25 0 1 0 778274113 89251840 18580 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21790 18580 1111 63 0 21727 0 vsize: 87160 [startup+20.0012 s] Raw data (loadavg): 0.94 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 38328 0 0 0 1917 79 0 0 25 0 1 0 778274113 169848832 38251 4294967295 134512640 134714508 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41467 38251 1111 63 0 41404 0 vsize: 165868 [startup+30.0018 s] Raw data (loadavg): 0.95 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 58001 0 0 0 2887 109 0 0 25 0 1 0 778274113 250470400 57924 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 61150 57924 1111 63 0 61087 0 vsize: 244600 [startup+40.0017 s] Raw data (loadavg): 0.96 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 77503 0 0 0 3852 144 0 0 25 0 1 0 778274113 330350592 77426 4294967295 134512640 134714508 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 80652 77426 1111 63 0 80589 0 vsize: 322608 [startup+50.0032 s] Raw data (loadavg): 0.96 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 86847 0 0 0 4834 162 0 0 25 0 1 0 778274113 368611328 86770 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 89993 86770 1111 63 0 89930 0 vsize: 359972 [startup+60.0027 s] Raw data (loadavg): 0.97 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 87815 0 0 0 5830 165 0 0 25 0 1 0 778274113 372539392 87738 4294967295 134512640 134714508 3221221776 3221218644 1076880129 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 90952 87738 1111 63 0 90889 0 vsize: 363808 [startup+70.0036 s] Raw data (loadavg): 0.97 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 88779 0 0 0 6825 168 0 0 25 0 1 0 778274113 376471552 88702 4294967295 134512640 134714508 3221221776 3221220080 134566799 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 91912 88702 1111 63 0 91849 0 vsize: 367648 [startup+80.0049 s] Raw data (loadavg): 0.98 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 89781 0 0 0 7823 170 0 0 25 0 1 0 778274113 380682240 89704 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 92940 89704 1111 63 0 92877 0 vsize: 371760 [startup+90.0045 s] Raw data (loadavg): 0.98 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 90910 0 0 0 8820 173 0 0 25 0 1 0 778274113 385286144 90833 4294967295 134512640 134714508 3221221776 3221219796 1077358897 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 94064 90833 1111 63 0 94001 0 vsize: 376256 [startup+100.004 s] Raw data (loadavg): 0.98 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 92950 0 0 0 9814 178 0 0 25 0 1 0 778274113 383979520 92798 4294967295 134512640 134714508 3221221776 3221220256 134543043 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 93745 92798 1111 63 0 93682 0 vsize: 374980 [startup+110.005 s] Raw data (loadavg): 0.98 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 93083 0 0 0 10813 179 0 0 25 0 1 0 778274113 384520192 92931 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 93877 92931 1111 63 0 93814 0 vsize: 375508 [startup+120.005 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 93198 0 0 0 11813 179 0 0 25 0 1 0 778274113 384925696 93046 4294967295 134512640 134714508 3221221776 3221220220 134535928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 93976 93046 1111 63 0 93913 0 vsize: 375904 [startup+130.005 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 93301 0 0 0 12813 180 0 0 25 0 1 0 778274113 385466368 93149 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 94108 93149 1111 63 0 94045 0 vsize: 376432 [startup+140.005 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 93437 0 0 0 13813 180 0 0 25 0 1 0 778274113 386007040 93285 4294967295 134512640 134714508 3221221776 3221220220 134542656 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 94240 93285 1111 63 0 94177 0 vsize: 376960 [startup+150.006 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 93575 0 0 0 14812 180 0 0 25 0 1 0 778274113 386551808 93423 4294967295 134512640 134714508 3221221776 3221220248 134543090 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 94373 93423 1111 63 0 94310 0 vsize: 377492 [startup+160.006 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 93702 0 0 0 15812 181 0 0 25 0 1 0 778274113 387092480 93550 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 94505 93550 1111 63 0 94442 0 vsize: 378020 [startup+170.007 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 93828 0 0 0 16812 181 0 0 25 0 1 0 778274113 387497984 93676 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 94604 93676 1111 63 0 94541 0 vsize: 378416 [startup+180.008 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 93958 0 0 0 17812 181 0 0 25 0 1 0 778274113 388038656 93806 4294967295 134512640 134714508 3221221776 3221220220 134535956 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 94736 93806 1111 63 0 94673 0 vsize: 378944 [startup+190.008 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 94088 0 0 0 18811 182 0 0 25 0 1 0 778274113 388579328 93936 4294967295 134512640 134714508 3221221776 3221220224 134536680 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 94868 93936 1111 63 0 94805 0 vsize: 379472 [startup+200.008 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 94177 0 0 0 19811 183 0 0 25 0 1 0 778274113 388984832 94025 4294967295 134512640 134714508 3221221776 3221220220 134535956 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 94967 94025 1111 63 0 94904 0 vsize: 379868 [startup+210.008 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 94258 0 0 0 20811 183 0 0 25 0 1 0 778274113 389390336 94106 4294967295 134512640 134714508 3221221776 3221220220 134535895 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 95066 94106 1111 63 0 95003 0 vsize: 380264 [startup+220.009 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 94381 0 0 0 21810 184 0 0 25 0 1 0 778274113 389795840 94229 4294967295 134512640 134714508 3221221776 3221220304 134542677 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 95165 94229 1111 63 0 95102 0 vsize: 380660 [startup+230.009 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 94522 0 0 0 22810 184 0 0 25 0 1 0 778274113 390336512 94370 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 95297 94370 1111 63 0 95234 0 vsize: 381188 [startup+240.008 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 94658 0 0 0 23810 184 0 0 25 0 1 0 778274113 391012352 94506 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 95462 94506 1111 63 0 95399 0 vsize: 381848 [startup+250.008 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 94663 0 0 0 24810 184 0 0 25 0 1 0 778274113 391012352 94511 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 95462 94511 1111 63 0 95399 0 vsize: 381848 [startup+260.009 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 94668 0 0 0 25810 185 0 0 25 0 1 0 778274113 391012352 94516 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 95462 94516 1111 63 0 95399 0 vsize: 381848 [startup+270.009 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 94671 0 0 0 26810 185 0 0 25 0 1 0 778274113 391012352 94519 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 95462 94519 1111 63 0 95399 0 vsize: 381848 [startup+280.009 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 94676 0 0 0 27810 185 0 0 25 0 1 0 778274113 391012352 94524 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 95462 94524 1111 63 0 95399 0 vsize: 381848 [startup+290.009 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 94681 0 0 0 28810 185 0 0 25 0 1 0 778274113 391012352 94529 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 95462 94529 1111 63 0 95399 0 vsize: 381848 [startup+300.01 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 96163 0 0 0 29805 190 0 0 25 0 1 0 778274113 396505088 95871 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96803 95871 1111 63 0 96740 0 vsize: 387212 [startup+310.01 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 96323 0 0 0 30803 191 0 0 25 0 1 0 778274113 397156352 96031 4294967295 134512640 134714508 3221221776 3221220048 1074153779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96962 96031 1111 63 0 96899 0 vsize: 387848 [startup+320.011 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 96348 0 0 0 31803 191 0 0 25 0 1 0 778274113 397258752 96056 4294967295 134512640 134714508 3221221776 3221220080 1074153779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96987 96056 1111 63 0 96924 0 vsize: 387948 [startup+330.012 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 100999 0 0 0 32793 201 0 0 25 0 1 0 778274113 405798912 98082 4294967295 134512640 134714508 3221221776 3221217856 1074794536 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 99072 98082 1111 63 0 99009 0 vsize: 396288 [startup+340.012 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 101003 0 0 0 33793 201 0 0 25 0 1 0 778274113 405798912 98086 4294967295 134512640 134714508 3221221776 3221217768 1074950198 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 99072 98086 1111 63 0 99009 0 vsize: 396288 [startup+350.012 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 104442 0 0 0 34786 209 0 0 25 0 1 0 778274113 402042880 97108 4294967295 134512640 134714508 3221221776 3221218288 1074887937 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 98155 97108 1111 63 0 98092 0 vsize: 392620 [startup+360.012 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 105157 0 0 0 35784 211 0 0 25 0 1 0 778274113 398585856 96505 4294967295 134512640 134714508 3221221776 3221219848 1074950102 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 97311 96505 1111 63 0 97248 0 vsize: 389244 [startup+370.013 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 105924 0 0 0 36783 213 0 0 25 0 1 0 778274113 398925824 96588 4294967295 134512640 134714508 3221221776 3221220200 134558492 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 97394 96588 1111 63 0 97331 0 vsize: 389576 [startup+380.012 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 110785 0 0 0 37772 224 0 0 25 0 1 0 778274113 406933504 98445 4294967295 134512640 134714508 3221221776 3221218144 1075132636 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 99349 98445 1111 63 0 99286 0 vsize: 397396 [startup+390.013 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 114340 0 0 0 38764 231 0 0 25 0 1 0 778274113 399716352 96752 4294967295 134512640 134714508 3221221776 3221220224 134647074 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 97587 96752 1111 63 0 97524 0 vsize: 390348 [startup+400.013 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 114340 0 0 0 39765 231 0 0 25 0 1 0 778274113 399716352 96752 4294967295 134512640 134714508 3221221776 3221219848 1074950108 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 97587 96752 1111 63 0 97524 0 vsize: 390348 [startup+410.013 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 114367 0 0 0 40765 232 0 0 25 0 1 0 778274113 399716352 96779 4294967295 134512640 134714508 3221221776 3221220264 134558582 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 97587 96779 1111 63 0 97524 0 vsize: 390348 [startup+420.014 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 118915 0 0 0 41756 241 0 0 25 0 1 0 778274113 407482368 98543 4294967295 134512640 134714508 3221221776 3221217856 1074794640 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 99483 98543 1111 63 0 99420 0 vsize: 397932 [startup+430.015 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 122590 0 0 0 42748 249 0 0 25 0 1 0 778274113 399831040 96791 4294967295 134512640 134714508 3221221776 3221220016 1074039446 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 97615 96791 1111 63 0 97552 0 vsize: 390460 [startup+440.015 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 122604 0 0 0 43747 249 0 0 25 0 1 0 778274113 399831040 96805 4294967295 134512640 134714508 3221221776 3221220224 134648533 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 97615 96805 1111 63 0 97552 0 vsize: 390460 [startup+450.015 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 124296 0 0 0 44744 253 0 0 25 0 1 0 778274113 407220224 98432 4294967295 134512640 134714508 3221221776 3221219808 1074867299 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 99419 98432 1111 63 0 99356 0 vsize: 397676 [startup+460.016 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 130814 0 0 0 45730 268 0 0 25 0 1 0 778274113 399908864 96816 4294967295 134512640 134714508 3221221776 3221220224 134648531 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 97634 96816 1111 63 0 97571 0 vsize: 390536 [startup+470.017 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 130814 0 0 0 46730 268 0 0 25 0 1 0 778274113 399908864 96816 4294967295 134512640 134714508 3221221776 3221220224 134648133 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 97634 96816 1111 63 0 97571 0 vsize: 390536 [startup+480.017 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 130814 0 0 0 47729 268 0 0 25 0 1 0 778274113 399908864 96816 4294967295 134512640 134714508 3221221776 3221220224 134648531 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 97634 96816 1111 63 0 97571 0 vsize: 390536 [startup+490.017 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 130814 0 0 0 48729 268 0 0 25 0 1 0 778274113 399908864 96816 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 97634 96816 1111 63 0 97571 0 vsize: 390536 [startup+500.018 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 145884 0 0 0 49695 302 0 0 25 0 1 0 778274113 396496896 95969 4294967295 134512640 134714508 3221221776 3221220192 1074116396 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96801 95969 1111 63 0 96738 0 vsize: 387204 [startup+510.018 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 178126 0 0 0 50624 373 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220176 1074153663 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+520.019 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 203635 0 0 0 51570 426 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220064 1074153675 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+530.018 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 224137 0 0 0 52528 468 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220128 1074153736 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+540.018 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 241828 0 0 0 53491 506 0 0 25 0 1 0 778274113 397000704 96093 4294967295 134512640 134714508 3221221776 3221219912 1077378037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96924 96097 1111 63 0 96861 0 vsize: 387696 [startup+550.018 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 257968 0 0 0 54458 539 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220128 1074153749 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+560.018 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 273096 0 0 0 55425 573 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221219976 1074138163 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+570.019 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 286929 0 0 0 56395 603 0 0 25 0 1 0 778274113 396238848 95938 4294967295 134512640 134714508 3221221776 3221220192 1074116193 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96738 95938 1111 63 0 96675 0 vsize: 386952 [startup+580.019 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 300091 0 0 0 57364 633 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220016 1074153675 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+590.019 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 312521 0 0 0 58338 660 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220176 1074153736 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+600.02 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 324856 0 0 0 59309 689 0 0 25 0 1 0 778274113 396623872 95991 4294967295 134512640 134714508 3221221776 3221219520 1075647078 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96832 95991 1111 63 0 96769 0 vsize: 387328 [startup+610.02 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 336517 0 0 0 60282 716 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221219564 1077411564 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+620.021 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 347633 0 0 0 61260 739 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220016 1074153675 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+630.022 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 358036 0 0 0 62238 761 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221219944 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+640.022 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 367845 0 0 0 63215 784 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221219928 1074138150 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+650.022 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 378192 0 0 0 64191 808 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220104 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+660.022 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 388188 0 0 0 65168 831 0 0 25 0 1 0 778274113 396447744 95941 4294967295 134512640 134714508 3221221776 3221220128 1074115298 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96789 95943 1111 63 0 96726 0 vsize: 387156 [startup+670.023 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 397653 0 0 0 66150 849 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220336 134548843 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+680.023 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 406690 0 0 0 67130 870 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220136 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+690.023 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 416519 0 0 0 68108 892 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220072 1074138150 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+700.023 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 425579 0 0 0 69088 912 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221219992 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+710.023 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 434392 0 0 0 70068 932 0 0 25 0 1 0 778274113 396222464 95775 4294967295 134512640 134714508 3221221776 3221219776 1074056195 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96734 95784 1111 63 0 96671 0 vsize: 386936 [startup+720.024 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 442785 0 0 0 71050 951 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221219928 1074138155 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+730.024 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 451050 0 0 0 72030 971 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220016 1074153822 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+740.024 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 459330 0 0 0 73012 989 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220160 1074153675 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+750.024 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 467654 0 0 0 73992 1009 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221219928 1074138153 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+760.024 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 475522 0 0 0 74976 1025 0 0 25 0 1 0 778274113 397651968 96082 4294967295 134512640 134714508 3221221776 3221219504 1075828939 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 97083 96082 1111 63 0 97020 0 vsize: 388332 [startup+770.025 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 483561 0 0 0 75956 1045 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221219880 1074138150 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+780.025 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 491067 0 0 0 76941 1061 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221219880 1074138150 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+790.025 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 498058 0 0 0 77925 1077 0 0 25 0 1 0 778274113 397672448 96085 4294967295 134512640 134714508 3221221776 3221219696 1075799695 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 97088 96085 1111 63 0 97025 0 vsize: 388352 [startup+800.025 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 505461 0 0 0 78908 1093 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220016 1074153663 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+810.027 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 512553 0 0 0 79891 1111 0 0 25 0 1 0 778274113 397672448 96085 4294967295 134512640 134714508 3221221776 3221219696 1075799638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 97088 96085 1111 63 0 97025 0 vsize: 388352 [startup+820.028 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 520016 0 0 0 80876 1126 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221219968 1074153815 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+830.028 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 526922 0 0 0 81862 1141 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220016 1074153672 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+840.027 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 533768 0 0 0 82846 1156 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+850.027 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 540056 0 0 0 83830 1172 0 0 25 0 1 0 778274113 396713984 96036 4294967295 134512640 134714508 3221221776 3221219776 1074918645 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96854 96036 1111 63 0 96791 0 vsize: 387416 [startup+860.027 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 546700 0 0 0 84815 1187 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220064 1074153822 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+870.029 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 553379 0 0 0 85801 1202 0 0 25 0 1 0 778274113 396574720 95997 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96820 95997 1111 63 0 96757 0 vsize: 387280 [startup+880.029 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 559808 0 0 0 86787 1217 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220016 1074153736 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+890.029 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 566106 0 0 0 87771 1232 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221219928 1074138158 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+900.029 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 572274 0 0 0 88758 1246 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220104 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+910.029 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 578382 0 0 0 89744 1260 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220128 1074153675 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+920.03 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 584501 0 0 0 90729 1275 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221219928 1074138158 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+930.03 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 590613 0 0 0 91715 1289 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221219944 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+940.03 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 596250 0 0 0 92701 1303 0 0 25 0 1 0 778274113 397656064 96100 4294967295 134512640 134714508 3221221776 3221219840 1075961756 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 97084 96100 1111 63 0 97021 0 vsize: 388336 [startup+950.031 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 602271 0 0 0 93688 1316 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221219928 1074138158 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+960.031 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 607957 0 0 0 94676 1328 0 0 25 0 1 0 778274113 397664256 96100 4294967295 134512640 134714508 3221221776 3221219888 1074867340 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 97086 96100 1111 63 0 97023 0 vsize: 388344 [startup+970.032 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 614042 0 0 0 95662 1342 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220304 134650105 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+980.033 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 619565 0 0 0 96652 1353 0 0 25 0 1 0 778274113 396242944 95939 4294967295 134512640 134714508 3221221776 3221219452 1077404742 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96739 95939 1111 63 0 96676 0 vsize: 386956 [startup+990.033 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 625073 0 0 0 97641 1364 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220040 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+1000.03 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 630586 0 0 0 98629 1376 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220112 1074153736 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+1010.03 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 636077 0 0 0 99616 1390 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220016 1074153675 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+1020.03 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 641869 0 0 0 100604 1402 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221219976 1074138144 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+1030.03 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 647722 0 0 0 101591 1415 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221219968 1074153812 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+1040.03 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 652839 0 0 0 102579 1427 0 0 25 0 1 0 778274113 396271616 95946 4294967295 134512640 134714508 3221221776 3221220072 1074138153 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96746 95946 1111 63 0 96683 0 vsize: 386984 [startup+1050.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 658670 0 0 0 103566 1440 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220136 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+1060.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 663976 0 0 0 104554 1452 0 0 25 0 1 0 778274113 396902400 96068 4294967295 134512640 134714508 3221221776 3221219776 1074915844 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96900 96068 1111 63 0 96837 0 vsize: 387600 [startup+1070.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 669643 0 0 0 105541 1465 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221219928 1074138150 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+1080.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 674740 0 0 0 106531 1476 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220072 1074138162 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+1090.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 680533 0 0 0 107518 1489 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220160 1074153815 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+1100.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 685616 0 0 0 108504 1503 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220016 1074153675 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+1110.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 690725 0 0 0 109492 1516 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221219944 1074138166 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+1120.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 695821 0 0 0 110479 1529 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221219992 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+1130.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 700954 0 0 0 111467 1540 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220072 1074138150 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+1140.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 706069 0 0 0 112455 1553 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220160 1074153663 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+1150.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 711183 0 0 0 113444 1564 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220256 134650104 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+1160.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 716340 0 0 0 114431 1577 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220016 1074153672 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 [startup+1170.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 721468 0 0 0 115420 1589 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221219608 1077380592 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+1180.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 726556 0 0 0 116409 1599 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220128 1074153675 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96734 95934 1111 63 0 96671 0 vsize: 386936 [startup+1190.04 s] Raw data (loadavg): 0.99 0.98 0.97 3/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 730946 0 0 0 117400 1609 0 0 25 0 1 0 778274113 396271616 95946 4294967295 134512640 134714508 3221221776 3221220016 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96746 95946 1111 63 0 96683 0 vsize: 386984 [startup+1200.04 s] Raw data (loadavg): 0.99 0.98 0.97 3/55 7836 Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 736062 0 0 0 118390 1620 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220136 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96740 95940 1111 63 0 96677 0 vsize: 386960 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.22 s] Raw data (loadavg): 0.99 0.98 0.97 1/55 7836 Raw data (stat): 7836 (bsolo_lpr) Z 7835 7876 7672 0 -1 1036 736062 0 0 0 118390 1637 0 0 25 0 1 0 778274113 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.22 CPU time (s): 1200.28 CPU user time (s): 1183.9 CPU system time (s): 16.3775 CPU usage (%): 100.005 Max. virtual memory (Kb): 397932 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####