Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp98ar.opb |
MD5SUM | 9565d6b3010c78b37c39352cc9731cb7 |
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 | 15085 |
Biggest coefficient in the objective function | 504328818 |
Number of bits for the biggest coefficient in the objective function | 29 |
Sum of the numbers in the objective function | 2067304124713 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 504328818 |
Number of bits of the biggest number in a constraint | 29 |
Biggest sum of numbers in a constraint | 2067304124713 |
Number of bits of the biggest sum of numbers | 41 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 14.4348 |
Number of variables | 15085 |
Total number of constraints | 16520 |
Number of constraints which are clauses | 181 |
Number of constraints which are cardinality constraints (but not clauses) | 15927 |
Number of constraints which are nor clauses,nor cardinality constraints | 412 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 4222 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-18 10:49:48 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20255 boxname=wulflinc31 idbench=1559 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 9565d6b3010c78b37c39352cc9731cb7 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sp98ar.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sp98ar.opb IDLAUNCH: 20255 /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: 727348 kB Buffers: 19880 kB Cached: 264516 kB SwapCached: 932 kB Active: 97360 kB Inactive: 190300 kB HighTotal: 131008 kB HighFree: 280 kB LowTotal: 903652 kB LowFree: 727068 kB SwapTotal: 2097892 kB SwapFree: 2096072 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5380 kB Slab: 13976 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-18 11:09:51 (client local time) WITH STATUS 0 IN 1200.57 SECONDS stats: 20255 7 1200.57 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 15085 variables and 1430 constraints. c After prepocess the problem consists of 15076 variables and 1368 constraints. c preprocess terminated 666.763 s c Initial Lower Bound: -2147483648 c Lower Bound Elapsed time: 39.7013 c Not use computed LB before first solution. c NEW SOLUTION FOUND: -2011398412 @ 796.701 c NEW SOLUTION FOUND: -2147483648 @ 796.852 #### 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.90 0.93 0.97 2/55 7152 Raw data (stat): 7152 (runsolver) R 7151 7876 7672 0 -1 64 0 0 0 0 0 0 0 0 19 0 1 0 777781978 1056768 98 4294967295 134512640 135381576 3221221680 3221217120 134514522 0 0 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 98 215 215 0 43 0 vsize: 1032 [startup+10.0012 s] Raw data (loadavg): 0.91 0.94 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 18313 0 0 0 956 39 0 0 25 0 1 0 777781978 87908352 18236 4294967295 134512640 134714508 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21462 18236 1111 63 0 21399 0 vsize: 85848 [startup+20.002 s] Raw data (loadavg): 0.93 0.94 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 36688 0 0 0 1925 71 0 0 25 0 1 0 777781978 163135488 36611 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39828 36611 1111 63 0 39765 0 vsize: 159312 [startup+30.0026 s] Raw data (loadavg): 0.94 0.94 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 54708 0 0 0 2894 102 0 0 25 0 1 0 777781978 237035520 54631 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 57870 54631 1111 63 0 57807 0 vsize: 231480 [startup+40.0028 s] Raw data (loadavg): 0.95 0.94 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 73590 0 0 0 3863 133 0 0 25 0 1 0 777781978 314372096 73513 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 76751 73513 1111 63 0 76688 0 vsize: 307004 [startup+50.0038 s] Raw data (loadavg): 0.95 0.94 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 91147 0 0 0 4831 165 0 0 25 0 1 0 777781978 386187264 91070 4294967295 134512640 134714508 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 94284 91070 1111 63 0 94221 0 vsize: 377136 [startup+60.0044 s] Raw data (loadavg): 0.96 0.94 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 93182 0 0 0 5827 169 0 0 25 0 1 0 777781978 394514432 93105 4294967295 134512640 134714508 3221221776 3221218236 1077298589 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96317 93105 1111 63 0 96254 0 vsize: 385268 [startup+70.0056 s] Raw data (loadavg): 0.97 0.95 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 93851 0 0 0 6823 172 0 0 25 0 1 0 777781978 397434880 93772 4294967295 134512640 134714508 3221221776 3221220420 1077374508 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 97030 93772 1111 63 0 96967 0 vsize: 388120 [startup+80.0065 s] Raw data (loadavg): 0.97 0.95 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 94474 0 0 0 7821 173 0 0 25 0 1 0 777781978 400015360 94395 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 97660 94395 1111 63 0 97597 0 vsize: 390640 [startup+90.0071 s] Raw data (loadavg): 0.98 0.95 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 95254 0 0 0 8819 176 0 0 25 0 1 0 777781978 403283968 95175 4294967295 134512640 134714508 3221221776 3221220060 134517284 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 98458 95175 1111 63 0 98395 0 vsize: 393832 [startup+100.007 s] Raw data (loadavg): 0.98 0.95 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 96142 0 0 0 9816 178 0 0 25 0 1 0 777781978 406962176 96063 4294967295 134512640 134714508 3221221776 3221220052 1077414376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 99356 96063 1111 63 0 99293 0 vsize: 397424 [startup+110.008 s] Raw data (loadavg): 0.98 0.95 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 97018 0 0 0 10815 180 0 0 25 0 1 0 777781978 410632192 96939 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 100252 96939 1111 63 0 100189 0 vsize: 401008 [startup+120.009 s] Raw data (loadavg): 0.98 0.95 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 97899 0 0 0 11814 182 0 0 25 0 1 0 777781978 414179328 97820 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 101118 97820 1111 63 0 101055 0 vsize: 404472 [startup+130.01 s] Raw data (loadavg): 0.99 0.95 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 98699 0 0 0 12812 183 0 0 25 0 1 0 777781978 417583104 98620 4294967295 134512640 134714508 3221221776 3221220052 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 101949 98620 1111 63 0 101886 0 vsize: 407796 [startup+140.01 s] Raw data (loadavg): 0.99 0.95 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 99585 0 0 0 13811 185 0 0 25 0 1 0 777781978 421257216 99506 4294967295 134512640 134714508 3221221776 3221220052 1077414370 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 102846 99506 1111 63 0 102783 0 vsize: 411384 [startup+150.01 s] Raw data (loadavg): 0.99 0.95 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 101382 0 0 0 14806 190 0 0 25 0 1 0 777781978 419037184 101221 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 102304 101221 1111 63 0 102241 0 vsize: 409216 [startup+160.011 s] Raw data (loadavg): 0.99 0.95 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 101433 0 0 0 15805 190 0 0 25 0 1 0 777781978 419172352 101272 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 102337 101272 1111 63 0 102274 0 vsize: 409348 [startup+170.012 s] Raw data (loadavg): 0.99 0.95 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 101488 0 0 0 16805 190 0 0 25 0 1 0 777781978 419442688 101327 4294967295 134512640 134714508 3221221776 3221220220 134535895 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 102403 101327 1111 63 0 102340 0 vsize: 409612 [startup+180.013 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 101537 0 0 0 17805 190 0 0 25 0 1 0 777781978 419577856 101376 4294967295 134512640 134714508 3221221776 3221220256 134543046 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 102436 101376 1111 63 0 102373 0 vsize: 409744 [startup+190.014 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 101610 0 0 0 18805 191 0 0 25 0 1 0 777781978 419848192 101449 4294967295 134512640 134714508 3221221776 3221220220 134535942 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 102502 101449 1111 63 0 102439 0 vsize: 410008 [startup+200.014 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 101699 0 0 0 19804 191 0 0 25 0 1 0 777781978 420253696 101538 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 102601 101538 1111 63 0 102538 0 vsize: 410404 [startup+210.014 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 101754 0 0 0 20805 191 0 0 25 0 1 0 777781978 420524032 101593 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 102667 101593 1111 63 0 102604 0 vsize: 410668 [startup+220.015 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 101808 0 0 0 21805 191 0 0 25 0 1 0 777781978 420659200 101647 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 102700 101647 1111 63 0 102637 0 vsize: 410800 [startup+230.015 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 101862 0 0 0 22805 191 0 0 25 0 1 0 777781978 420929536 101701 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 102766 101701 1111 63 0 102703 0 vsize: 411064 [startup+240.016 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 101924 0 0 0 23805 191 0 0 25 0 1 0 777781978 421199872 101763 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 102832 101763 1111 63 0 102769 0 vsize: 411328 [startup+250.016 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 101969 0 0 0 24805 192 0 0 25 0 1 0 777781978 421335040 101808 4294967295 134512640 134714508 3221221776 3221220220 134535967 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 102865 101808 1111 63 0 102802 0 vsize: 411460 [startup+260.017 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 102042 0 0 0 25805 192 0 0 25 0 1 0 777781978 421740544 101881 4294967295 134512640 134714508 3221221776 3221220220 134535895 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 102964 101881 1111 63 0 102901 0 vsize: 411856 [startup+270.017 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 102104 0 0 0 26805 192 0 0 25 0 1 0 777781978 421875712 101943 4294967295 134512640 134714508 3221221776 3221220220 134535928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 102997 101943 1111 63 0 102934 0 vsize: 411988 [startup+280.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 102164 0 0 0 27805 192 0 0 25 0 1 0 777781978 422146048 102003 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 103063 102003 1111 63 0 103000 0 vsize: 412252 [startup+290.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 102223 0 0 0 28805 192 0 0 25 0 1 0 777781978 422420480 102062 4294967295 134512640 134714508 3221221776 3221220256 134543110 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 103130 102062 1111 63 0 103067 0 vsize: 412520 [startup+300.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 102289 0 0 0 29805 193 0 0 25 0 1 0 777781978 422690816 102128 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 103196 102128 1111 63 0 103133 0 vsize: 412784 [startup+310.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 102331 0 0 0 30804 193 0 0 25 0 1 0 777781978 422825984 102170 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 103229 102170 1111 63 0 103166 0 vsize: 412916 [startup+320.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 102402 0 0 0 31804 194 0 0 25 0 1 0 777781978 423096320 102241 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 103295 102241 1111 63 0 103232 0 vsize: 413180 [startup+330.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 102451 0 0 0 32804 194 0 0 25 0 1 0 777781978 423366656 102290 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 103361 102290 1111 63 0 103298 0 vsize: 413444 [startup+340.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 102506 0 0 0 33804 194 0 0 25 0 1 0 777781978 423636992 102345 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 103427 102345 1111 63 0 103364 0 vsize: 413708 [startup+350.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 102560 0 0 0 34804 195 0 0 25 0 1 0 777781978 423772160 102399 4294967295 134512640 134714508 3221221776 3221220220 134535956 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 103460 102399 1111 63 0 103397 0 vsize: 413840 [startup+360.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 102610 0 0 0 35804 195 0 0 25 0 1 0 777781978 424042496 102449 4294967295 134512640 134714508 3221221776 3221220512 134630813 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 103526 102449 1111 63 0 103463 0 vsize: 414104 [startup+370.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 102655 0 0 0 36804 195 0 0 25 0 1 0 777781978 424177664 102494 4294967295 134512640 134714508 3221221776 3221220220 134535895 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 103559 102494 1111 63 0 103496 0 vsize: 414236 [startup+380.022 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 102726 0 0 0 37804 195 0 0 25 0 1 0 777781978 424448000 102565 4294967295 134512640 134714508 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 103625 102565 1111 63 0 103562 0 vsize: 414500 [startup+390.023 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 102788 0 0 0 38804 195 0 0 25 0 1 0 777781978 424718336 102627 4294967295 134512640 134714508 3221221776 3221220228 134535880 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 103691 102627 1111 63 0 103628 0 vsize: 414764 [startup+400.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 102857 0 0 0 39804 196 0 0 25 0 1 0 777781978 424988672 102696 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 103757 102696 1111 63 0 103694 0 vsize: 415028 [startup+410.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 102907 0 0 0 40804 196 0 0 25 0 1 0 777781978 425259008 102746 4294967295 134512640 134714508 3221221776 3221220220 134535928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 103823 102746 1111 63 0 103760 0 vsize: 415292 [startup+420.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 102955 0 0 0 41804 196 0 0 25 0 1 0 777781978 425394176 102794 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 103856 102794 1111 63 0 103793 0 vsize: 415424 [startup+430.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 103017 0 0 0 42804 196 0 0 25 0 1 0 777781978 425664512 102856 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 103922 102856 1111 63 0 103859 0 vsize: 415688 [startup+440.025 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 103090 0 0 0 43804 197 0 0 25 0 1 0 777781978 425934848 102929 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 103988 102929 1111 63 0 103925 0 vsize: 415952 [startup+450.025 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 103149 0 0 0 44804 197 0 0 25 0 1 0 777781978 426205184 102988 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104054 102988 1111 63 0 103991 0 vsize: 416216 [startup+460.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 103201 0 0 0 45804 197 0 0 25 0 1 0 777781978 426340352 103040 4294967295 134512640 134714508 3221221776 3221220220 134535928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104087 103040 1111 63 0 104024 0 vsize: 416348 [startup+470.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 103278 0 0 0 46803 198 0 0 25 0 1 0 777781978 426749952 103117 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104187 103117 1111 63 0 104124 0 vsize: 416748 [startup+480.025 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 103413 0 0 0 47803 198 0 0 25 0 1 0 777781978 427290624 103252 4294967295 134512640 134714508 3221221776 3221220392 134543830 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104319 103252 1111 63 0 104256 0 vsize: 417276 [startup+490.025 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 103500 0 0 0 48803 199 0 0 25 0 1 0 777781978 427560960 103339 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104385 103339 1111 63 0 104322 0 vsize: 417540 [startup+500.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 103561 0 0 0 49802 199 0 0 25 0 1 0 777781978 427831296 103400 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104451 103400 1111 63 0 104388 0 vsize: 417804 [startup+510.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 103606 0 0 0 50802 199 0 0 25 0 1 0 777781978 428101632 103445 4294967295 134512640 134714508 3221221776 3221220220 134535952 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104517 103445 1111 63 0 104454 0 vsize: 418068 [startup+520.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 103650 0 0 0 51802 200 0 0 25 0 1 0 777781978 428236800 103489 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104550 103489 1111 63 0 104487 0 vsize: 418200 [startup+530.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 103704 0 0 0 52802 200 0 0 25 0 1 0 777781978 428507136 103543 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104616 103543 1111 63 0 104553 0 vsize: 418464 [startup+540.027 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 103755 0 0 0 53802 200 0 0 25 0 1 0 777781978 428642304 103594 4294967295 134512640 134714508 3221221776 3221220248 134543087 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104649 103594 1111 63 0 104586 0 vsize: 418596 [startup+550.027 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 103803 0 0 0 54802 201 0 0 25 0 1 0 777781978 428777472 103642 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104682 103642 1111 63 0 104619 0 vsize: 418728 [startup+560.027 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 103857 0 0 0 55802 201 0 0 25 0 1 0 777781978 429047808 103696 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104748 103696 1111 63 0 104685 0 vsize: 418992 [startup+570.028 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 103946 0 0 0 56802 201 0 0 25 0 1 0 777781978 429453312 103785 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104847 103785 1111 63 0 104784 0 vsize: 419388 [startup+580.028 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 104015 0 0 0 57802 201 0 0 25 0 1 0 777781978 429723648 103854 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104913 103854 1111 63 0 104850 0 vsize: 419652 [startup+590.029 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 104078 0 0 0 58802 201 0 0 25 0 1 0 777781978 429858816 103917 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104946 103917 1111 63 0 104883 0 vsize: 419784 [startup+600.029 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 104145 0 0 0 59802 202 0 0 25 0 1 0 777781978 430129152 103984 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 105012 103984 1111 63 0 104949 0 vsize: 420048 [startup+610.029 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7152 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 104250 0 0 0 60802 202 0 0 25 0 1 0 777781978 430669824 104089 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 105144 104089 1111 63 0 105081 0 vsize: 420576 [startup+620.029 s] Raw data (loadavg): 0.99 0.97 0.97 2/59 7159 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 104252 0 0 0 61802 202 0 0 25 0 1 0 777781978 430669824 104091 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 105144 104091 1111 63 0 105081 0 vsize: 420576 [startup+630.105 s] Raw data (loadavg): 1.07 0.99 0.98 3/58 7196 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 104256 0 0 0 62809 202 0 0 25 0 1 0 777781978 430669824 104095 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 105144 104095 1111 63 0 105081 0 vsize: 420576 [startup+640.269 s] Raw data (loadavg): 1.13 1.00 0.98 2/55 7205 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 104258 0 0 0 63826 202 0 0 25 0 1 0 777781978 430669824 104097 4294967295 134512640 134714508 3221221776 3221220436 134627257 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 105144 104097 1111 63 0 105081 0 vsize: 420576 [startup+650.268 s] Raw data (loadavg): 1.11 1.00 0.98 2/55 7205 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 104261 0 0 0 64826 202 0 0 25 0 1 0 777781978 430669824 104100 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 105144 104100 1111 63 0 105081 0 vsize: 420576 [startup+660.268 s] Raw data (loadavg): 1.09 1.00 0.98 2/55 7205 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 104267 0 0 0 65826 202 0 0 25 0 1 0 777781978 430669824 104106 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 105144 104106 1111 63 0 105081 0 vsize: 420576 [startup+670.268 s] Raw data (loadavg): 1.08 1.00 0.98 2/55 7205 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 105848 0 0 0 66822 206 0 0 25 0 1 0 777781978 437170176 105662 4294967295 134512640 134714508 3221221776 3221199216 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106731 105662 1111 63 0 106668 0 vsize: 426924 [startup+680.268 s] Raw data (loadavg): 1.07 1.00 0.98 2/55 7205 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 106120 0 0 0 67820 207 0 0 25 0 1 0 777781978 438284288 105934 4294967295 134512640 134714508 3221221776 3221219888 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 107003 105934 1111 63 0 106940 0 vsize: 428012 [startup+690.268 s] Raw data (loadavg): 1.06 1.00 0.98 2/55 7205 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 106152 0 0 0 68820 208 0 0 25 0 1 0 777781978 438415360 105966 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 107035 105966 1111 63 0 106972 0 vsize: 428140 [startup+700.268 s] Raw data (loadavg): 1.05 1.00 0.98 2/55 7205 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 106184 0 0 0 69820 208 0 0 25 0 1 0 777781978 438538240 105998 4294967295 134512640 134714508 3221221776 3221219728 1077814665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 107065 105998 1111 63 0 107002 0 vsize: 428260 [startup+710.269 s] Raw data (loadavg): 1.04 1.00 0.98 2/55 7207 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 112933 0 0 0 70805 223 0 0 25 0 1 0 777781978 450138112 108815 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 109897 108816 1111 63 0 109834 0 vsize: 439588 [startup+720.269 s] Raw data (loadavg): 1.03 1.00 0.98 2/55 7207 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 112938 0 0 0 71805 223 0 0 25 0 1 0 777781978 450138112 108820 4294967295 134512640 134714508 3221221776 3221217576 1074788452 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 109897 108820 1111 63 0 109834 0 vsize: 439588 [startup+730.269 s] Raw data (loadavg): 1.03 1.00 0.98 2/55 7207 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 118604 0 0 0 72791 238 0 0 25 0 1 0 777781978 440172544 106525 4294967295 134512640 134714508 3221221776 3221220160 134606848 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 107464 106525 1111 63 0 107401 0 vsize: 429856 [startup+740.269 s] Raw data (loadavg): 1.02 1.00 0.98 2/55 7207 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 119565 0 0 0 73788 241 0 0 25 0 1 0 777781978 441077760 106778 4294967295 134512640 134714508 3221221776 3221220000 1074039235 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 107685 106778 1111 63 0 107622 0 vsize: 430740 [startup+750.269 s] Raw data (loadavg): 1.02 1.00 0.98 2/55 7207 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 126644 0 0 0 74773 257 0 0 25 0 1 0 777781978 452571136 109444 4294967295 134512640 134714508 3221221776 3221218640 1074620335 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 110491 109444 1111 63 0 110428 0 vsize: 441964 [startup+760.27 s] Raw data (loadavg): 1.02 1.00 0.98 2/55 7207 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 131843 0 0 0 75760 270 0 0 25 0 1 0 777781978 442224640 107058 4294967295 134512640 134714508 3221221776 3221220016 1074039443 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 107965 107058 1111 63 0 107902 0 vsize: 431860 [startup+770.269 s] Raw data (loadavg): 1.01 1.00 0.98 2/55 7207 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 131843 0 0 0 76760 270 0 0 25 0 1 0 777781978 442224640 107058 4294967295 134512640 134714508 3221221776 3221220224 134648531 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 107965 107058 1111 63 0 107902 0 vsize: 431860 [startup+780.269 s] Raw data (loadavg): 1.01 1.00 0.98 2/55 7207 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 131849 0 0 0 77759 270 0 0 25 0 1 0 777781978 442114048 107031 4294967295 134512640 134714508 3221221776 3221220144 1074039235 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 107938 107031 1111 63 0 107875 0 vsize: 431752 [startup+790.269 s] Raw data (loadavg): 1.01 1.00 0.98 2/55 7207 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 143485 0 0 0 78734 295 0 0 25 0 1 0 777781978 442114048 107031 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 107938 107031 1111 63 0 107875 0 vsize: 431752 [startup+800.269 s] Raw data (loadavg): 1.01 1.00 0.98 2/55 7207 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 155170 0 0 0 79707 323 0 0 25 0 1 0 777781978 437211136 105789 4294967295 134512640 134714508 3221221776 3221219776 1074056617 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106741 105795 1111 63 0 106678 0 vsize: 426964 [startup+810.27 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7207 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 181918 0 0 0 80650 380 0 0 25 0 1 0 777781978 437424128 105871 4294967295 134512640 134714508 3221221776 3221220176 1074118792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106793 105871 1111 63 0 106730 0 vsize: 427172 [startup+820.27 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7207 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 202396 0 0 0 81604 426 0 0 25 0 1 0 777781978 437235712 105835 4294967295 134512640 134714508 3221221776 3221220028 1077411564 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105835 1111 63 0 106684 0 vsize: 426988 [startup+830.27 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7207 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 219242 0 0 0 82568 462 0 0 25 0 1 0 777781978 437235712 105835 4294967295 134512640 134714508 3221221776 3221220176 1074153794 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105835 1111 63 0 106684 0 vsize: 426988 [startup+840.27 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7207 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 232551 0 0 0 83537 494 0 0 25 0 1 0 777781978 437211136 105782 4294967295 134512640 134714508 3221221776 3221219776 1074056601 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106741 105789 1111 63 0 106678 0 vsize: 426964 [startup+850.27 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7207 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 244084 0 0 0 84511 519 0 0 25 0 1 0 777781978 437211136 105835 4294967295 134512640 134714508 3221221776 3221219888 1074153773 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106741 105835 1111 63 0 106678 0 vsize: 426964 [startup+860.27 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7207 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 254637 0 0 0 85486 545 0 0 25 0 1 0 777781978 437235712 105835 4294967295 134512640 134714508 3221221776 3221220176 1074153815 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105835 1111 63 0 106684 0 vsize: 426988 [startup+870.269 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7207 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 265160 0 0 0 86461 569 0 0 25 0 1 0 777781978 438640640 106013 4294967295 134512640 134714508 3221221776 3221218696 1074950114 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 107090 106013 1111 63 0 107027 0 vsize: 428360 [startup+880.27 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7207 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 275024 0 0 0 87439 592 0 0 25 0 1 0 777781978 438804480 106013 4294967295 134512640 134714508 3221221776 3221217772 1074860998 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 107130 106013 1111 63 0 107067 0 vsize: 428520 [startup+890.27 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7207 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 283872 0 0 0 88418 613 0 0 25 0 1 0 777781978 438231040 105907 4294967295 134512640 134714508 3221221776 3221219504 1075828215 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106990 105907 1111 63 0 106927 0 vsize: 427960 [startup+900.27 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7207 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 292245 0 0 0 89399 633 0 0 25 0 1 0 777781978 437235712 105841 4294967295 134512640 134714508 3221221776 3221219680 1075460119 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105841 1111 63 0 106684 0 vsize: 426988 [startup+910.27 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7207 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 300575 0 0 0 90376 656 0 0 25 0 1 0 777781978 437211136 105835 4294967295 134512640 134714508 3221221776 3221220128 1074142734 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106741 105835 1111 63 0 106678 0 vsize: 426964 [startup+920.272 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7207 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 307985 0 0 0 91358 674 0 0 25 0 1 0 777781978 437235712 105841 4294967295 134512640 134714508 3221221776 3221220088 1074138144 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105841 1111 63 0 106684 0 vsize: 426988 [startup+930.272 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7207 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 315420 0 0 0 92341 691 0 0 25 0 1 0 777781978 437235712 105841 4294967295 134512640 134714508 3221221776 3221219888 1074153669 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105841 1111 63 0 106684 0 vsize: 426988 [startup+940.272 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7207 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 322706 0 0 0 93324 708 0 0 25 0 1 0 777781978 437821440 105952 4294967295 134512640 134714508 3221221776 3221220128 1074115539 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106890 105952 1111 63 0 106827 0 vsize: 427560 [startup+950.273 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7207 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 329774 0 0 0 94307 726 0 0 25 0 1 0 777781978 438231040 105907 4294967295 134512640 134714508 3221221776 3221219504 1075828215 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106990 105907 1111 63 0 106927 0 vsize: 427960 [startup+960.273 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7207 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 336947 0 0 0 95291 742 0 0 25 0 1 0 777781978 437211136 105835 4294967295 134512640 134714508 3221221776 3221220088 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106741 105835 1111 63 0 106678 0 vsize: 426964 [startup+970.273 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7207 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 343851 0 0 0 96276 757 0 0 25 0 1 0 777781978 437211136 105835 4294967295 134512640 134714508 3221221776 3221220128 1074142880 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106741 105835 1111 63 0 106678 0 vsize: 426964 [startup+980.273 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7207 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 350243 0 0 0 97261 772 0 0 25 0 1 0 777781978 437235712 105841 4294967295 134512640 134714508 3221221776 3221219912 1077377316 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105841 1111 63 0 106684 0 vsize: 426988 [startup+990.273 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7207 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 357190 0 0 0 98246 787 0 0 25 0 1 0 777781978 437211136 105835 4294967295 134512640 134714508 3221221776 3221220128 1074142734 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106741 105835 1111 63 0 106678 0 vsize: 426964 [startup+1000.27 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7209 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 363577 0 0 0 99229 804 0 0 25 0 1 0 777781978 437211136 105835 4294967295 134512640 134714508 3221221776 3221219992 1074138150 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106741 105835 1111 63 0 106678 0 vsize: 426964 [startup+1010.27 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7209 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 369632 0 0 0 100215 818 0 0 25 0 1 0 777781978 437538816 105845 4294967295 134512640 134714508 3221221776 3221218956 1077404742 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106821 105845 1111 63 0 106758 0 vsize: 427284 [startup+1020.27 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7209 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 375653 0 0 0 101202 832 0 0 25 0 1 0 777781978 437235712 105841 4294967295 134512640 134714508 3221221776 3221219928 1074138150 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105841 1111 63 0 106684 0 vsize: 426988 [startup+1030.27 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7209 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 381952 0 0 0 102190 844 0 0 25 0 1 0 777781978 438792192 106023 4294967295 134512640 134714508 3221221776 3221218816 1075860555 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 107127 106026 1111 63 0 107064 0 vsize: 428508 [startup+1040.27 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7209 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 388047 0 0 0 103176 858 0 0 25 0 1 0 777781978 437235712 105841 4294967295 134512640 134714508 3221221776 3221220176 1074118806 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105841 1111 63 0 106684 0 vsize: 426988 [startup+1050.27 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7209 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 393861 0 0 0 104163 871 0 0 25 0 1 0 777781978 437735424 105936 4294967295 134512640 134714508 3221221776 3221220128 1074115531 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106869 105938 1111 63 0 106806 0 vsize: 427476 [startup+1060.27 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7209 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 399780 0 0 0 105149 885 0 0 25 0 1 0 777781978 437235712 105841 4294967295 134512640 134714508 3221221776 3221220080 1074153822 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105841 1111 63 0 106684 0 vsize: 426988 [startup+1070.27 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7209 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 405856 0 0 0 106136 898 0 0 25 0 1 0 777781978 437235712 105841 4294967295 134512640 134714508 3221221776 3221220240 1074121049 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105841 1111 63 0 106684 0 vsize: 426988 [startup+1080.27 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7209 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 411808 0 0 0 107123 912 0 0 25 0 1 0 777781978 437235712 105835 4294967295 134512640 134714508 3221221776 3221219976 1074138150 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105835 1111 63 0 106684 0 vsize: 426988 [startup+1090.28 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7209 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 417594 0 0 0 108110 925 0 0 25 0 1 0 777781978 437235712 105835 4294967295 134512640 134714508 3221221776 3221219880 1074138150 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105835 1111 63 0 106684 0 vsize: 426988 [startup+1100.28 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7209 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 423519 0 0 0 109096 939 0 0 25 0 1 0 777781978 437211136 105835 4294967295 134512640 134714508 3221221776 3221220064 1074153672 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106741 105835 1111 63 0 106678 0 vsize: 426964 [startup+1110.28 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7209 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 429067 0 0 0 110084 951 0 0 25 0 1 0 777781978 437235712 105841 4294967295 134512640 134714508 3221221776 3221220128 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105841 1111 63 0 106684 0 vsize: 426988 [startup+1120.28 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7209 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 434954 0 0 0 111070 966 0 0 25 0 1 0 777781978 437338112 105866 4294967295 134512640 134714508 3221221776 3221220480 134652491 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106772 105866 1111 63 0 106709 0 vsize: 427088 [startup+1130.28 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7209 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 440652 0 0 0 112056 979 0 0 25 0 1 0 777781978 437235712 105835 4294967295 134512640 134714508 3221221776 3221220064 1074153648 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105835 1111 63 0 106684 0 vsize: 426988 [startup+1140.28 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7209 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 446068 0 0 0 113045 991 0 0 25 0 1 0 777781978 437235712 105835 4294967295 134512640 134714508 3221221776 3221220176 1074153663 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105835 1111 63 0 106684 0 vsize: 426988 [startup+1150.28 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7209 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 451421 0 0 0 114033 1003 0 0 25 0 1 0 777781978 437211136 105835 4294967295 134512640 134714508 3221221776 3221219888 1074153815 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106741 105835 1111 63 0 106678 0 vsize: 426964 [startup+1160.28 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7209 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 456293 0 0 0 115021 1015 0 0 25 0 1 0 777781978 438435840 105920 4294967295 134512640 134714508 3221221776 3221219504 1075828447 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 107040 105920 1111 63 0 106977 0 vsize: 428160 [startup+1170.28 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7209 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 461530 0 0 0 116008 1029 0 0 25 0 1 0 777781978 437235712 105841 4294967295 134512640 134714508 3221221776 3221220064 1074153663 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105841 1111 63 0 106684 0 vsize: 426988 [startup+1180.28 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7209 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 466537 0 0 0 116997 1040 0 0 25 0 1 0 777781978 439066624 106072 4294967295 134512640 134714508 3221221776 3221218720 1074620032 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 107194 106072 1111 63 0 107131 0 vsize: 428776 [startup+1190.28 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7209 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 471535 0 0 0 117987 1050 0 0 25 0 1 0 777781978 437235712 105835 4294967295 134512640 134714508 3221221776 3221219976 1074138155 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105835 1111 63 0 106684 0 vsize: 426988 [startup+1200.28 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 7209 Raw data (stat): 7152 (bsolo_lpr) R 7151 7876 7672 0 -1 0 476276 0 0 0 118976 1060 0 0 25 0 1 0 777781978 437235712 105841 4294967295 134512640 134714508 3221221776 3221220128 1074153749 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106747 105841 1111 63 0 106684 0 vsize: 426988 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.48 s] Raw data (loadavg): 1.00 1.00 0.98 1/55 7209 Raw data (stat): 7152 (bsolo_lpr) Z 7151 7876 7672 0 -1 1036 476276 0 0 0 118976 1080 0 0 25 0 1 0 777781978 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.47 CPU time (s): 1200.57 CPU user time (s): 1189.77 CPU system time (s): 10.8044 CPU usage (%): 100.008 Max. virtual memory (Kb): 441964 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####