Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d2q06c.opb |
MD5SUM | 91ef78d459f6272891a68c3f1abe1bde |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
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 | 89670 |
Biggest coefficient in the objective function | 36281708852543488 |
Number of bits for the biggest coefficient in the objective function | 56 |
Sum of the numbers in the objective function | -1012211575040220109 |
Number of bits of the sum of numbers in the objective function | 64 |
Biggest number in a constraint | 1246989811751845888 |
Number of bits of the biggest number in a constraint | 61 |
Biggest sum of numbers in a constraint | -1012211575040220109 |
Number of bits of the biggest sum of numbers | 64 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.42378 |
Number of variables | 155010 |
Total number of constraints | 2171 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2171 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 3270 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc3 THE 2005-06-09 03:44:45 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29037 boxname=wulflinc3 idbench=821 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 91ef78d459f6272891a68c3f1abe1bde /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-d2q06c.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-d2q06c.opb IDLAUNCH: 29037 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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.190 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: 802108 kB Buffers: 27948 kB Cached: 181012 kB SwapCached: 3472 kB Active: 59292 kB Inactive: 154452 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 801856 kB SwapTotal: 2097136 kB SwapFree: 2092672 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5020 kB Slab: 13016 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 04:04:48 (client local time) WITH STATUS 0 IN 1200.28 SECONDS stats: 29037 7 1200.28 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. #### 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.90 0.88 1/54 3575 Raw data (stat): 3575 (runsolver) R 3574 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907125435 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.0008 s] Raw data (loadavg): 0.93 0.90 0.88 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 1153 0 0 0 993 4 0 0 25 0 1 0 907125435 15511552 1073 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3787 1073 1111 63 0 3724 0 vsize: 15148 [startup+20.002 s] Raw data (loadavg): 0.94 0.90 0.88 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 1264 0 0 0 1993 4 0 0 25 0 1 0 907125435 15945728 1184 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3893 1184 1111 63 0 3830 0 vsize: 15572 [startup+30.0018 s] Raw data (loadavg): 0.95 0.91 0.88 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 1373 0 0 0 2992 5 0 0 25 0 1 0 907125435 16388096 1293 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4001 1293 1111 63 0 3938 0 vsize: 16004 [startup+40.0023 s] Raw data (loadavg): 0.96 0.91 0.88 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 1477 0 0 0 3991 6 0 0 25 0 1 0 907125435 16838656 1397 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4111 1397 1111 63 0 4048 0 vsize: 16444 [startup+50.0035 s] Raw data (loadavg): 0.96 0.91 0.89 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 1589 0 0 0 4991 7 0 0 25 0 1 0 907125435 17272832 1509 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4217 1509 1111 63 0 4154 0 vsize: 16868 [startup+60.0044 s] Raw data (loadavg): 0.97 0.91 0.89 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 1700 0 0 0 5991 7 0 0 25 0 1 0 907125435 17702912 1620 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4322 1620 1111 63 0 4259 0 vsize: 17288 [startup+70.0048 s] Raw data (loadavg): 0.97 0.92 0.89 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 1803 0 0 0 6990 8 0 0 25 0 1 0 907125435 18145280 1723 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4430 1723 1111 63 0 4367 0 vsize: 17720 [startup+80.0051 s] Raw data (loadavg): 0.98 0.92 0.89 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 1914 0 0 0 7990 8 0 0 25 0 1 0 907125435 18591744 1834 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4539 1834 1111 63 0 4476 0 vsize: 18156 [startup+90.0059 s] Raw data (loadavg): 0.98 0.92 0.89 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 2023 0 0 0 8990 8 0 0 25 0 1 0 907125435 19046400 1943 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4650 1943 1111 63 0 4587 0 vsize: 18600 [startup+100.005 s] Raw data (loadavg): 0.98 0.92 0.89 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 2132 0 0 0 9989 9 0 0 25 0 1 0 907125435 19488768 2052 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4758 2052 1111 63 0 4695 0 vsize: 19032 [startup+110.007 s] Raw data (loadavg): 0.98 0.92 0.89 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 2205 0 0 0 10989 9 0 0 25 0 1 0 907125435 19795968 2125 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4833 2125 1111 63 0 4770 0 vsize: 19332 [startup+120.007 s] Raw data (loadavg): 0.99 0.93 0.89 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 2271 0 0 0 11989 10 0 0 25 0 1 0 907125435 20094976 2191 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4906 2191 1111 63 0 4843 0 vsize: 19624 [startup+130.007 s] Raw data (loadavg): 0.99 0.93 0.89 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 2352 0 0 0 12989 10 0 0 25 0 1 0 907125435 20393984 2272 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4979 2272 1111 63 0 4916 0 vsize: 19916 [startup+140.007 s] Raw data (loadavg): 0.99 0.93 0.89 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 2440 0 0 0 13989 10 0 0 25 0 1 0 907125435 20844544 2360 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5089 2360 1111 63 0 5026 0 vsize: 20356 [startup+150.008 s] Raw data (loadavg): 0.99 0.93 0.89 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 2543 0 0 0 14988 11 0 0 25 0 1 0 907125435 21143552 2463 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5162 2463 1111 63 0 5099 0 vsize: 20648 [startup+160.009 s] Raw data (loadavg): 0.99 0.93 0.90 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 2638 0 0 0 15988 11 0 0 25 0 1 0 907125435 21602304 2558 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5274 2558 1111 63 0 5211 0 vsize: 21096 [startup+170.009 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 2734 0 0 0 16988 11 0 0 25 0 1 0 907125435 22048768 2654 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5383 2654 1111 63 0 5320 0 vsize: 21532 [startup+180.009 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 2824 0 0 0 17988 11 0 0 25 0 1 0 907125435 22351872 2744 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5457 2744 1111 63 0 5394 0 vsize: 21828 [startup+190.01 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 2925 0 0 0 18988 12 0 0 25 0 1 0 907125435 22802432 2845 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5567 2845 1111 63 0 5504 0 vsize: 22268 [startup+200.01 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 3038 0 0 0 19988 12 0 0 25 0 1 0 907125435 23265280 2958 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5680 2958 1111 63 0 5617 0 vsize: 22720 [startup+210.011 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 3145 0 0 0 20988 12 0 0 25 0 1 0 907125435 23695360 3065 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5785 3065 1111 63 0 5722 0 vsize: 23140 [startup+220.012 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 3242 0 0 0 21988 12 0 0 25 0 1 0 907125435 24145920 3162 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5895 3162 1111 63 0 5832 0 vsize: 23580 [startup+230.011 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 3336 0 0 0 22988 12 0 0 25 0 1 0 907125435 24444928 3256 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5968 3256 1111 63 0 5905 0 vsize: 23872 [startup+240.012 s] Raw data (loadavg): 0.99 0.95 0.90 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 3431 0 0 0 23988 12 0 0 25 0 1 0 907125435 24895488 3351 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6078 3351 1111 63 0 6015 0 vsize: 24312 [startup+250.012 s] Raw data (loadavg): 0.99 0.95 0.90 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 3537 0 0 0 24988 13 0 0 25 0 1 0 907125435 25350144 3457 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6189 3457 1111 63 0 6126 0 vsize: 24756 [startup+260.014 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 3632 0 0 0 25988 13 0 0 25 0 1 0 907125435 25649152 3552 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6262 3552 1111 63 0 6199 0 vsize: 25048 [startup+270.014 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 3728 0 0 0 26988 13 0 0 25 0 1 0 907125435 26103808 3648 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6373 3648 1111 63 0 6310 0 vsize: 25492 [startup+280.014 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 3831 0 0 0 27988 14 0 0 25 0 1 0 907125435 26550272 3751 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6482 3751 1111 63 0 6419 0 vsize: 25928 [startup+290.015 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 3920 0 0 0 28988 14 0 0 25 0 1 0 907125435 26849280 3840 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6555 3840 1111 63 0 6492 0 vsize: 26220 [startup+300.015 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 4024 0 0 0 29987 14 0 0 25 0 1 0 907125435 27275264 3944 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6659 3944 1111 63 0 6596 0 vsize: 26636 [startup+310.016 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 4142 0 0 0 30987 15 0 0 25 0 1 0 907125435 27725824 4062 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6769 4062 1111 63 0 6706 0 vsize: 27076 [startup+320.016 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 4258 0 0 0 31987 15 0 0 25 0 1 0 907125435 28180480 4178 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6880 4178 1111 63 0 6817 0 vsize: 27520 [startup+330.017 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 4348 0 0 0 32987 15 0 0 25 0 1 0 907125435 28626944 4268 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6989 4268 1111 63 0 6926 0 vsize: 27956 [startup+340.018 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 4458 0 0 0 33987 15 0 0 25 0 1 0 907125435 29081600 4378 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7100 4378 1111 63 0 7037 0 vsize: 28400 [startup+350.019 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 4553 0 0 0 34988 15 0 0 25 0 1 0 907125435 29380608 4473 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7173 4473 1111 63 0 7110 0 vsize: 28692 [startup+360.019 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 4649 0 0 0 35988 16 0 0 25 0 1 0 907125435 29835264 4569 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7284 4569 1111 63 0 7221 0 vsize: 29136 [startup+370.021 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 4758 0 0 0 36988 16 0 0 25 0 1 0 907125435 30281728 4678 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7393 4678 1111 63 0 7330 0 vsize: 29572 [startup+380.021 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 4862 0 0 0 37988 16 0 0 25 0 1 0 907125435 30740480 4782 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7505 4782 1111 63 0 7442 0 vsize: 30020 [startup+390.022 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 4943 0 0 0 38987 17 0 0 25 0 1 0 907125435 31039488 4863 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7578 4863 1111 63 0 7515 0 vsize: 30312 [startup+400.023 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 5064 0 0 0 39988 17 0 0 25 0 1 0 907125435 31526912 4984 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7697 4984 1111 63 0 7634 0 vsize: 30788 [startup+410.024 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 5174 0 0 0 40987 17 0 0 25 0 1 0 907125435 31977472 5094 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7807 5094 1111 63 0 7744 0 vsize: 31228 [startup+420.024 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 5299 0 0 0 41987 18 0 0 25 0 1 0 907125435 32583680 5219 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7955 5219 1111 63 0 7892 0 vsize: 31820 [startup+430.034 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 5402 0 0 0 42988 18 0 0 25 0 1 0 907125435 33030144 5322 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8064 5322 1111 63 0 8001 0 vsize: 32256 [startup+440.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 5515 0 0 0 43988 18 0 0 25 0 1 0 907125435 33484800 5435 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8175 5435 1111 63 0 8112 0 vsize: 32700 [startup+450.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 5624 0 0 0 44988 18 0 0 25 0 1 0 907125435 33931264 5544 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8284 5544 1111 63 0 8221 0 vsize: 33136 [startup+460.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 5735 0 0 0 45988 19 0 0 25 0 1 0 907125435 34390016 5655 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8396 5655 1111 63 0 8333 0 vsize: 33584 [startup+470.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 5844 0 0 0 46988 19 0 0 25 0 1 0 907125435 34836480 5764 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8505 5764 1111 63 0 8442 0 vsize: 34020 [startup+480.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 5949 0 0 0 47988 19 0 0 25 0 1 0 907125435 35139584 5869 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8579 5869 1111 63 0 8516 0 vsize: 34316 [startup+490.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 6060 0 0 0 48988 19 0 0 25 0 1 0 907125435 35590144 5980 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8689 5980 1111 63 0 8626 0 vsize: 34756 [startup+500.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 6155 0 0 0 49988 19 0 0 25 0 1 0 907125435 36044800 6075 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8800 6075 1111 63 0 8737 0 vsize: 35200 [startup+510.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 6272 0 0 0 50988 20 0 0 25 0 1 0 907125435 36491264 6192 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8909 6192 1111 63 0 8846 0 vsize: 35636 [startup+520.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 6377 0 0 0 51988 20 0 0 25 0 1 0 907125435 36945920 6297 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9020 6297 1111 63 0 8957 0 vsize: 36080 [startup+530.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 6495 0 0 0 52988 20 0 0 25 0 1 0 907125435 37396480 6415 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9130 6415 1111 63 0 9067 0 vsize: 36520 [startup+540.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 6613 0 0 0 53988 20 0 0 25 0 1 0 907125435 37847040 6533 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9240 6533 1111 63 0 9177 0 vsize: 36960 [startup+550.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 6723 0 0 0 54988 20 0 0 25 0 1 0 907125435 38297600 6643 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9350 6643 1111 63 0 9287 0 vsize: 37400 [startup+560.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 6819 0 0 0 55988 21 0 0 25 0 1 0 907125435 38752256 6739 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9461 6739 1111 63 0 9398 0 vsize: 37844 [startup+570.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 6930 0 0 0 56989 21 0 0 25 0 1 0 907125435 39202816 6850 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9571 6850 1111 63 0 9508 0 vsize: 38284 [startup+580.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 7035 0 0 0 57989 21 0 0 25 0 1 0 907125435 39653376 6955 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9681 6955 1111 63 0 9618 0 vsize: 38724 [startup+590.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 7145 0 0 0 58989 21 0 0 25 0 1 0 907125435 40103936 7065 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9791 7065 1111 63 0 9728 0 vsize: 39164 [startup+600.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 7247 0 0 0 59989 22 0 0 25 0 1 0 907125435 40558592 7167 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9902 7167 1111 63 0 9839 0 vsize: 39608 [startup+610.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 7343 0 0 0 60989 22 0 0 25 0 1 0 907125435 40857600 7263 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9975 7263 1111 63 0 9912 0 vsize: 39900 [startup+620.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 7470 0 0 0 61989 22 0 0 25 0 1 0 907125435 41459712 7390 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10122 7390 1111 63 0 10059 0 vsize: 40488 [startup+630.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 7572 0 0 0 62989 22 0 0 25 0 1 0 907125435 41758720 7492 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10195 7492 1111 63 0 10132 0 vsize: 40780 [startup+640.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 7660 0 0 0 63989 23 0 0 25 0 1 0 907125435 42209280 7580 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10305 7580 1111 63 0 10242 0 vsize: 41220 [startup+650.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 7778 0 0 0 64989 23 0 0 25 0 1 0 907125435 42635264 7698 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10409 7698 1111 63 0 10346 0 vsize: 41636 [startup+660.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 7888 0 0 0 65988 23 0 0 25 0 1 0 907125435 43081728 7808 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10518 7808 1111 63 0 10455 0 vsize: 42072 [startup+670.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 8008 0 0 0 66988 24 0 0 25 0 1 0 907125435 43536384 7928 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10629 7928 1111 63 0 10566 0 vsize: 42516 [startup+680.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 8131 0 0 0 67988 24 0 0 25 0 1 0 907125435 44134400 8051 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10775 8051 1111 63 0 10712 0 vsize: 43100 [startup+690.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 8251 0 0 0 68988 24 0 0 25 0 1 0 907125435 44589056 8171 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10886 8171 1111 63 0 10823 0 vsize: 43544 [startup+700.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 8368 0 0 0 69988 24 0 0 25 0 1 0 907125435 45039616 8288 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10996 8288 1111 63 0 10933 0 vsize: 43984 [startup+710.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 8486 0 0 0 70988 24 0 0 25 0 1 0 907125435 45490176 8406 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11106 8406 1111 63 0 11043 0 vsize: 44424 [startup+720.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 8604 0 0 0 71988 24 0 0 25 0 1 0 907125435 46096384 8524 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11254 8524 1111 63 0 11191 0 vsize: 45016 [startup+730.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 8707 0 0 0 72988 25 0 0 25 0 1 0 907125435 46395392 8627 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11327 8627 1111 63 0 11264 0 vsize: 45308 [startup+740.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 8833 0 0 0 73988 25 0 0 25 0 1 0 907125435 46997504 8753 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11474 8753 1111 63 0 11411 0 vsize: 45896 [startup+750.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 8976 0 0 0 74988 25 0 0 25 0 1 0 907125435 47710208 8896 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11648 8896 1111 63 0 11585 0 vsize: 46592 [startup+760.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 9108 0 0 0 75988 26 0 0 25 0 1 0 907125435 48152576 9028 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11756 9028 1111 63 0 11693 0 vsize: 47024 [startup+770.059 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 9232 0 0 0 76988 26 0 0 25 0 1 0 907125435 48750592 9152 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11902 9152 1111 63 0 11839 0 vsize: 47608 [startup+780.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 9358 0 0 0 77988 26 0 0 25 0 1 0 907125435 49176576 9278 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12006 9278 1111 63 0 11943 0 vsize: 48024 [startup+790.061 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 9462 0 0 0 78988 26 0 0 25 0 1 0 907125435 49627136 9382 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12116 9382 1111 63 0 12053 0 vsize: 48464 [startup+800.061 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 9566 0 0 0 79988 27 0 0 25 0 1 0 907125435 50077696 9486 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12226 9486 1111 63 0 12163 0 vsize: 48904 [startup+810.062 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 9683 0 0 0 80988 27 0 0 25 0 1 0 907125435 50528256 9603 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12336 9603 1111 63 0 12273 0 vsize: 49344 [startup+820.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 9802 0 0 0 81988 27 0 0 25 0 1 0 907125435 51101696 9722 4294967295 134512640 134716908 3221224560 3221223216 134527930 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12476 9722 1111 63 0 12413 0 vsize: 49904 [startup+830.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 9905 0 0 0 82988 27 0 0 25 0 1 0 907125435 51400704 9825 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12549 9825 1111 63 0 12486 0 vsize: 50196 [startup+840.064 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 10038 0 0 0 83988 27 0 0 25 0 1 0 907125435 52006912 9958 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12697 9958 1111 63 0 12634 0 vsize: 50788 [startup+850.065 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 10163 0 0 0 84988 28 0 0 25 0 1 0 907125435 52453376 10083 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12806 10083 1111 63 0 12743 0 vsize: 51224 [startup+860.065 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 10273 0 0 0 85988 28 0 0 25 0 1 0 907125435 52908032 10193 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12917 10193 1111 63 0 12854 0 vsize: 51668 [startup+870.066 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 10379 0 0 0 86988 28 0 0 25 0 1 0 907125435 53358592 10299 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13027 10299 1111 63 0 12964 0 vsize: 52108 [startup+880.066 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 10503 0 0 0 87988 29 0 0 25 0 1 0 907125435 53960704 10423 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13174 10429 1111 63 0 13111 0 vsize: 52696 [startup+890.067 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 10629 0 0 0 88988 29 0 0 25 0 1 0 907125435 54415360 10549 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13285 10549 1111 63 0 13222 0 vsize: 53140 [startup+900.067 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 10759 0 0 0 89987 30 0 0 25 0 1 0 907125435 55013376 10679 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13431 10679 1111 63 0 13368 0 vsize: 53724 [startup+910.068 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3575 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 10879 0 0 0 90987 30 0 0 25 0 1 0 907125435 55468032 10799 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13542 10799 1111 63 0 13479 0 vsize: 54168 [startup+920.075 s] Raw data (loadavg): 0.99 0.97 0.91 3/57 3619 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 10997 0 0 0 91988 30 0 0 25 0 1 0 907125435 55914496 10917 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13651 10917 1111 63 0 13588 0 vsize: 54604 [startup+930.075 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3628 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 11129 0 0 0 92988 30 0 0 25 0 1 0 907125435 56520704 11049 4294967295 134512640 134716908 3221224560 3221222788 1077414374 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13799 11049 1111 63 0 13736 0 vsize: 55196 [startup+940.076 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3628 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 11262 0 0 0 93988 31 0 0 25 0 1 0 907125435 56971264 11182 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13909 11182 1111 63 0 13846 0 vsize: 55636 [startup+950.076 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3628 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 11381 0 0 0 94987 31 0 0 25 0 1 0 907125435 57421824 11301 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14019 11301 1111 63 0 13956 0 vsize: 56076 [startup+960.077 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3628 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 11499 0 0 0 95987 32 0 0 25 0 1 0 907125435 58028032 11419 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14167 11419 1111 63 0 14104 0 vsize: 56668 [startup+970.078 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3628 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 11616 0 0 0 96986 33 0 0 25 0 1 0 907125435 58478592 11536 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14277 11536 1111 63 0 14214 0 vsize: 57108 [startup+980.078 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3628 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 11721 0 0 0 97986 33 0 0 25 0 1 0 907125435 58929152 11641 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14387 11641 1111 63 0 14324 0 vsize: 57548 [startup+990.079 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3630 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 11837 0 0 0 98986 34 0 0 25 0 1 0 907125435 59379712 11757 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14497 11757 1111 63 0 14434 0 vsize: 57988 [startup+1000.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3630 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 11972 0 0 0 99985 34 0 0 25 0 1 0 907125435 59834368 11892 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14608 11892 1111 63 0 14545 0 vsize: 58432 [startup+1010.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3630 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 12103 0 0 0 100985 35 0 0 25 0 1 0 907125435 60432384 12023 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14754 12023 1111 63 0 14691 0 vsize: 59016 [startup+1020.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3630 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 12222 0 0 0 101984 36 0 0 25 0 1 0 907125435 60887040 12142 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14865 12142 1111 63 0 14802 0 vsize: 59460 [startup+1030.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3630 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 12338 0 0 0 102984 37 0 0 25 0 1 0 907125435 61333504 12258 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14974 12258 1111 63 0 14911 0 vsize: 59896 [startup+1040.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3630 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 12459 0 0 0 103983 37 0 0 25 0 1 0 907125435 61939712 12379 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15122 12379 1111 63 0 15059 0 vsize: 60488 [startup+1050.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3630 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 12576 0 0 0 104983 38 0 0 25 0 1 0 907125435 62390272 12496 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15232 12496 1111 63 0 15169 0 vsize: 60928 [startup+1060.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3630 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 12701 0 0 0 105983 38 0 0 25 0 1 0 907125435 62840832 12621 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15342 12621 1111 63 0 15279 0 vsize: 61368 [startup+1070.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3630 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 12826 0 0 0 106982 39 0 0 25 0 1 0 907125435 63447040 12746 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15490 12746 1111 63 0 15427 0 vsize: 61960 [startup+1080.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3630 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 12945 0 0 0 107982 40 0 0 25 0 1 0 907125435 63897600 12865 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15600 12865 1111 63 0 15537 0 vsize: 62400 [startup+1090.08 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 3630 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 13057 0 0 0 108982 40 0 0 25 0 1 0 907125435 64348160 12977 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15710 12977 1111 63 0 15647 0 vsize: 62840 [startup+1100.08 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 3630 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 13173 0 0 0 109982 40 0 0 25 0 1 0 907125435 64798720 13093 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15820 13093 1111 63 0 15757 0 vsize: 63280 [startup+1110.08 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 3630 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 13285 0 0 0 110982 40 0 0 25 0 1 0 907125435 65253376 13205 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15931 13205 1111 63 0 15868 0 vsize: 63724 [startup+1120.09 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 3630 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 13403 0 0 0 111982 41 0 0 25 0 1 0 907125435 65699840 13323 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16040 13323 1111 63 0 15977 0 vsize: 64160 [startup+1130.09 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 3630 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 13529 0 0 0 112982 41 0 0 25 0 1 0 907125435 66306048 13449 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16188 13449 1111 63 0 16125 0 vsize: 64752 [startup+1140.09 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 3630 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 13653 0 0 0 113982 41 0 0 25 0 1 0 907125435 66752512 13573 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16297 13573 1111 63 0 16234 0 vsize: 65188 [startup+1150.09 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 3630 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 13785 0 0 0 114982 41 0 0 25 0 1 0 907125435 67354624 13705 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16444 13705 1111 63 0 16381 0 vsize: 65776 [startup+1160.09 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 3630 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 13905 0 0 0 115981 42 0 0 25 0 1 0 907125435 67805184 13825 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16554 13825 1111 63 0 16491 0 vsize: 66216 [startup+1170.09 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 3630 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 14037 0 0 0 116981 42 0 0 25 0 1 0 907125435 68259840 13957 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16665 13957 1111 63 0 16602 0 vsize: 66660 [startup+1180.09 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 3630 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 14156 0 0 0 117981 42 0 0 25 0 1 0 907125435 68861952 14076 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16812 14076 1111 63 0 16749 0 vsize: 67248 [startup+1190.09 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 3630 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 14286 0 0 0 118981 42 0 0 25 0 1 0 907125435 69312512 14206 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16922 14206 1111 63 0 16859 0 vsize: 67688 [startup+1200.09 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 3630 Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 14408 0 0 0 119981 43 0 0 25 0 1 0 907125435 69767168 14328 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17033 14328 1111 63 0 16970 0 vsize: 68132 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.12 s] Raw data (loadavg): 1.01 0.99 0.91 1/54 3630 Raw data (stat): 3575 (bsolo_lpr_cuts-) Z 3574 20224 20223 0 -1 1036 14408 0 0 0 119981 45 0 0 25 0 1 0 907125435 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.12 CPU time (s): 1200.28 CPU user time (s): 1199.82 CPU system time (s): 0.45893 CPU usage (%): 100.013 Max. virtual memory (Kb): 68132 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####