Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp97ic.opb |
MD5SUM | e8862b41c9b4f49ec8d11d1df0495e74 |
Bench Category | optimization, big integers (OPTBIGINT) |
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 | 12497 |
Biggest coefficient in the objective function | 1010107916 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 3093137085579 |
Number of bits of the sum of numbers in the objective function | 42 |
Biggest number in a constraint | 1010107916 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 3093137085579 |
Number of bits of the biggest sum of numbers | 42 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 11.8052 |
Number of variables | 12497 |
Total number of constraints | 13530 |
Number of constraints which are clauses | 41 |
Number of constraints which are cardinality constraints (but not clauses) | 13312 |
Number of constraints which are nor clauses,nor cardinality constraints | 177 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 6739 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-06-08 13:50:58 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28602 boxname=wulflinc4 idbench=1558 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: e8862b41c9b4f49ec8d11d1df0495e74 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-sp97ic.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-sp97ic.opb IDLAUNCH: 28602 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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: 881884 kB Buffers: 7660 kB Cached: 118988 kB SwapCached: 5204 kB Active: 26388 kB Inactive: 106624 kB HighTotal: 131008 kB HighFree: 76496 kB LowTotal: 903652 kB LowFree: 805388 kB SwapTotal: 2097136 kB SwapFree: 2090904 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4904 kB Slab: 13876 kB Committed_AS: 71796 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 14:11:00 (client local time) WITH STATUS 0 IN 1200.32 SECONDS stats: 28602 7 1200.32 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 12497 variables and 1033 constraints. c After prepocess the problem consists of 12497 variables and 1018 constraints. c preprocess terminated 510.8 s c Initial Lower Bound: -2147483648 c Lower Bound Elapsed time: 10.6417 c Not use computed LB before first solution. c NEW SOLUTION FOUND: -1740099292 @ 550.415 c NEW SOLUTION FOUND: -2147483648 @ 550.537 #### 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.92 0.95 0.90 2/54 707 Raw data (stat): 707 (runsolver) R 706 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902121095 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+10.0011 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 24296 0 0 0 944 53 0 0 25 0 1 0 902121095 112394240 24216 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27440 24216 1111 63 0 27377 0 vsize: 109760 [startup+20.0019 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 46500 0 0 0 1904 93 0 0 25 0 1 0 902121095 203440128 46420 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 49668 46420 1111 63 0 49605 0 vsize: 198672 [startup+30.0018 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 69166 0 0 0 2868 129 0 0 25 0 1 0 902121095 296304640 69086 4294967295 134512640 134716908 3221224576 3221223232 134527928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 72340 69086 1111 63 0 72277 0 vsize: 289360 [startup+40.0027 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 76992 0 0 0 3854 143 0 0 25 0 1 0 902121095 328282112 76912 4294967295 134512640 134716908 3221224576 3221222852 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 80147 76912 1111 63 0 80084 0 vsize: 320588 [startup+50.0028 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 77481 0 0 0 4852 145 0 0 25 0 1 0 902121095 330489856 77398 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 80686 77398 1111 63 0 80623 0 vsize: 322744 [startup+60.0034 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 78108 0 0 0 5849 147 0 0 25 0 1 0 902121095 333123584 78024 4294967295 134512640 134716908 3221224576 3221222852 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 81329 78024 1111 63 0 81266 0 vsize: 325316 [startup+70.0032 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 78762 0 0 0 6847 148 0 0 25 0 1 0 902121095 335863808 78677 4294967295 134512640 134716908 3221224576 3221222864 134566785 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81998 78677 1111 63 0 81935 0 vsize: 327992 [startup+80.0031 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 79523 0 0 0 7845 151 0 0 25 0 1 0 902121095 339156992 79437 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 82802 79437 1111 63 0 82739 0 vsize: 331208 [startup+90.0029 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 80324 0 0 0 8843 152 0 0 25 0 1 0 902121095 342450176 80237 4294967295 134512640 134716908 3221224576 3221222852 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 83606 80237 1111 63 0 83543 0 vsize: 334424 [startup+100.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 81065 0 0 0 9841 155 0 0 25 0 1 0 902121095 345616384 80976 4294967295 134512640 134716908 3221224576 3221222852 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 84379 80976 1111 63 0 84316 0 vsize: 337516 [startup+110.004 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 81829 0 0 0 10839 157 0 0 25 0 1 0 902121095 348786688 81737 4294967295 134512640 134716908 3221224576 3221223240 134568955 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 85153 81737 1111 63 0 85090 0 vsize: 340612 [startup+120.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 83354 0 0 0 11836 160 0 0 25 0 1 0 902121095 345366528 83193 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 84318 83193 1111 63 0 84255 0 vsize: 337272 [startup+130.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 83444 0 0 0 12836 160 0 0 25 0 1 0 902121095 345772032 83283 4294967295 134512640 134716908 3221224576 3221223056 134543008 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 84417 83283 1111 63 0 84354 0 vsize: 337668 [startup+140.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 83514 0 0 0 13836 161 0 0 25 0 1 0 902121095 346046464 83353 4294967295 134512640 134716908 3221224576 3221223056 134543110 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 84484 83353 1111 63 0 84421 0 vsize: 337936 [startup+150.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 83550 0 0 0 14836 161 0 0 25 0 1 0 902121095 346181632 83389 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 84517 83389 1111 63 0 84454 0 vsize: 338068 [startup+160.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 83602 0 0 0 15836 161 0 0 25 0 1 0 902121095 346451968 83441 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 84583 83441 1111 63 0 84520 0 vsize: 338332 [startup+170.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 83709 0 0 0 16835 161 0 0 25 0 1 0 902121095 346857472 83548 4294967295 134512640 134716908 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 84682 83548 1111 63 0 84619 0 vsize: 338728 [startup+180.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 83764 0 0 0 17835 161 0 0 25 0 1 0 902121095 347127808 83603 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 84748 83603 1111 63 0 84685 0 vsize: 338992 [startup+190.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 83813 0 0 0 18836 162 0 0 25 0 1 0 902121095 347262976 83652 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 84781 83652 1111 63 0 84718 0 vsize: 339124 [startup+200.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 83885 0 0 0 19836 162 0 0 25 0 1 0 902121095 347668480 83724 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 84880 83724 1111 63 0 84817 0 vsize: 339520 [startup+210.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 83955 0 0 0 20835 162 0 0 25 0 1 0 902121095 347938816 83794 4294967295 134512640 134716908 3221224576 3221223056 134543043 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 84946 83794 1111 63 0 84883 0 vsize: 339784 [startup+220.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84018 0 0 0 21835 162 0 0 25 0 1 0 902121095 348209152 83857 4294967295 134512640 134716908 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 85012 83857 1111 63 0 84949 0 vsize: 340048 [startup+230.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84088 0 0 0 22835 162 0 0 25 0 1 0 902121095 348479488 83927 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 85078 83927 1111 63 0 85015 0 vsize: 340312 [startup+240.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84151 0 0 0 23835 163 0 0 25 0 1 0 902121095 348749824 83990 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 85144 83990 1111 63 0 85081 0 vsize: 340576 [startup+250.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84193 0 0 0 24835 163 0 0 25 0 1 0 902121095 348884992 84032 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 85177 84032 1111 63 0 85114 0 vsize: 340708 [startup+260.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84218 0 0 0 25836 163 0 0 25 0 1 0 902121095 349020160 84057 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 85210 84057 1111 63 0 85147 0 vsize: 340840 [startup+270.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84245 0 0 0 26836 163 0 0 25 0 1 0 902121095 349020160 84084 4294967295 134512640 134716908 3221224576 3221223020 134535895 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 85210 84084 1111 63 0 85147 0 vsize: 340840 [startup+280.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84282 0 0 0 27836 163 0 0 25 0 1 0 902121095 349290496 84121 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 85276 84121 1111 63 0 85213 0 vsize: 341104 [startup+290.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84347 0 0 0 28836 163 0 0 25 0 1 0 902121095 349560832 84186 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 85342 84186 1111 63 0 85279 0 vsize: 341368 [startup+300.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84394 0 0 0 29836 163 0 0 25 0 1 0 902121095 349696000 84233 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 85375 84233 1111 63 0 85312 0 vsize: 341500 [startup+310.007 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84438 0 0 0 30836 163 0 0 25 0 1 0 902121095 349831168 84277 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 85408 84277 1111 63 0 85345 0 vsize: 341632 [startup+320.007 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84528 0 0 0 31836 164 0 0 25 0 1 0 902121095 350236672 84367 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 85507 84367 1111 63 0 85444 0 vsize: 342028 [startup+330.007 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84595 0 0 0 32835 164 0 0 25 0 1 0 902121095 350507008 84434 4294967295 134512640 134716908 3221224576 3221223024 134535881 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 85573 84434 1111 63 0 85510 0 vsize: 342292 [startup+340.006 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84668 0 0 0 33835 165 0 0 25 0 1 0 902121095 350777344 84507 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 85639 84507 1111 63 0 85576 0 vsize: 342556 [startup+350.007 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84715 0 0 0 34835 165 0 0 25 0 1 0 902121095 351047680 84554 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 85705 84554 1111 63 0 85642 0 vsize: 342820 [startup+360.007 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84745 0 0 0 35835 165 0 0 25 0 1 0 902121095 351047680 84584 4294967295 134512640 134716908 3221224576 3221223020 134535928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 85705 84584 1111 63 0 85642 0 vsize: 342820 [startup+370.007 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84816 0 0 0 36835 165 0 0 25 0 1 0 902121095 351318016 84655 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 85771 84655 1111 63 0 85708 0 vsize: 343084 [startup+380.007 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84866 0 0 0 37835 165 0 0 25 0 1 0 902121095 351588352 84705 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 85837 84705 1111 63 0 85774 0 vsize: 343348 [startup+390.007 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84900 0 0 0 38835 165 0 0 25 0 1 0 902121095 351723520 84739 4294967295 134512640 134716908 3221224576 3221223020 134536828 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 85870 84739 1111 63 0 85807 0 vsize: 343480 [startup+400.007 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84980 0 0 0 39835 166 0 0 25 0 1 0 902121095 351993856 84819 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 85936 84819 1111 63 0 85873 0 vsize: 343744 [startup+410.007 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 85019 0 0 0 40835 166 0 0 25 0 1 0 902121095 352129024 84858 4294967295 134512640 134716908 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 85969 84858 1111 63 0 85906 0 vsize: 343876 [startup+420.006 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 85059 0 0 0 41835 166 0 0 25 0 1 0 902121095 352264192 84898 4294967295 134512640 134716908 3221224576 3221223020 134535895 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 86002 84898 1111 63 0 85939 0 vsize: 344008 [startup+430.006 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 85111 0 0 0 42835 166 0 0 25 0 1 0 902121095 352534528 84950 4294967295 134512640 134716908 3221224576 3221223436 134558476 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 86068 84950 1111 63 0 86005 0 vsize: 344272 [startup+440.006 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 85192 0 0 0 43835 167 0 0 25 0 1 0 902121095 352804864 85031 4294967295 134512640 134716908 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 86134 85031 1111 63 0 86071 0 vsize: 344536 [startup+450.006 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 85257 0 0 0 44835 167 0 0 25 0 1 0 902121095 353075200 85096 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 86200 85096 1111 63 0 86137 0 vsize: 344800 [startup+460.006 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 85311 0 0 0 45835 167 0 0 25 0 1 0 902121095 353349632 85150 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 86267 85150 1111 63 0 86204 0 vsize: 345068 [startup+470.007 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 85316 0 0 0 46835 167 0 0 25 0 1 0 902121095 353349632 85155 4294967295 134512640 134716908 3221224576 3221223248 134627233 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 86267 85155 1111 63 0 86204 0 vsize: 345068 [startup+480.006 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 85320 0 0 0 47835 167 0 0 25 0 1 0 902121095 353349632 85159 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 86267 85159 1111 63 0 86204 0 vsize: 345068 [startup+490.006 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 85325 0 0 0 48835 167 0 0 25 0 1 0 902121095 353349632 85164 4294967295 134512640 134716908 3221224576 3221223220 134630899 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 86267 85164 1111 63 0 86204 0 vsize: 345068 [startup+500.006 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 85329 0 0 0 49835 167 0 0 25 0 1 0 902121095 353349632 85168 4294967295 134512640 134716908 3221224576 3221223220 134630899 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 86267 85168 1111 63 0 86204 0 vsize: 345068 [startup+510.006 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 85335 0 0 0 50835 168 0 0 25 0 1 0 902121095 353349632 85174 4294967295 134512640 134716908 3221224576 3221223384 134536904 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 86267 85174 1111 63 0 86204 0 vsize: 345068 [startup+520.006 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 86676 0 0 0 51830 172 0 0 25 0 1 0 902121095 358903808 86501 4294967295 134512640 134716908 3221224576 3221222592 1074153786 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 87623 86501 1111 63 0 87560 0 vsize: 350492 [startup+530.006 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 92026 0 0 0 52818 184 0 0 25 0 1 0 902121095 368709632 88854 4294967295 134512640 134716908 3221224576 3221220700 1076111356 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 90017 88854 1111 63 0 89954 0 vsize: 360068 [startup+540.007 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 707 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 104785 0 0 0 53792 210 0 0 25 0 1 0 902121095 361504768 87017 4294967295 134512640 134716908 3221224576 3221222264 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 88258 87022 1111 63 0 88195 0 vsize: 353032 [startup+550.007 s] Raw data (loadavg): 1.08 1.00 0.92 2/54 760 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 113499 0 0 0 54771 231 0 0 25 0 1 0 902121095 360165376 86959 4294967295 134512640 134716908 3221224576 3221223376 134597692 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87931 86959 1111 63 0 87868 0 vsize: 351724 [startup+560.008 s] Raw data (loadavg): 1.07 1.00 0.92 2/54 760 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 142812 0 0 0 55710 292 0 0 25 0 1 0 902121095 356413440 86046 4294967295 134512640 134716908 3221224576 3221222864 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87015 86046 1111 63 0 86952 0 vsize: 348060 [startup+570.008 s] Raw data (loadavg): 1.06 1.00 0.92 2/54 760 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 163570 0 0 0 56668 334 0 0 25 0 1 0 902121095 357601280 86185 4294967295 134512640 134716908 3221224576 3221222400 1075824347 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87305 86185 1111 63 0 87242 0 vsize: 349220 [startup+580.008 s] Raw data (loadavg): 1.05 1.00 0.92 2/54 760 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 179285 0 0 0 57637 365 0 0 25 0 1 0 902121095 356536320 86076 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87045 86076 1111 63 0 86982 0 vsize: 348180 [startup+590.009 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 760 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 193084 0 0 0 58608 394 0 0 25 0 1 0 902121095 356782080 86119 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87105 86119 1111 63 0 87042 0 vsize: 348420 [startup+600.009 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 760 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 205623 0 0 0 59582 421 0 0 25 0 1 0 902121095 356536320 86076 4294967295 134512640 134716908 3221224576 3221222688 1074153736 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87045 86076 1111 63 0 86982 0 vsize: 348180 [startup+610.01 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 760 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 216150 0 0 0 60559 444 0 0 25 0 1 0 902121095 356782080 86136 4294967295 134512640 134716908 3221224576 3221222688 1074153749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87105 86136 1111 63 0 87042 0 vsize: 348420 [startup+620.01 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 760 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 224269 0 0 0 61543 460 0 0 25 0 1 0 902121095 356782080 86136 4294967295 134512640 134716908 3221224576 3221222632 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87105 86136 1111 63 0 87042 0 vsize: 348420 [startup+630.01 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 762 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 231831 0 0 0 62526 477 0 0 25 0 1 0 902121095 357146624 86212 4294967295 134512640 134716908 3221224576 3221222928 1074115331 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87237 86216 1111 63 0 87174 0 vsize: 348776 [startup+640.01 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 762 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 239004 0 0 0 63510 494 0 0 25 0 1 0 902121095 356909056 86167 4294967295 134512640 134716908 3221224576 3221222992 1074117036 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87136 86167 1111 63 0 87073 0 vsize: 348544 [startup+650.011 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 762 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 245597 0 0 0 64496 507 0 0 25 0 1 0 902121095 356970496 86182 4294967295 134512640 134716908 3221224576 3221222320 1075646793 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87151 86182 1111 63 0 87088 0 vsize: 348604 [startup+660.011 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 762 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 252304 0 0 0 65484 520 0 0 25 0 1 0 902121095 357863424 86286 4294967295 134512640 134716908 3221224576 3221221864 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87369 86286 1111 63 0 87306 0 vsize: 349476 [startup+670.011 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 762 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 258666 0 0 0 66472 532 0 0 25 0 1 0 902121095 357490688 86295 4294967295 134512640 134716908 3221224576 3221222976 1074118790 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87278 86295 1111 63 0 87215 0 vsize: 349112 [startup+680.011 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 762 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 264176 0 0 0 67460 544 0 0 25 0 1 0 902121095 357031936 86197 4294967295 134512640 134716908 3221224576 3221222776 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87166 86197 1111 63 0 87103 0 vsize: 348664 [startup+690.012 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 762 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 268528 0 0 0 68450 554 0 0 25 0 1 0 902121095 357036032 86198 4294967295 134512640 134716908 3221224576 3221222576 1074913812 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87167 86198 1111 63 0 87104 0 vsize: 348668 [startup+700.012 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 762 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 273019 0 0 0 69441 564 0 0 25 0 1 0 902121095 357158912 86228 4294967295 134512640 134716908 3221224576 3221222320 1075646941 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87197 86228 1111 63 0 87134 0 vsize: 348788 [startup+710.013 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 762 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 277202 0 0 0 70431 574 0 0 25 0 1 0 902121095 357036032 86198 4294967295 134512640 134716908 3221224576 3221222736 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87167 86198 1111 63 0 87104 0 vsize: 348668 [startup+720.013 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 762 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 281563 0 0 0 71423 582 0 0 25 0 1 0 902121095 357036032 86198 4294967295 134512640 134716908 3221224576 3221222864 1074153806 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87167 86198 1111 63 0 87104 0 vsize: 348668 [startup+730.013 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 762 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 285835 0 0 0 72413 592 0 0 25 0 1 0 902121095 357036032 86198 4294967295 134512640 134716908 3221224576 3221222736 1074153749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87167 86198 1111 63 0 87104 0 vsize: 348668 [startup+740.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 762 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 289786 0 0 0 73404 601 0 0 25 0 1 0 902121095 357036032 86198 4294967295 134512640 134716908 3221224576 3221222736 1074153673 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87167 86198 1111 63 0 87104 0 vsize: 348668 [startup+750.015 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 762 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 293609 0 0 0 74396 610 0 0 25 0 1 0 902121095 357031936 86197 4294967295 134512640 134716908 3221224576 3221222268 1077411564 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87166 86197 1111 63 0 87103 0 vsize: 348664 [startup+760.016 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 762 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 297318 0 0 0 75388 618 0 0 25 0 1 0 902121095 357036032 86198 4294967295 134512640 134716908 3221224576 3221222832 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87167 86198 1111 63 0 87104 0 vsize: 348668 [startup+770.016 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 762 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 301299 0 0 0 76380 626 0 0 25 0 1 0 902121095 357036032 86198 4294967295 134512640 134716908 3221224576 3221222744 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87167 86198 1111 63 0 87104 0 vsize: 348668 [startup+780.016 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 762 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 305336 0 0 0 77372 634 0 0 25 0 1 0 902121095 357031936 86197 4294967295 134512640 134716908 3221224576 3221222688 1074153767 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87166 86197 1111 63 0 87103 0 vsize: 348664 [startup+790.017 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 762 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 309067 0 0 0 78365 641 0 0 25 0 1 0 902121095 357036032 86198 4294967295 134512640 134716908 3221224576 3221222688 1074153812 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87167 86198 1111 63 0 87104 0 vsize: 348668 [startup+800.017 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 762 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 312857 0 0 0 79357 649 0 0 25 0 1 0 902121095 358141952 86283 4294967295 134512640 134716908 3221224576 3221222304 1075829548 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87437 86283 1111 63 0 87374 0 vsize: 349748 [startup+810.018 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 762 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 316728 0 0 0 80349 657 0 0 25 0 1 0 902121095 357036032 86198 4294967295 134512640 134716908 3221224576 3221222680 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87167 86198 1111 63 0 87104 0 vsize: 348668 [startup+820.019 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 762 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 320591 0 0 0 81340 667 0 0 25 0 1 0 902121095 357224448 86244 4294967295 134512640 134716908 3221224576 3221222320 1075646862 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87213 86244 1111 63 0 87150 0 vsize: 348852 [startup+830.019 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 762 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 324526 0 0 0 82331 677 0 0 25 0 1 0 902121095 357031936 86197 4294967295 134512640 134716908 3221224576 3221222688 1074153669 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87166 86197 1111 63 0 87103 0 vsize: 348664 [startup+840.019 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 762 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 328463 0 0 0 83322 686 0 0 25 0 1 0 902121095 357031936 86197 4294967295 134512640 134716908 3221224576 3221223072 134652402 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87166 86197 1111 63 0 87103 0 vsize: 348664 [startup+850.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 762 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 331979 0 0 0 84315 693 0 0 25 0 1 0 902121095 357347328 86260 4294967295 134512640 134716908 3221224576 3221222856 1074138265 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87243 86260 1111 63 0 87180 0 vsize: 348972 [startup+860.021 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 762 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 335540 0 0 0 85308 701 0 0 25 0 1 0 902121095 357036032 86198 4294967295 134512640 134716908 3221224576 3221222560 1074056255 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87167 86198 1111 63 0 87104 0 vsize: 348668 [startup+870.021 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 762 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 339053 0 0 0 86300 708 0 0 25 0 1 0 902121095 358141952 86302 4294967295 134512640 134716908 3221224576 3221222304 1075829506 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87437 86302 1111 63 0 87374 0 vsize: 349748 [startup+880.021 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 762 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 342529 0 0 0 87293 716 0 0 25 0 1 0 902121095 357031936 86197 4294967295 134512640 134716908 3221224576 3221222776 1074138153 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87166 86197 1111 63 0 87103 0 vsize: 348664 [startup+890.022 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 764 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 346005 0 0 0 88285 724 0 0 25 0 1 0 902121095 357031936 86197 4294967295 134512640 134716908 3221224576 3221222776 1074138158 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87166 86197 1111 63 0 87103 0 vsize: 348664 [startup+900.023 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 764 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 349548 0 0 0 89276 733 0 0 25 0 1 0 902121095 357031936 86197 4294967295 134512640 134716908 3221224576 3221222928 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87166 86197 1111 63 0 87103 0 vsize: 348664 [startup+910.024 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 764 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 352939 0 0 0 90270 739 0 0 25 0 1 0 902121095 358207488 86301 4294967295 134512640 134716908 3221224576 3221222640 1075961651 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87453 86301 1111 63 0 87390 0 vsize: 349812 [startup+920.024 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 764 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 356620 0 0 0 91262 748 0 0 25 0 1 0 902121095 357036032 86198 4294967295 134512640 134716908 3221224576 3221222832 1074153753 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87167 86198 1111 63 0 87104 0 vsize: 348668 [startup+930.024 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 764 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 360404 0 0 0 92252 758 0 0 25 0 1 0 902121095 357031936 86197 4294967295 134512640 134716908 3221224576 3221222688 1074153794 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87166 86197 1111 63 0 87103 0 vsize: 348664 [startup+940.025 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 764 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 363760 0 0 0 93245 764 0 0 25 0 1 0 902121095 357036032 86198 4294967295 134512640 134716908 3221224576 3221222776 1074138162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87167 86198 1111 63 0 87104 0 vsize: 348668 [startup+950.025 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 764 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 367147 0 0 0 94238 772 0 0 25 0 1 0 902121095 358211584 86301 4294967295 134512640 134716908 3221224576 3221222304 1075829526 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87454 86301 1111 63 0 87391 0 vsize: 349816 [startup+960.026 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 764 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 370647 0 0 0 95230 781 0 0 25 0 1 0 902121095 357031936 86197 4294967295 134512640 134716908 3221224576 3221222744 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87166 86197 1111 63 0 87103 0 vsize: 348664 [startup+970.026 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 764 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 373878 0 0 0 96223 788 0 0 25 0 1 0 902121095 357031936 86197 4294967295 134512640 134716908 3221224576 3221222632 1074138144 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87166 86197 1111 63 0 87103 0 vsize: 348664 [startup+980.025 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 764 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 377127 0 0 0 97215 795 0 0 25 0 1 0 902121095 357031936 86197 4294967295 134512640 134716908 3221224576 3221222928 1074153749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87166 86197 1111 63 0 87103 0 vsize: 348664 [startup+990.026 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 764 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 380272 0 0 0 98208 803 0 0 25 0 1 0 902121095 357363712 86275 4294967295 134512640 134716908 3221224576 3221222976 1074118797 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87247 86275 1111 63 0 87184 0 vsize: 348988 [startup+1000.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 764 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 383414 0 0 0 99201 809 0 0 25 0 1 0 902121095 357478400 86274 4294967295 134512640 134716908 3221224576 3221222992 1074116666 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87275 86274 1111 63 0 87212 0 vsize: 349100 [startup+1010.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 764 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 386913 0 0 0 100194 817 0 0 25 0 1 0 902121095 357163008 86229 4294967295 134512640 134716908 3221224576 3221222832 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87198 86229 1111 63 0 87135 0 vsize: 348792 [startup+1020.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 764 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 390599 0 0 0 101186 826 0 0 25 0 1 0 902121095 357158912 86228 4294967295 134512640 134716908 3221224576 3221222688 1074153815 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87197 86228 1111 63 0 87134 0 vsize: 348788 [startup+1030.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 764 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 393705 0 0 0 102179 832 0 0 25 0 1 0 902121095 357527552 86318 4294967295 134512640 134716908 3221224576 3221222688 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87287 86318 1111 63 0 87224 0 vsize: 349148 [startup+1040.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 764 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 396404 0 0 0 103174 838 0 0 25 0 1 0 902121095 357752832 86373 4294967295 134512640 134716908 3221224576 3221222304 1075635959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87342 86373 1111 63 0 87279 0 vsize: 349368 [startup+1050.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 764 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 398976 0 0 0 104168 844 0 0 25 0 1 0 902121095 357523456 86317 4294967295 134512640 134716908 3221224576 3221222796 1074206256 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87286 86317 1111 63 0 87223 0 vsize: 349144 [startup+1060.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 764 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 401342 0 0 0 105162 850 0 0 25 0 1 0 902121095 357527552 86318 4294967295 134512640 134716908 3221224576 3221222912 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87287 86318 1111 63 0 87224 0 vsize: 349148 [startup+1070.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 764 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 404609 0 0 0 106155 858 0 0 25 0 1 0 902121095 357859328 86399 4294967295 134512640 134716908 3221224576 3221222744 1074138153 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87368 86399 1111 63 0 87305 0 vsize: 349472 [startup+1080.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 764 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 408287 0 0 0 107146 866 0 0 25 0 1 0 902121095 358088704 86455 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87424 86455 1111 63 0 87361 0 vsize: 349696 [startup+1090.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 764 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 410898 0 0 0 108140 872 0 0 25 0 1 0 902121095 358146048 86469 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87438 86469 1111 63 0 87375 0 vsize: 349752 [startup+1100.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 764 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 416441 0 0 0 109128 885 0 0 25 0 1 0 902121095 357736448 86369 4294967295 134512640 134716908 3221224576 3221206512 134652402 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87341 86370 1111 63 0 87278 0 vsize: 349352 [startup+1110.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 764 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 420043 0 0 0 110119 894 0 0 25 0 1 0 902121095 358653952 86593 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87562 86593 1111 63 0 87499 0 vsize: 350248 [startup+1120.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 764 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 423552 0 0 0 111112 902 0 0 25 0 1 0 902121095 358715392 86608 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87577 86608 1111 63 0 87514 0 vsize: 350308 [startup+1130.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 764 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 427204 0 0 0 112104 910 0 0 25 0 1 0 902121095 358965248 86669 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87638 86669 1111 63 0 87575 0 vsize: 350552 [startup+1140.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 764 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 431459 0 0 0 113095 919 0 0 25 0 1 0 902121095 359010304 86680 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87649 86680 1111 63 0 87586 0 vsize: 350596 [startup+1150.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 764 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 433768 0 0 0 114091 923 0 0 25 0 1 0 902121095 363511808 87613 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 88748 87613 1111 63 0 88685 0 vsize: 354992 [startup+1160.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 764 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 435929 0 0 0 115085 929 0 0 25 0 1 0 902121095 359186432 86723 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87692 86723 1111 63 0 87629 0 vsize: 350768 [startup+1170.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 764 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 440484 0 0 0 116075 940 0 0 25 0 1 0 902121095 359145472 86713 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87682 86713 1111 63 0 87619 0 vsize: 350728 [startup+1180.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 764 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 445109 0 0 0 117065 950 0 0 25 0 1 0 902121095 359305216 86752 4294967295 134512640 134716908 3221224576 3221222928 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87721 86752 1111 63 0 87658 0 vsize: 350884 [startup+1190.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 764 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 447769 0 0 0 118059 956 0 0 25 0 1 0 902121095 364322816 87816 4294967295 134512640 134716908 3221224576 3221220572 1074860959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 88946 87816 1111 63 0 88883 0 vsize: 355784 [startup+1200.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 764 Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 450282 0 0 0 119052 963 0 0 25 0 1 0 902121095 359464960 86791 4294967295 134512640 134716908 3221224576 3221222688 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 87760 86791 1111 63 0 87697 0 vsize: 351040 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.2 s] Raw data (loadavg): 1.00 1.00 0.92 1/54 764 Raw data (stat): 707 (bsolo_lpr-v2) Z 706 21152 21151 0 -1 1036 450282 0 0 0 119052 979 0 0 25 0 1 0 902121095 0 0 4294967295 0 0 0 0 0 0 0 7 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.2 CPU time (s): 1200.32 CPU user time (s): 1190.53 CPU system time (s): 9.79251 CPU usage (%): 100.01 Max. virtual memory (Kb): 360068 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####