Name | normalized-opb/web/uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb |
MD5SUM | 7100a312d793a62875e04da08d79c5f4 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
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 | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 641 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2174 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.350946 |
Number of variables | 2221 |
Total number of constraints | 3050 |
Number of constraints which are clauses | 2330 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 720 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 19 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-06-07 15:32:32 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27706 boxname=wulflinc2 idbench=264 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: 7100a312d793a62875e04da08d79c5f4 /oldhome/oroussel/tmp/wulflinc2/normalized-blast-tlan2.ucl.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-blast-tlan2.ucl.opb IDLAUNCH: 27706 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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.191 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: 257792 kB Buffers: 34720 kB Cached: 718372 kB SwapCached: 1164 kB Active: 63748 kB Inactive: 691836 kB HighTotal: 131008 kB HighFree: 4676 kB LowTotal: 903652 kB LowFree: 253116 kB SwapTotal: 2097136 kB SwapFree: 2095024 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5068 kB Slab: 15688 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-07 15:52:07 (client local time) WITH STATUS 0 IN 1175.1 SECONDS stats: 27706 7 1175.1 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c INFO: No cost function. Find solution and finish. c Initial problem consists of 2221 variables and 3050 constraints. c After prepocess the problem consists of 1732 variables and 2164 constraints. c preprocess terminated 123.336 s c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.03 s #### 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): 0.93 0.97 0.91 2/54 26883 Raw data (stat): 26883 (runsolver) R 26882 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 894102576 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+9.99958 s] Raw data (loadavg): 0.94 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 3767 0 0 0 987 10 0 0 25 0 1 0 894102576 18653184 3685 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4554 3685 1111 63 0 4491 0 vsize: 18216 [startup+20.0003 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 3789 0 0 0 1987 10 0 0 25 0 1 0 894102576 18653184 3707 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4554 3707 1111 63 0 4491 0 vsize: 18216 [startup+30.0015 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 3867 0 0 0 2986 11 0 0 25 0 1 0 894102576 19005440 3785 4294967295 134512640 134716908 3221224576 3221223284 134618255 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4640 3785 1111 63 0 4577 0 vsize: 18560 [startup+40.0015 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 3867 0 0 0 3986 11 0 0 25 0 1 0 894102576 19005440 3785 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4640 3785 1111 63 0 4577 0 vsize: 18560 [startup+50.0022 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 4023 0 0 0 4986 11 0 0 25 0 1 0 894102576 19603456 3941 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4786 3941 1111 63 0 4723 0 vsize: 19144 [startup+60.0022 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 4023 0 0 0 5986 11 0 0 25 0 1 0 894102576 19603456 3941 4294967295 134512640 134716908 3221224576 3221223036 134543664 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4786 3941 1111 63 0 4723 0 vsize: 19144 [startup+70.0026 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 4023 0 0 0 6986 11 0 0 25 0 1 0 894102576 19603456 3941 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4786 3941 1111 63 0 4723 0 vsize: 19144 [startup+80.0023 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 4023 0 0 0 7987 11 0 0 25 0 1 0 894102576 19603456 3941 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4786 3941 1111 63 0 4723 0 vsize: 19144 [startup+90.0033 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 4023 0 0 0 8987 11 0 0 25 0 1 0 894102576 19603456 3941 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4786 3941 1111 63 0 4723 0 vsize: 19144 [startup+100.003 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 4023 0 0 0 9987 11 0 0 25 0 1 0 894102576 19603456 3941 4294967295 134512640 134716908 3221224576 3221223284 134618255 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4786 3941 1111 63 0 4723 0 vsize: 19144 [startup+110.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 4025 0 0 0 10987 11 0 0 25 0 1 0 894102576 19603456 3943 4294967295 134512640 134716908 3221224576 3221223104 1077378571 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4786 3943 1111 63 0 4723 0 vsize: 19144 [startup+120.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 4033 0 0 0 11987 12 0 0 25 0 1 0 894102576 19701760 3951 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4810 3951 1111 63 0 4747 0 vsize: 19240 [startup+130.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 4915 0 0 0 12984 14 0 0 25 0 1 0 894102576 23216128 4833 4294967295 134512640 134716908 3221224576 3221223256 134543614 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5668 4833 1111 63 0 5605 0 vsize: 22672 [startup+140.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 6032 0 0 0 13979 19 0 0 25 0 1 0 894102576 27815936 5950 4294967295 134512640 134716908 3221224576 3221223232 134543681 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6791 5951 1111 63 0 6728 0 vsize: 27164 [startup+150.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 6894 0 0 0 14976 22 0 0 25 0 1 0 894102576 31330304 6812 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7649 6812 1111 63 0 7586 0 vsize: 30596 [startup+160.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 7750 0 0 0 15972 26 0 0 25 0 1 0 894102576 34848768 7668 4294967295 134512640 134716908 3221224576 3221223240 134543600 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8508 7668 1111 63 0 8445 0 vsize: 34032 [startup+170.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 8755 0 0 0 16969 29 0 0 25 0 1 0 894102576 39043072 8673 4294967295 134512640 134716908 3221224576 3221223192 134549509 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9532 8673 1111 63 0 9469 0 vsize: 38128 [startup+180.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 9821 0 0 0 17965 33 0 0 25 0 1 0 894102576 43368448 9739 4294967295 134512640 134716908 3221224576 3221223320 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10588 9739 1111 63 0 10525 0 vsize: 42352 [startup+190.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 10885 0 0 0 18962 37 0 0 25 0 1 0 894102576 47865856 10802 4294967295 134512640 134716908 3221224576 3221223328 134594947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11686 10802 1111 63 0 11623 0 vsize: 46744 [startup+200.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 11733 0 0 0 19959 39 0 0 25 0 1 0 894102576 51245056 11650 4294967295 134512640 134716908 3221224576 3221223116 134539243 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12511 11650 1111 63 0 12448 0 vsize: 50044 [startup+210.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 12868 0 0 0 20956 43 0 0 25 0 1 0 894102576 55975936 12784 4294967295 134512640 134716908 3221224576 3221223136 134542303 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13666 12784 1111 63 0 13603 0 vsize: 54664 [startup+220.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 13824 0 0 0 21952 47 0 0 25 0 1 0 894102576 59895808 13740 4294967295 134512640 134716908 3221224576 3221223240 134543652 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14623 13740 1111 63 0 14560 0 vsize: 58492 [startup+230.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 14747 0 0 0 22950 49 0 0 25 0 1 0 894102576 63680512 14663 4294967295 134512640 134716908 3221224576 3221223160 134543614 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15547 14663 1111 63 0 15484 0 vsize: 62188 [startup+240.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 15848 0 0 0 23947 53 0 0 25 0 1 0 894102576 68304896 15762 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16676 15762 1111 63 0 16613 0 vsize: 66704 [startup+250.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 16482 0 0 0 24945 55 0 0 25 0 1 0 894102576 70909952 16396 4294967295 134512640 134716908 3221224576 3221223200 134542368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17312 16397 1111 63 0 17249 0 vsize: 69248 [startup+260.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 16930 0 0 0 25944 56 0 0 25 0 1 0 894102576 72699904 16842 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17749 16842 1111 63 0 17686 0 vsize: 70996 [startup+270.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 17269 0 0 0 26943 57 0 0 25 0 1 0 894102576 74252288 17177 4294967295 134512640 134716908 3221224576 3221223360 134529269 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18128 17177 1111 63 0 18065 0 vsize: 72512 [startup+280.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 17633 0 0 0 27942 59 0 0 25 0 1 0 894102576 75780096 17539 4294967295 134512640 134716908 3221224576 3221223340 134552560 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18501 17539 1111 63 0 18438 0 vsize: 74004 [startup+290.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 17956 0 0 0 28940 60 0 0 25 0 1 0 894102576 77144064 17860 4294967295 134512640 134716908 3221224576 3221223204 134698598 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18834 17860 1111 63 0 18771 0 vsize: 75336 [startup+300.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 18354 0 0 0 29939 61 0 0 25 0 1 0 894102576 78778368 18256 4294967295 134512640 134716908 3221224576 3221223264 134542848 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19233 18256 1111 63 0 19170 0 vsize: 76932 [startup+310.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 18699 0 0 0 30938 62 0 0 25 0 1 0 894102576 80265216 18601 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19596 18601 1111 63 0 19533 0 vsize: 78384 [startup+320.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 18885 0 0 0 31937 64 0 0 25 0 1 0 894102576 80941056 18787 4294967295 134512640 134716908 3221224576 3221223280 134528650 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19761 18787 1111 63 0 19698 0 vsize: 79044 [startup+330.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 19014 0 0 0 32937 64 0 0 25 0 1 0 894102576 81481728 18916 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19893 18916 1111 63 0 19830 0 vsize: 79572 [startup+340.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 19105 0 0 0 33936 65 0 0 25 0 1 0 894102576 81887232 19007 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19992 19007 1111 63 0 19929 0 vsize: 79968 [startup+350.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 19288 0 0 0 34935 66 0 0 25 0 1 0 894102576 82563072 19190 4294967295 134512640 134716908 3221224576 3221223216 134698481 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20157 19190 1111 63 0 20094 0 vsize: 80628 [startup+360.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 19390 0 0 0 35935 67 0 0 25 0 1 0 894102576 82968576 19292 4294967295 134512640 134716908 3221224576 3221223132 134535967 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20256 19292 1111 63 0 20193 0 vsize: 81024 [startup+370.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 19479 0 0 0 36935 67 0 0 25 0 1 0 894102576 83374080 19381 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20355 19381 1111 63 0 20292 0 vsize: 81420 [startup+380.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 19671 0 0 0 37934 68 0 0 25 0 1 0 894102576 84189184 19573 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20554 19573 1111 63 0 20491 0 vsize: 82216 [startup+390.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 19780 0 0 0 38933 69 0 0 25 0 1 0 894102576 84594688 19682 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20653 19682 1111 63 0 20590 0 vsize: 82612 [startup+400.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 19914 0 0 0 39933 70 0 0 25 0 1 0 894102576 85135360 19816 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20785 19816 1111 63 0 20722 0 vsize: 83140 [startup+410.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 20024 0 0 0 40932 70 0 0 25 0 1 0 894102576 85676032 19926 4294967295 134512640 134716908 3221224576 3221223184 134549635 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20917 19926 1111 63 0 20854 0 vsize: 83668 [startup+420.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 20160 0 0 0 41932 71 0 0 25 0 1 0 894102576 86216704 20062 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21049 20062 1111 63 0 20986 0 vsize: 84196 [startup+430.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 20289 0 0 0 42931 72 0 0 25 0 1 0 894102576 86757376 20191 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21181 20191 1111 63 0 21118 0 vsize: 84724 [startup+440.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 20458 0 0 0 43931 73 0 0 25 0 1 0 894102576 87433216 20360 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21346 20360 1111 63 0 21283 0 vsize: 85384 [startup+450.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 20679 0 0 0 44930 73 0 0 25 0 1 0 894102576 88244224 20581 4294967295 134512640 134716908 3221224576 3221223264 134536630 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21544 20581 1111 63 0 21481 0 vsize: 86176 [startup+460.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 21034 0 0 0 45929 75 0 0 25 0 1 0 894102576 89731072 20936 4294967295 134512640 134716908 3221224576 3221223232 134524067 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21907 20936 1111 63 0 21844 0 vsize: 87628 [startup+470.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 21186 0 0 0 46927 77 0 0 25 0 1 0 894102576 90406912 21088 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22072 21088 1111 63 0 22009 0 vsize: 88288 [startup+480.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 21285 0 0 0 47928 77 0 0 25 0 1 0 894102576 90812416 21187 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22171 21187 1111 63 0 22108 0 vsize: 88684 [startup+490.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 21418 0 0 0 48927 77 0 0 25 0 1 0 894102576 91353088 21320 4294967295 134512640 134716908 3221224576 3221223136 134542300 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22303 21320 1111 63 0 22240 0 vsize: 89212 [startup+500.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 21545 0 0 0 49927 78 0 0 25 0 1 0 894102576 91758592 21447 4294967295 134512640 134716908 3221224576 3221223280 134528617 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22402 21447 1111 63 0 22339 0 vsize: 89608 [startup+510.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 21665 0 0 0 50926 79 0 0 25 0 1 0 894102576 92299264 21567 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22534 21567 1111 63 0 22471 0 vsize: 90136 [startup+520.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 21799 0 0 0 51926 79 0 0 25 0 1 0 894102576 92839936 21701 4294967295 134512640 134716908 3221224576 3221223208 134552681 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22666 21701 1111 63 0 22603 0 vsize: 90664 [startup+530.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 21904 0 0 0 52926 80 0 0 25 0 1 0 894102576 93245440 21806 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22765 21806 1111 63 0 22702 0 vsize: 91060 [startup+540.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 22041 0 0 0 53925 80 0 0 25 0 1 0 894102576 93921280 21943 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22930 21943 1111 63 0 22867 0 vsize: 91720 [startup+550.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 22174 0 0 0 54925 81 0 0 25 0 1 0 894102576 94461952 22076 4294967295 134512640 134716908 3221224576 3221223280 134528647 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23062 22076 1111 63 0 22999 0 vsize: 92248 [startup+560.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 22302 0 0 0 55924 82 0 0 25 0 1 0 894102576 95019008 22204 4294967295 134512640 134716908 3221224576 3221223292 134552632 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23198 22204 1111 63 0 23135 0 vsize: 92792 [startup+570.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 22389 0 0 0 56924 82 0 0 25 0 1 0 894102576 95289344 22291 4294967295 134512640 134716908 3221224576 3221223348 134529109 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23264 22291 1111 63 0 23201 0 vsize: 93056 [startup+580.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 22483 0 0 0 57924 83 0 0 25 0 1 0 894102576 95694848 22385 4294967295 134512640 134716908 3221224576 3221223116 134539235 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23363 22385 1111 63 0 23300 0 vsize: 93452 [startup+590.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 22688 0 0 0 58923 84 0 0 25 0 1 0 894102576 96505856 22590 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23561 22590 1111 63 0 23498 0 vsize: 94244 [startup+600.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 23120 0 0 0 59920 86 0 0 25 0 1 0 894102576 98263040 23022 4294967295 134512640 134716908 3221224576 3221223312 134528595 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23990 23022 1111 63 0 23927 0 vsize: 95960 [startup+610.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 23227 0 0 0 60920 87 0 0 25 0 1 0 894102576 98803712 23129 4294967295 134512640 134716908 3221224576 3221223168 134549527 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24122 23129 1111 63 0 24059 0 vsize: 96488 [startup+620.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 23344 0 0 0 61920 87 0 0 25 0 1 0 894102576 99209216 23246 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24221 23246 1111 63 0 24158 0 vsize: 96884 [startup+630.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 23449 0 0 0 62919 88 0 0 25 0 1 0 894102576 99614720 23351 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24320 23351 1111 63 0 24257 0 vsize: 97280 [startup+640.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 23567 0 0 0 63919 88 0 0 25 0 1 0 894102576 100155392 23469 4294967295 134512640 134716908 3221224576 3221223216 134536700 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24452 23469 1111 63 0 24389 0 vsize: 97808 [startup+650.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 23686 0 0 0 64919 89 0 0 25 0 1 0 894102576 100696064 23588 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24584 23588 1111 63 0 24521 0 vsize: 98336 [startup+660.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 23801 0 0 0 65919 89 0 0 25 0 1 0 894102576 101101568 23703 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24683 23703 1111 63 0 24620 0 vsize: 98732 [startup+670.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 23912 0 0 0 66919 90 0 0 25 0 1 0 894102576 101507072 23814 4294967295 134512640 134716908 3221224576 3221223296 134535757 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24782 23814 1111 63 0 24719 0 vsize: 99128 [startup+680.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 24345 0 0 0 67918 91 0 0 25 0 1 0 894102576 103399424 24247 4294967295 134512640 134716908 3221224576 3221223360 134529097 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25244 24247 1111 63 0 25181 0 vsize: 100976 [startup+690.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 24632 0 0 0 68917 92 0 0 25 0 1 0 894102576 104480768 24532 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25508 24532 1111 63 0 25445 0 vsize: 102032 [startup+700.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 24855 0 0 0 69916 93 0 0 25 0 1 0 894102576 105459712 24755 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25747 24755 1111 63 0 25684 0 vsize: 102988 [startup+710.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 25027 0 0 0 70916 93 0 0 25 0 1 0 894102576 106135552 24927 4294967295 134512640 134716908 3221224576 3221223312 134535829 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25912 24927 1111 63 0 25849 0 vsize: 103648 [startup+720.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 25220 0 0 0 71915 94 0 0 25 0 1 0 894102576 106946560 25120 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26110 25120 1111 63 0 26047 0 vsize: 104440 [startup+730.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 25421 0 0 0 72914 95 0 0 25 0 1 0 894102576 107757568 25321 4294967295 134512640 134716908 3221224576 3221223280 134528735 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26308 25321 1111 63 0 26245 0 vsize: 105232 [startup+740.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 25653 0 0 0 73913 97 0 0 25 0 1 0 894102576 108703744 25553 4294967295 134512640 134716908 3221224576 3221223312 134528677 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26539 25553 1111 63 0 26476 0 vsize: 106156 [startup+750.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 25884 0 0 0 74912 98 0 0 25 0 1 0 894102576 109649920 25784 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26770 25784 1111 63 0 26707 0 vsize: 107080 [startup+760.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 26101 0 0 0 75914 99 0 0 25 0 1 0 894102576 110596096 26001 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27001 26001 1111 63 0 26938 0 vsize: 108004 [startup+770.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 26335 0 0 0 76913 99 0 0 25 0 1 0 894102576 111542272 26235 4294967295 134512640 134716908 3221224576 3221223256 134552650 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27232 26235 1111 63 0 27169 0 vsize: 108928 [startup+780.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 26527 0 0 0 77913 100 0 0 25 0 1 0 894102576 112353280 26425 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27430 26425 1111 63 0 27367 0 vsize: 109720 [startup+790.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 26722 0 0 0 78912 101 0 0 25 0 1 0 894102576 113164288 26620 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27628 26620 1111 63 0 27565 0 vsize: 110512 [startup+800.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 26900 0 0 0 79911 102 0 0 25 0 1 0 894102576 113840128 26798 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27793 26798 1111 63 0 27730 0 vsize: 111172 [startup+810.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 27060 0 0 0 80910 103 0 0 25 0 1 0 894102576 114515968 26958 4294967295 134512640 134716908 3221224576 3221223360 134529401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27958 26958 1111 63 0 27895 0 vsize: 111832 [startup+820.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 27223 0 0 0 81910 103 0 0 25 0 1 0 894102576 115191808 27121 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28123 27121 1111 63 0 28060 0 vsize: 112492 [startup+830.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 27409 0 0 0 82910 104 0 0 25 0 1 0 894102576 116002816 27307 4294967295 134512640 134716908 3221224576 3221223168 134549541 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28321 27307 1111 63 0 28258 0 vsize: 113284 [startup+840.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 27613 0 0 0 83909 105 0 0 25 0 1 0 894102576 116813824 27511 4294967295 134512640 134716908 3221224576 3221223200 134542303 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28519 27511 1111 63 0 28456 0 vsize: 114076 [startup+850.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 27793 0 0 0 84908 106 0 0 25 0 1 0 894102576 117493760 27691 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28685 27691 1111 63 0 28622 0 vsize: 114740 [startup+860.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 28028 0 0 0 85907 107 0 0 25 0 1 0 894102576 118546432 27917 4294967295 134512640 134716908 3221224576 3221223216 134698481 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28942 27917 1111 63 0 28879 0 vsize: 115768 [startup+870.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 28373 0 0 0 86906 108 0 0 25 0 1 0 894102576 119898112 28262 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29272 28262 1111 63 0 29209 0 vsize: 117088 [startup+880.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 28703 0 0 0 87905 109 0 0 25 0 1 0 894102576 121249792 28592 4294967295 134512640 134716908 3221224576 3221223228 134536825 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29602 28592 1111 63 0 29539 0 vsize: 118408 [startup+890.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 29103 0 0 0 88903 112 0 0 25 0 1 0 894102576 122904576 28988 4294967295 134512640 134716908 3221224576 3221223216 134542350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30006 28988 1111 63 0 29943 0 vsize: 120024 [startup+900.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 29538 0 0 0 89902 113 0 0 25 0 1 0 894102576 124735488 29421 4294967295 134512640 134716908 3221224576 3221223280 134528671 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30453 29421 1111 63 0 30390 0 vsize: 121812 [startup+910.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 29997 0 0 0 90901 115 0 0 25 0 1 0 894102576 126828544 29876 4294967295 134512640 134716908 3221224576 3221223232 134543681 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30964 29876 1111 63 0 30901 0 vsize: 123856 [startup+920.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 30190 0 0 0 91900 116 0 0 25 0 1 0 894102576 127639552 30069 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31162 30069 1111 63 0 31099 0 vsize: 124648 [startup+930.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 30385 0 0 0 92899 117 0 0 25 0 1 0 894102576 128393216 30260 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31346 30260 1111 63 0 31283 0 vsize: 125384 [startup+940.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 30590 0 0 0 93898 118 0 0 25 0 1 0 894102576 129204224 30465 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31544 30465 1111 63 0 31481 0 vsize: 126176 [startup+950.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 30781 0 0 0 94897 119 0 0 25 0 1 0 894102576 130015232 30656 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31742 30656 1111 63 0 31679 0 vsize: 126968 [startup+960.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 30954 0 0 0 95896 120 0 0 25 0 1 0 894102576 130691072 30829 4294967295 134512640 134716908 3221224576 3221223360 134529243 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31907 30829 1111 63 0 31844 0 vsize: 127628 [startup+970.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 31200 0 0 0 96896 121 0 0 25 0 1 0 894102576 131772416 31075 4294967295 134512640 134716908 3221224576 3221223316 134523855 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32171 31075 1111 63 0 32108 0 vsize: 128684 [startup+980.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 31399 0 0 0 97895 121 0 0 25 0 1 0 894102576 132583424 31274 4294967295 134512640 134716908 3221224576 3221223336 134552570 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32369 31274 1111 63 0 32306 0 vsize: 129476 [startup+990.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 31587 0 0 0 98895 122 0 0 25 0 1 0 894102576 133353472 31449 4294967295 134512640 134716908 3221224576 3221223264 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32557 31449 1111 63 0 32494 0 vsize: 130228 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 31741 0 0 0 99895 122 0 0 25 0 1 0 894102576 134029312 31603 4294967295 134512640 134716908 3221224576 3221223216 134698487 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32722 31604 1111 63 0 32659 0 vsize: 130888 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 31897 0 0 0 100895 123 0 0 25 0 1 0 894102576 134578176 31758 4294967295 134512640 134716908 3221224576 3221223244 134542288 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32856 31758 1111 63 0 32793 0 vsize: 131424 [startup+1020.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 32056 0 0 0 101894 124 0 0 25 0 1 0 894102576 135254016 31917 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33021 31917 1111 63 0 32958 0 vsize: 132084 [startup+1030.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 32200 0 0 0 102893 125 0 0 25 0 1 0 894102576 135929856 32059 4294967295 134512640 134716908 3221224576 3221223208 134552681 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33186 32059 1111 63 0 33123 0 vsize: 132744 [startup+1040.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 32320 0 0 0 103893 125 0 0 25 0 1 0 894102576 136335360 32179 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33285 32179 1111 63 0 33222 0 vsize: 133140 [startup+1050.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 32493 0 0 0 104893 126 0 0 25 0 1 0 894102576 137011200 32352 4294967295 134512640 134716908 3221224576 3221223280 134528650 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33450 32352 1111 63 0 33387 0 vsize: 133800 [startup+1060.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 32687 0 0 0 105891 128 0 0 25 0 1 0 894102576 137822208 32546 4294967295 134512640 134716908 3221224576 3221223360 134528816 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33648 32546 1111 63 0 33585 0 vsize: 134592 [startup+1070.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 32827 0 0 0 106891 129 0 0 25 0 1 0 894102576 138498048 32686 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33813 32686 1111 63 0 33750 0 vsize: 135252 [startup+1080.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 32982 0 0 0 107890 129 0 0 25 0 1 0 894102576 139038720 32841 4294967295 134512640 134716908 3221224576 3221223292 134552682 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33945 32841 1111 63 0 33882 0 vsize: 135780 [startup+1090.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 33173 0 0 0 108889 130 0 0 25 0 1 0 894102576 139849728 33032 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34143 33032 1111 63 0 34080 0 vsize: 136572 [startup+1100.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 33314 0 0 0 109888 131 0 0 25 0 1 0 894102576 140390400 33173 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34275 33173 1111 63 0 34212 0 vsize: 137100 [startup+1110.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 33675 0 0 0 110887 133 0 0 25 0 1 0 894102576 141926400 33533 4294967295 134512640 134716908 3221224576 3221223216 134539374 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34650 33533 1111 63 0 34587 0 vsize: 138600 [startup+1120.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 33836 0 0 0 111887 133 0 0 25 0 1 0 894102576 142602240 33694 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34815 33694 1111 63 0 34752 0 vsize: 139260 [startup+1130.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 33946 0 0 0 112887 134 0 0 25 0 1 0 894102576 143007744 33804 4294967295 134512640 134716908 3221224576 3221223168 134549544 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34914 33804 1111 63 0 34851 0 vsize: 139656 [startup+1140.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 34050 0 0 0 113886 134 0 0 25 0 1 0 894102576 143413248 33908 4294967295 134512640 134716908 3221224576 3221223188 134549630 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35013 33908 1111 63 0 34950 0 vsize: 140052 [startup+1150.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 34152 0 0 0 114886 135 0 0 25 0 1 0 894102576 143818752 34010 4294967295 134512640 134716908 3221224576 3221223292 134542828 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35112 34010 1111 63 0 35049 0 vsize: 140448 [startup+1160.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 34278 0 0 0 115885 136 0 0 25 0 1 0 894102576 144359424 34136 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35244 34136 1111 63 0 35181 0 vsize: 140976 [startup+1170.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 34430 0 0 0 116885 136 0 0 25 0 1 0 894102576 145035264 34288 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35409 34288 1111 63 0 35346 0 vsize: 141636 [startup+1174.94 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 26883 Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 34430 0 0 0 116885 136 0 0 25 0 1 0 894102576 145035264 34288 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35409 34288 1111 63 0 35346 0 vsize: 0 Child status: 0 Real time (s): 1174.94 CPU time (s): 1175.1 CPU user time (s): 1173.66 CPU system time (s): 1.43478 CPU usage (%): 100.014 Max. virtual memory (Kb): 141636 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####