Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0548.opb |
MD5SUM | 10547c6c0f11ab5df74fcaff6ba6d160 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 14938 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 416 |
Biggest coefficient in the objective function | 11000 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 96797 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 11000 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 96797 |
Number of bits of the biggest sum of numbers | 17 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1244.18 |
Number of variables | 548 |
Total number of constraints | 724 |
Number of constraints which are clauses | 40 |
Number of constraints which are cardinality constraints (but not clauses) | 550 |
Number of constraints which are nor clauses,nor cardinality constraints | 134 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 143 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-06-08 09:47:51 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28485 boxname=wulflinc1 idbench=1441 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: 10547c6c0f11ab5df74fcaff6ba6d160 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-p0548.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-p0548.opb IDLAUNCH: 28485 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 898060 kB Buffers: 19476 kB Cached: 92580 kB SwapCached: 1164 kB Active: 25348 kB Inactive: 88960 kB HighTotal: 131008 kB HighFree: 61824 kB LowTotal: 903652 kB LowFree: 836236 kB SwapTotal: 2097136 kB SwapFree: 2094844 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5260 kB Slab: 16460 kB Committed_AS: 92720 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 10:07:27 (client local time) WITH STATUS 0 IN 1175.15 SECONDS stats: 28485 7 1175.15 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 548 variables and 166 constraints. c After prepocess the problem consists of 527 variables and 154 constraints. c preprocess terminated 0.739 s c Initial Lower Bound: 318 c Lower Bound Elapsed time: 0.01925 c Use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.01 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.91 0.95 0.90 1/55 21642 Raw data (stat): 21642 (runsolver) R 21641 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 843814867 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0002 s] Raw data (loadavg): 0.93 0.95 0.90 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 6546 0 0 0 977 20 0 0 25 0 1 0 843814867 19628032 4096 4294967295 134512640 134716908 3221224576 3221222000 1076056769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4840 4097 1111 63 0 4777 0 vsize: 19168 [startup+20 s] Raw data (loadavg): 0.94 0.96 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 12602 0 0 0 1953 44 0 0 25 0 1 0 843814867 23080960 4941 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5678 4941 1111 63 0 5615 0 vsize: 22540 [startup+30.0007 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 19168 0 0 0 2931 66 0 0 25 0 1 0 843814867 26243072 5709 4294967295 134512640 134716908 3221224576 3221222496 1075799535 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6405 5709 1111 63 0 6342 0 vsize: 25628 [startup+40.0005 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 26013 0 0 0 3905 92 0 0 25 0 1 0 843814867 30212096 6603 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7376 6603 1111 63 0 7313 0 vsize: 29504 [startup+50.0013 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 32297 0 0 0 4881 117 0 0 25 0 1 0 843814867 33038336 7362 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8062 7360 1111 63 0 7999 0 vsize: 32264 [startup+60.0011 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 38007 0 0 0 5856 142 0 0 25 0 1 0 843814867 35966976 8080 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8825 8082 1111 63 0 8762 0 vsize: 35124 [startup+70.0009 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 43490 0 0 0 6834 164 0 0 25 0 1 0 843814867 40181760 9059 4294967295 134512640 134716908 3221224576 3221223424 134623478 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9810 9059 1111 63 0 9747 0 vsize: 39240 [startup+80.0017 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 48875 0 0 0 7811 188 0 0 25 0 1 0 843814867 43028480 9776 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10505 9776 1111 63 0 10442 0 vsize: 42020 [startup+90.002 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 54638 0 0 0 8788 211 0 0 25 0 1 0 843814867 46120960 10534 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11260 10534 1111 63 0 11197 0 vsize: 45040 [startup+100.002 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 60072 0 0 0 9766 233 0 0 25 0 1 0 843814867 49168384 11277 4294967295 134512640 134716908 3221224576 3221222304 1075828449 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12004 11277 1111 63 0 11941 0 vsize: 48016 [startup+110.002 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 65634 0 0 0 10743 256 0 0 25 0 1 0 843814867 52330496 12012 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12752 12011 1111 63 0 12689 0 vsize: 51104 [startup+120.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 71866 0 0 0 11719 280 0 0 25 0 1 0 843814867 58109952 13236 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14187 13236 1111 63 0 14124 0 vsize: 56748 [startup+130.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 77106 0 0 0 12694 305 0 0 25 0 1 0 843814867 60928000 13927 4294967295 134512640 134716908 3221224576 3221222304 1075828538 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14875 13927 1111 63 0 14812 0 vsize: 59500 [startup+140.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 82562 0 0 0 13675 325 0 0 25 0 1 0 843814867 63635456 14621 4294967295 134512640 134716908 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15536 14621 1111 63 0 15473 0 vsize: 62144 [startup+150.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 87717 0 0 0 14655 345 0 0 25 0 1 0 843814867 66195456 15236 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16161 15236 1111 63 0 16098 0 vsize: 64644 [startup+160.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 93355 0 0 0 15629 371 0 0 25 0 1 0 843814867 69382144 16009 4294967295 134512640 134716908 3221224576 3221220908 1076111259 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16927 16008 1111 63 0 16864 0 vsize: 67756 [startup+170.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 97735 0 0 0 16612 388 0 0 25 0 1 0 843814867 71622656 16610 4294967295 134512640 134716908 3221224576 3221223300 134622927 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17486 16610 1111 63 0 17423 0 vsize: 69944 [startup+180.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 97822 0 0 0 17612 389 0 0 25 0 1 0 843814867 71868416 16640 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17546 16640 1111 63 0 17483 0 vsize: 70184 [startup+190.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 109392 0 0 0 18583 417 0 0 25 0 1 0 843814867 72839168 16895 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17783 16895 1111 63 0 17720 0 vsize: 71132 [startup+200.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 126498 0 0 0 19544 456 0 0 25 0 1 0 843814867 75509760 17567 4294967295 134512640 134716908 3221224576 3221223288 134543191 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18435 17567 1111 63 0 18372 0 vsize: 73740 [startup+210.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 145084 0 0 0 20495 506 0 0 25 0 1 0 843814867 78348288 18263 4294967295 134512640 134716908 3221224576 3221222976 1074118797 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19128 18263 1111 63 0 19065 0 vsize: 76512 [startup+220.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 163790 0 0 0 21451 550 0 0 25 0 1 0 843814867 81575936 19048 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19916 19048 1111 63 0 19853 0 vsize: 79664 [startup+230.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 182483 0 0 0 22403 597 0 0 25 0 1 0 843814867 84578304 19780 4294967295 134512640 134716908 3221224576 3221222976 1074153815 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20649 19780 1111 63 0 20586 0 vsize: 82596 [startup+240 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 202162 0 0 0 23359 642 0 0 25 0 1 0 843814867 92545024 21140 4294967295 134512640 134716908 3221224576 3221222840 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22594 21140 1111 63 0 22531 0 vsize: 90376 [startup+250 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 219442 0 0 0 24320 682 0 0 25 0 1 0 843814867 94928896 21737 4294967295 134512640 134716908 3221224576 3221222888 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23176 21737 1111 63 0 23113 0 vsize: 92704 [startup+260 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 238365 0 0 0 25275 726 0 0 25 0 1 0 843814867 98152448 22528 4294967295 134512640 134716908 3221224576 3221222912 1074153672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23963 22528 1111 63 0 23900 0 vsize: 95852 [startup+270 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 256482 0 0 0 26229 773 0 0 25 0 1 0 843814867 100782080 23170 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24652 23171 1111 63 0 24589 0 vsize: 98420 [startup+280 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 275102 0 0 0 27183 818 0 0 25 0 1 0 843814867 103374848 23824 4294967295 134512640 134716908 3221224576 3221222928 1074153158 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25238 23824 1111 63 0 25175 0 vsize: 100952 [startup+290 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 290736 0 0 0 28149 853 0 0 25 0 1 0 843814867 106225664 24350 4294967295 134512640 134716908 3221224576 3221221232 1075969311 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25793 24346 1111 63 0 25730 0 vsize: 103736 [startup+300 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 309789 0 0 0 29102 900 0 0 25 0 1 0 843814867 108101632 25026 4294967295 134512640 134716908 3221224576 3221222928 1074153822 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26392 25026 1111 63 0 26329 0 vsize: 105568 [startup+310 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 328640 0 0 0 30055 947 0 0 25 0 1 0 843814867 110968832 25715 4294967295 134512640 134716908 3221224576 3221222688 1074867358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27092 25715 1111 63 0 27029 0 vsize: 108368 [startup+320 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 347511 0 0 0 31013 989 0 0 25 0 1 0 843814867 114319360 26368 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27910 26371 1111 63 0 27847 0 vsize: 111640 [startup+330.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 360563 0 0 0 31979 1024 0 0 25 0 1 0 843814867 117071872 27204 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28582 27204 1111 63 0 28519 0 vsize: 114328 [startup+340 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 361762 0 0 0 32976 1027 0 0 25 0 1 0 843814867 116043776 26967 4294967295 134512640 134716908 3221224576 3221223288 134543144 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28331 26967 1111 63 0 28268 0 vsize: 113324 [startup+350 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 361762 0 0 0 33976 1027 0 0 25 0 1 0 843814867 116043776 26967 4294967295 134512640 134716908 3221224576 3221223288 134543187 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28331 26967 1111 63 0 28268 0 vsize: 113324 [startup+360.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 378608 0 0 0 34935 1068 0 0 25 0 1 0 843814867 118267904 27507 4294967295 134512640 134716908 3221224576 3221222540 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28874 27507 1111 63 0 28811 0 vsize: 115496 [startup+370.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 394379 0 0 0 35898 1105 0 0 25 0 1 0 843814867 120901632 28138 4294967295 134512640 134716908 3221224576 3221223248 134553180 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29517 28138 1111 63 0 29454 0 vsize: 118068 [startup+380 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 413180 0 0 0 36854 1149 0 0 25 0 1 0 843814867 123834368 28832 4294967295 134512640 134716908 3221224576 3221222880 1074153660 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30233 28832 1111 63 0 30170 0 vsize: 120932 [startup+390.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 432125 0 0 0 37807 1196 0 0 25 0 1 0 843814867 127082496 29602 4294967295 134512640 134716908 3221224576 3221223432 134586620 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31026 29602 1111 63 0 30963 0 vsize: 124104 [startup+400.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 450733 0 0 0 38761 1243 0 0 25 0 1 0 843814867 129626112 30214 4294967295 134512640 134716908 3221224576 3221222912 1074153660 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31647 30214 1111 63 0 31584 0 vsize: 126588 [startup+410.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 469441 0 0 0 39718 1286 0 0 25 0 1 0 843814867 132636672 30992 4294967295 134512640 134716908 3221224576 3221222800 1074207179 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32382 30992 1111 63 0 32319 0 vsize: 129528 [startup+420.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 488053 0 0 0 40671 1333 0 0 25 0 1 0 843814867 135196672 31631 4294967295 134512640 134716908 3221224576 3221221696 1074866721 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33195 31637 1111 63 0 33132 0 vsize: 132028 [startup+430.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 504064 0 0 0 41636 1369 0 0 25 0 1 0 843814867 137953280 32312 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33680 32312 1111 63 0 33617 0 vsize: 134720 [startup+440.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 522875 0 0 0 42589 1415 0 0 25 0 1 0 843814867 140214272 32904 4294967295 134512640 134716908 3221224576 3221222224 1075818175 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34232 32904 1111 63 0 34169 0 vsize: 136928 [startup+450.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 541821 0 0 0 43542 1463 0 0 25 0 1 0 843814867 143208448 33645 4294967295 134512640 134716908 3221224576 3221222928 1074153459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34963 33645 1111 63 0 34900 0 vsize: 139852 [startup+460.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 560511 0 0 0 44498 1507 0 0 25 0 1 0 843814867 146272256 34242 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35711 34243 1111 63 0 35648 0 vsize: 142844 [startup+470 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 577871 0 0 0 45454 1551 0 0 25 0 1 0 843814867 147980288 34855 4294967295 134512640 134716908 3221224576 3221222528 1075657347 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36128 34855 1111 63 0 36065 0 vsize: 144512 [startup+480 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 595980 0 0 0 46412 1593 0 0 25 0 1 0 843814867 151023616 35421 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36871 35428 1111 63 0 36808 0 vsize: 147484 [startup+490 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 612590 0 0 0 47371 1634 0 0 25 0 1 0 843814867 152768512 36022 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37297 36022 1111 63 0 37234 0 vsize: 149188 [startup+500.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 630992 0 0 0 48326 1679 0 0 25 0 1 0 843814867 165748736 37951 4294967295 134512640 134716908 3221224576 3221223380 134622499 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 40466 37951 1111 63 0 40403 0 vsize: 161864 [startup+510.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 642110 0 0 0 49300 1705 0 0 25 0 1 0 843814867 166912000 38208 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 40750 38208 1111 63 0 40687 0 vsize: 163000 [startup+520 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 660093 0 0 0 50258 1747 0 0 25 0 1 0 843814867 169345024 38798 4294967295 134512640 134716908 3221224576 3221221888 1075006855 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 41532 38804 1111 63 0 41469 0 vsize: 165376 [startup+530 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 678852 0 0 0 51210 1796 0 0 25 0 1 0 843814867 172691456 39443 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 42161 39443 1111 63 0 42098 0 vsize: 168644 [startup+540 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 697383 0 0 0 52164 1841 0 0 25 0 1 0 843814867 174563328 40036 4294967295 134512640 134716908 3221224576 3221223136 134542365 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 42618 40036 1111 63 0 42555 0 vsize: 170472 [startup+550 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 715400 0 0 0 53123 1883 0 0 25 0 1 0 843814867 176803840 40592 4294967295 134512640 134716908 3221224576 3221222488 1074138240 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 43165 40592 1111 63 0 43102 0 vsize: 172660 [startup+560 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 734105 0 0 0 54078 1928 0 0 25 0 1 0 843814867 179982336 41239 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 43941 41239 1111 63 0 43878 0 vsize: 175764 [startup+570 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 751059 0 0 0 55041 1965 0 0 25 0 1 0 843814867 181256192 41698 4294967295 134512640 134716908 3221224576 3221222724 1077379982 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 44252 41698 1111 63 0 44189 0 vsize: 177008 [startup+580 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 769939 0 0 0 55997 2010 0 0 25 0 1 0 843814867 183717888 42328 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 44853 42328 1111 63 0 44790 0 vsize: 179412 [startup+590 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 787293 0 0 0 56959 2048 0 0 25 0 1 0 843814867 185917440 42877 4294967295 134512640 134716908 3221224576 3221221688 1077377722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 45578 42883 1111 63 0 45515 0 vsize: 181560 [startup+600 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 806351 0 0 0 57914 2093 0 0 25 0 1 0 843814867 189308928 43503 4294967295 134512640 134716908 3221224576 3221221344 1076083619 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 46218 43512 1111 63 0 46155 0 vsize: 184872 [startup+610.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 825630 0 0 0 58872 2135 0 0 25 0 1 0 843814867 190812160 44071 4294967295 134512640 134716908 3221224576 3221222224 1075818344 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 46585 44071 1111 63 0 46522 0 vsize: 186340 [startup+620 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 840097 0 0 0 59840 2167 0 0 25 0 1 0 843814867 193134592 44658 4294967295 134512640 134716908 3221224576 3221223300 134622875 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 47152 44658 1111 63 0 47089 0 vsize: 188608 [startup+630 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 840097 0 0 0 60840 2167 0 0 25 0 1 0 843814867 193134592 44658 4294967295 134512640 134716908 3221224576 3221223392 134622268 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 47152 44658 1111 63 0 47089 0 vsize: 188608 [startup+640.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 859072 0 0 0 61795 2212 0 0 25 0 1 0 843814867 194658304 45045 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 47524 45045 1111 63 0 47461 0 vsize: 190096 [startup+650.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 876062 0 0 0 62757 2251 0 0 25 0 1 0 843814867 196657152 45561 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 48012 45561 1111 63 0 47949 0 vsize: 192048 [startup+660.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 895193 0 0 0 63715 2293 0 0 25 0 1 0 843814867 198836224 46088 4294967295 134512640 134716908 3221224576 3221222320 1075640218 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 48544 46088 1111 63 0 48481 0 vsize: 194176 [startup+670.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 916386 0 0 0 64663 2345 0 0 25 0 1 0 843814867 200916992 46615 4294967295 134512640 134716908 3221224576 3221222880 1074153749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 49052 46615 1111 63 0 48989 0 vsize: 196208 [startup+680.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 936609 0 0 0 65616 2392 0 0 25 0 1 0 843814867 203030528 47169 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 49568 47169 1111 63 0 49505 0 vsize: 198272 [startup+690.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 956646 0 0 0 66566 2442 0 0 25 0 1 0 843814867 205099008 47674 4294967295 134512640 134716908 3221224576 3221222304 1075828224 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 50073 47674 1111 63 0 50010 0 vsize: 200292 [startup+700.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 975626 0 0 0 67522 2487 0 0 25 0 1 0 843814867 207089664 48199 4294967295 134512640 134716908 3221224576 3221222540 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 50559 48199 1111 63 0 50496 0 vsize: 202236 [startup+710.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 993075 0 0 0 68478 2531 0 0 25 0 1 0 843814867 209260544 48739 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 51089 48739 1111 63 0 51026 0 vsize: 204356 [startup+720.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1011425 0 0 0 69435 2574 0 0 25 0 1 0 843814867 211595264 49311 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 51659 49311 1111 63 0 51596 0 vsize: 206636 [startup+730.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 21642 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1029492 0 0 0 70391 2618 0 0 25 0 1 0 843814867 213733376 49878 4294967295 134512640 134716908 3221224576 3221222848 1074057537 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 52181 49878 1111 63 0 52118 0 vsize: 208724 [startup+740.003 s] Raw data (loadavg): 1.07 0.99 0.91 2/55 21695 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1047363 0 0 0 71348 2660 0 0 25 0 1 0 843814867 215470080 50304 4294967295 134512640 134716908 3221224576 3221222804 1077402438 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 52605 50304 1111 63 0 52542 0 vsize: 210420 [startup+750.004 s] Raw data (loadavg): 1.06 0.99 0.91 2/55 21695 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1065371 0 0 0 72305 2704 0 0 25 0 1 0 843814867 218075136 50937 4294967295 134512640 134716908 3221224576 3221223360 134584976 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 53241 50937 1111 63 0 53178 0 vsize: 212964 [startup+760.003 s] Raw data (loadavg): 1.05 0.99 0.91 2/55 21695 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1082229 0 0 0 73263 2745 0 0 25 0 1 0 843814867 220508160 51582 4294967295 134512640 134716908 3221224576 3221223304 134622822 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 53835 51582 1111 63 0 53772 0 vsize: 215340 [startup+770.003 s] Raw data (loadavg): 1.04 0.99 0.91 2/55 21695 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1097591 0 0 0 74225 2784 0 0 25 0 1 0 843814867 222113792 51975 4294967295 134512640 134716908 3221224576 3221223368 134536900 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 54227 51975 1111 63 0 54164 0 vsize: 216908 [startup+780.004 s] Raw data (loadavg): 1.03 0.99 0.91 2/55 21695 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1116216 0 0 0 75182 2827 0 0 25 0 1 0 843814867 225058816 52543 4294967295 134512640 134716908 3221224576 3221222928 1074153822 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 54946 52543 1111 63 0 54883 0 vsize: 219784 [startup+790.004 s] Raw data (loadavg): 1.11 1.00 0.92 2/55 21697 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1134733 0 0 0 76134 2875 0 0 25 0 1 0 843814867 227635200 53145 4294967295 134512640 134716908 3221224576 3221222320 1075645339 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 55575 53145 1111 63 0 55512 0 vsize: 222300 [startup+800.005 s] Raw data (loadavg): 1.09 1.00 0.92 2/55 21697 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1152699 0 0 0 77090 2919 0 0 25 0 1 0 843814867 230555648 53775 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 56288 53775 1111 63 0 56225 0 vsize: 225152 [startup+810.005 s] Raw data (loadavg): 1.08 1.00 0.92 2/55 21699 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1171059 0 0 0 78050 2960 0 0 25 0 1 0 843814867 233095168 54369 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 56908 54369 1111 63 0 56845 0 vsize: 227632 [startup+820.005 s] Raw data (loadavg): 1.06 1.00 0.92 2/55 21699 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1173904 0 0 0 79041 2968 0 0 25 0 1 0 843814867 234029056 54600 4294967295 134512640 134716908 3221224576 3221223288 134543144 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 57136 54600 1111 63 0 57073 0 vsize: 228544 [startup+830.005 s] Raw data (loadavg): 1.05 1.00 0.92 2/55 21699 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1173904 0 0 0 80041 2968 0 0 25 0 1 0 843814867 234029056 54600 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 57136 54600 1111 63 0 57073 0 vsize: 228544 [startup+840.005 s] Raw data (loadavg): 1.05 1.00 0.92 2/55 21699 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1173904 0 0 0 81041 2968 0 0 25 0 1 0 843814867 234029056 54600 4294967295 134512640 134716908 3221224576 3221223288 134543168 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 57136 54600 1111 63 0 57073 0 vsize: 228544 [startup+850.005 s] Raw data (loadavg): 1.04 1.00 0.92 2/55 21699 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1175810 0 0 0 82037 2973 0 0 25 0 1 0 843814867 233779200 54535 4294967295 134512640 134716908 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 57075 54535 1111 63 0 57012 0 vsize: 228300 [startup+860.005 s] Raw data (loadavg): 1.03 1.00 0.92 2/55 21699 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1178059 0 0 0 83032 2978 0 0 25 0 1 0 843814867 235270144 54878 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 57439 54878 1111 63 0 57376 0 vsize: 229756 [startup+870.005 s] Raw data (loadavg): 1.03 1.00 0.92 2/55 21699 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1193921 0 0 0 83997 3013 0 0 25 0 1 0 843814867 235245568 54901 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 57433 54901 1111 63 0 57370 0 vsize: 229732 [startup+880.006 s] Raw data (loadavg): 1.02 1.00 0.92 2/55 21699 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1212569 0 0 0 84954 3057 0 0 25 0 1 0 843814867 237707264 55514 4294967295 134512640 134716908 3221224576 3221222320 1075640285 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58034 55514 1111 63 0 57971 0 vsize: 232136 [startup+890.006 s] Raw data (loadavg): 1.02 1.00 0.92 2/55 21699 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1226755 0 0 0 85922 3089 0 0 25 0 1 0 843814867 239382528 55958 4294967295 134512640 134716908 3221224576 3221222152 1077410163 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58443 55958 1111 63 0 58380 0 vsize: 233772 [startup+900.005 s] Raw data (loadavg): 1.02 1.00 0.92 2/55 21699 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1245198 0 0 0 86878 3133 0 0 25 0 1 0 843814867 241614848 56509 4294967295 134512640 134716908 3221224576 3221222304 1075828211 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58988 56509 1111 63 0 58925 0 vsize: 235952 [startup+910.005 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 21699 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1264252 0 0 0 87831 3180 0 0 25 0 1 0 843814867 243879936 57064 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 59598 57065 1111 63 0 59535 0 vsize: 238164 [startup+920.005 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 21699 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1282947 0 0 0 88785 3226 0 0 25 0 1 0 843814867 246095872 57648 4294967295 134512640 134716908 3221224576 3221222224 1075818287 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 60082 57648 1111 63 0 60019 0 vsize: 240328 [startup+930.005 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 21699 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1301322 0 0 0 89741 3270 0 0 25 0 1 0 843814867 248426496 58228 4294967295 134512640 134716908 3221224576 3221222496 1075799556 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 60651 58228 1111 63 0 60588 0 vsize: 242604 [startup+940.005 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 21699 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1319676 0 0 0 90699 3312 0 0 25 0 1 0 843814867 250728448 58819 4294967295 134512640 134716908 3221224576 3221222304 1075828224 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 61213 58819 1111 63 0 61150 0 vsize: 244852 [startup+950.004 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 21699 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1338533 0 0 0 91655 3356 0 0 25 0 1 0 843814867 253702144 59568 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 62166 59572 1111 63 0 62103 0 vsize: 247756 [startup+960.005 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 21699 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1357356 0 0 0 92608 3403 0 0 25 0 1 0 843814867 256004096 60133 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 62501 60133 1111 63 0 62438 0 vsize: 250004 [startup+970.005 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 21699 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1371008 0 0 0 93575 3437 0 0 25 0 1 0 843814867 258351104 60512 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 63074 60517 1111 63 0 63011 0 vsize: 252296 [startup+980.005 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 21699 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1389609 0 0 0 94529 3483 0 0 25 0 1 0 843814867 259862528 61052 4294967295 134512640 134716908 3221224576 3221222912 1074153672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 63443 61052 1111 63 0 63380 0 vsize: 253772 [startup+990.005 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 21699 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1408842 0 0 0 95481 3531 0 0 25 0 1 0 843814867 262361088 61616 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 64053 61616 1111 63 0 63990 0 vsize: 256212 [startup+1000.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 21699 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1428435 0 0 0 96435 3577 0 0 25 0 1 0 843814867 264704000 62212 4294967295 134512640 134716908 3221224576 3221223216 134535032 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 64625 62212 1111 63 0 64562 0 vsize: 258500 [startup+1010.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 21699 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1450527 0 0 0 97384 3628 0 0 25 0 1 0 843814867 266358784 62574 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 65029 62574 1111 63 0 64966 0 vsize: 260116 [startup+1020 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 21699 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1470326 0 0 0 98337 3676 0 0 25 0 1 0 843814867 267960320 62942 4294967295 134512640 134716908 3221224576 3221223104 134543030 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 65420 62942 1111 63 0 65357 0 vsize: 261680 [startup+1030 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 21699 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1487814 0 0 0 99296 3717 0 0 25 0 1 0 843814867 271380480 63592 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 66255 63592 1111 63 0 66192 0 vsize: 265020 [startup+1040 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 21699 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1505996 0 0 0 100255 3758 0 0 25 0 1 0 843814867 272662528 64171 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 66568 64171 1111 63 0 66505 0 vsize: 266272 [startup+1050.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 21699 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1519795 0 0 0 101222 3792 0 0 25 0 1 0 843814867 274518016 64588 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 67191 64592 1111 63 0 67128 0 vsize: 268084 [startup+1060.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 21699 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1537878 0 0 0 102180 3833 0 0 25 0 1 0 843814867 277385216 65145 4294967295 134512640 134716908 3221224576 3221220672 1074879331 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 67494 65129 1111 63 0 67431 0 vsize: 270884 [startup+1070.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 21701 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1556243 0 0 0 103138 3875 0 0 25 0 1 0 843814867 278532096 65673 4294967295 134512640 134716908 3221224576 3221222960 1074153812 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 68001 65673 1111 63 0 67938 0 vsize: 272004 [startup+1080.01 s] Raw data (loadavg): 1.00 1.00 0.92 4/55 21701 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1574654 0 0 0 104094 3920 0 0 25 0 1 0 843814867 280760320 66239 4294967295 134512640 134716908 3221224576 3221222908 1074152839 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 68545 66239 1111 63 0 68482 0 vsize: 274180 [startup+1090.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 21701 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1592873 0 0 0 105050 3964 0 0 25 0 1 0 843814867 283160576 66872 4294967295 134512640 134716908 3221224576 3221222540 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 69131 66872 1111 63 0 69068 0 vsize: 276524 [startup+1100.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 21701 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1606804 0 0 0 106018 3996 0 0 25 0 1 0 843814867 285569024 67451 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 69719 67451 1111 63 0 69656 0 vsize: 278876 [startup+1110.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 21701 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1608579 0 0 0 107014 4000 0 0 25 0 1 0 843814867 285511680 67457 4294967295 134512640 134716908 3221224576 3221223380 134622283 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 69705 67457 1111 63 0 69642 0 vsize: 278820 [startup+1120.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 21701 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1608579 0 0 0 108014 4000 0 0 25 0 1 0 843814867 285511680 67457 4294967295 134512640 134716908 3221224576 3221223288 134543191 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 69705 67457 1111 63 0 69642 0 vsize: 278820 [startup+1130.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 21701 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1608605 0 0 0 109014 4000 0 0 25 0 1 0 843814867 284950528 67320 4294967295 134512640 134716908 3221224576 3221222476 1074207648 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 69568 67320 1111 63 0 69505 0 vsize: 278272 [startup+1140.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 21701 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1626915 0 0 0 109972 4043 0 0 25 0 1 0 843814867 287248384 67884 4294967295 134512640 134716908 3221224576 3221222976 1074153812 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 70129 67884 1111 63 0 70066 0 vsize: 280516 [startup+1150.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 21701 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1649482 0 0 0 110925 4091 0 0 25 0 1 0 843814867 311328768 70247 4294967295 134512640 134716908 3221224576 3221221696 1074836214 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 75781 70241 1111 63 0 75718 0 vsize: 304032 [startup+1160.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 21701 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1663214 0 0 0 111892 4123 0 0 25 0 1 0 843814867 312414208 70519 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 76273 70520 1111 63 0 76210 0 vsize: 305092 [startup+1170.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 21701 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1681437 0 0 0 112849 4166 0 0 25 0 1 0 843814867 313933824 70987 4294967295 134512640 134716908 3221224576 3221221468 1077387418 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 76757 70990 1111 63 0 76694 0 vsize: 306576 [startup+1175 s] Raw data (loadavg): 1.00 1.00 0.92 1/54 21701 Raw data (stat): 21642 (bsolo_lpr-v2) R 21641 8378 8377 0 -1 0 1681437 0 0 0 112849 4166 0 0 25 0 1 0 843814867 313933824 70987 4294967295 134512640 134716908 3221224576 3221221468 1077387418 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 76757 70990 1111 63 0 76694 0 vsize: 0 Child status: 0 Real time (s): 1175 CPU time (s): 1175.15 CPU user time (s): 1133.14 CPU system time (s): 42.0066 CPU usage (%): 100.013 Max. virtual memory (Kb): 306576 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####