Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-czprob.opb |
MD5SUM | cfa1bf2f1dd2df0f424e37a2971f8ba1 |
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 | 65500 |
Biggest coefficient in the objective function | 16110321664000 |
Number of bits for the biggest coefficient in the objective function | 44 |
Sum of the numbers in the objective function | 32674140101032650 |
Number of bits of the sum of numbers in the objective function | 55 |
Biggest number in a constraint | 16110321664000 |
Number of bits of the biggest number in a constraint | 44 |
Biggest sum of numbers in a constraint | 32674140101032650 |
Number of bits of the biggest sum of numbers | 55 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.588909 |
Number of variables | 65880 |
Total number of constraints | 927 |
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 | 927 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 7460 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-06-09 10:56:14 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29420 boxname=wulflinc2 idbench=1204 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: cfa1bf2f1dd2df0f424e37a2971f8ba1 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-czprob.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-czprob.opb IDLAUNCH: 29420 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 884792 kB Buffers: 7040 kB Cached: 121572 kB SwapCached: 1472 kB Active: 32724 kB Inactive: 97900 kB HighTotal: 131008 kB HighFree: 34412 kB LowTotal: 903652 kB LowFree: 850380 kB SwapTotal: 2097136 kB SwapFree: 2094616 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4956 kB Slab: 13444 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 11:16:17 (client local time) WITH STATUS 0 IN 1200.28 SECONDS stats: 29420 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.64 0.82 0.86 1/54 27181 Raw data (stat): 27181 (runsolver) R 27180 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909726990 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.0005 s] Raw data (loadavg): 0.69 0.82 0.86 2/54 27181 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 1146 0 0 0 994 3 0 0 25 0 1 0 909726990 15777792 1066 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3852 1066 1111 63 0 3789 0 vsize: 15408 [startup+20.0011 s] Raw data (loadavg): 0.74 0.83 0.86 2/54 27181 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 1320 0 0 0 1995 3 0 0 25 0 1 0 909726990 16490496 1240 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4026 1240 1111 63 0 3963 0 vsize: 16104 [startup+30.0011 s] Raw data (loadavg): 0.85 0.85 0.87 2/54 27181 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 1465 0 0 0 2994 3 0 0 25 0 1 0 909726990 17190912 1385 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4197 1385 1111 63 0 4134 0 vsize: 16788 [startup+40.0005 s] Raw data (loadavg): 0.88 0.85 0.87 2/54 27181 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 1618 0 0 0 3994 4 0 0 25 0 1 0 909726990 17764352 1538 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4337 1538 1111 63 0 4274 0 vsize: 17348 [startup+50.0012 s] Raw data (loadavg): 0.89 0.86 0.87 2/54 27181 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 1786 0 0 0 4994 4 0 0 25 0 1 0 909726990 18481152 1706 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4512 1706 1111 63 0 4449 0 vsize: 18048 [startup+60.0012 s] Raw data (loadavg): 0.91 0.86 0.87 2/54 27181 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 1952 0 0 0 5994 5 0 0 25 0 1 0 909726990 19189760 1872 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4685 1872 1111 63 0 4622 0 vsize: 18740 [startup+70.0016 s] Raw data (loadavg): 0.92 0.87 0.87 2/54 27181 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 2106 0 0 0 6994 5 0 0 25 0 1 0 909726990 19755008 2026 4294967295 134512640 134716908 3221224560 3221222788 1077414374 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4823 2026 1111 63 0 4760 0 vsize: 19292 [startup+80.0023 s] Raw data (loadavg): 0.93 0.87 0.87 2/54 27181 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 2285 0 0 0 7994 5 0 0 25 0 1 0 909726990 20463616 2205 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4996 2205 1111 63 0 4933 0 vsize: 19984 [startup+90.0027 s] Raw data (loadavg): 0.94 0.87 0.87 2/54 27181 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 2442 0 0 0 8994 5 0 0 25 0 1 0 909726990 21172224 2362 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5169 2362 1111 63 0 5106 0 vsize: 20676 [startup+100.003 s] Raw data (loadavg): 0.95 0.88 0.87 2/54 27181 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 2594 0 0 0 9994 6 0 0 25 0 1 0 909726990 21737472 2514 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5307 2514 1111 63 0 5244 0 vsize: 21228 [startup+110.002 s] Raw data (loadavg): 0.96 0.88 0.87 2/54 27181 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 2747 0 0 0 10993 6 0 0 25 0 1 0 909726990 22446080 2667 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5480 2667 1111 63 0 5417 0 vsize: 21920 [startup+120.003 s] Raw data (loadavg): 0.96 0.89 0.87 2/54 27181 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 2918 0 0 0 11993 6 0 0 25 0 1 0 909726990 23150592 2838 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5652 2838 1111 63 0 5589 0 vsize: 22608 [startup+130.004 s] Raw data (loadavg): 0.97 0.89 0.87 2/54 27181 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 3072 0 0 0 12993 7 0 0 25 0 1 0 909726990 23719936 2992 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5791 2992 1111 63 0 5728 0 vsize: 23164 [startup+140.003 s] Raw data (loadavg): 0.97 0.89 0.88 2/54 27181 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 3237 0 0 0 13993 7 0 0 25 0 1 0 909726990 24424448 3157 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5963 3157 1111 63 0 5900 0 vsize: 23852 [startup+150.005 s] Raw data (loadavg): 0.98 0.89 0.88 2/54 27181 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 3397 0 0 0 14993 8 0 0 25 0 1 0 909726990 24993792 3317 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6102 3317 1111 63 0 6039 0 vsize: 24408 [startup+160.005 s] Raw data (loadavg): 0.98 0.90 0.88 2/54 27181 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 3549 0 0 0 15993 8 0 0 25 0 1 0 909726990 25698304 3469 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6274 3469 1111 63 0 6211 0 vsize: 25096 [startup+170.006 s] Raw data (loadavg): 0.98 0.90 0.88 2/54 27181 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 3708 0 0 0 16993 8 0 0 25 0 1 0 909726990 26267648 3628 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6413 3628 1111 63 0 6350 0 vsize: 25652 [startup+180.006 s] Raw data (loadavg): 0.98 0.90 0.88 2/54 27181 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 3888 0 0 0 17992 9 0 0 25 0 1 0 909726990 27140096 3808 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6626 3808 1111 63 0 6563 0 vsize: 26504 [startup+190.006 s] Raw data (loadavg): 0.99 0.91 0.88 2/54 27181 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 4067 0 0 0 18992 9 0 0 25 0 1 0 909726990 27844608 3987 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6798 3987 1111 63 0 6735 0 vsize: 27192 [startup+200.006 s] Raw data (loadavg): 0.99 0.91 0.88 2/54 27181 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 4233 0 0 0 19992 9 0 0 25 0 1 0 909726990 28553216 4153 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6971 4153 1111 63 0 6908 0 vsize: 27884 [startup+210.006 s] Raw data (loadavg): 0.99 0.91 0.88 2/54 27181 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 4400 0 0 0 20992 9 0 0 25 0 1 0 909726990 29118464 4320 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7109 4320 1111 63 0 7046 0 vsize: 28436 [startup+220.006 s] Raw data (loadavg): 0.99 0.91 0.88 2/54 27181 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 4582 0 0 0 21992 10 0 0 25 0 1 0 909726990 29966336 4502 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7316 4502 1111 63 0 7253 0 vsize: 29264 [startup+230.007 s] Raw data (loadavg): 0.99 0.92 0.88 3/57 27218 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 4762 0 0 0 22991 10 0 0 25 0 1 0 909726990 30674944 4682 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7489 4682 1111 63 0 7426 0 vsize: 29956 [startup+240.007 s] Raw data (loadavg): 1.07 0.93 0.89 2/54 27234 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 4940 0 0 0 23991 11 0 0 25 0 1 0 909726990 31383552 4860 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7662 4860 1111 63 0 7599 0 vsize: 30648 [startup+250.007 s] Raw data (loadavg): 1.06 0.94 0.89 2/54 27234 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 5128 0 0 0 24991 11 0 0 25 0 1 0 909726990 32096256 5048 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7836 5048 1111 63 0 7773 0 vsize: 31344 [startup+260.007 s] Raw data (loadavg): 1.05 0.94 0.89 2/54 27234 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 5301 0 0 0 25991 11 0 0 25 0 1 0 909726990 32796672 5221 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8007 5221 1111 63 0 7944 0 vsize: 32028 [startup+270.008 s] Raw data (loadavg): 1.04 0.94 0.89 2/54 27234 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 5468 0 0 0 26991 11 0 0 25 0 1 0 909726990 33509376 5388 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8181 5388 1111 63 0 8118 0 vsize: 32724 [startup+280.009 s] Raw data (loadavg): 1.03 0.94 0.89 2/54 27234 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 5662 0 0 0 27991 12 0 0 25 0 1 0 909726990 34361344 5582 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8389 5582 1111 63 0 8326 0 vsize: 33556 [startup+290.01 s] Raw data (loadavg): 1.03 0.94 0.90 2/54 27234 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 5842 0 0 0 28991 12 0 0 25 0 1 0 909726990 35065856 5762 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8561 5762 1111 63 0 8498 0 vsize: 34244 [startup+300.01 s] Raw data (loadavg): 1.02 0.94 0.90 2/54 27236 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 6029 0 0 0 29989 13 0 0 25 0 1 0 909726990 35774464 5949 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8734 5949 1111 63 0 8671 0 vsize: 34936 [startup+310.01 s] Raw data (loadavg): 1.02 0.94 0.90 2/54 27236 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 6215 0 0 0 30989 14 0 0 25 0 1 0 909726990 36622336 6135 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8941 6135 1111 63 0 8878 0 vsize: 35764 [startup+320.01 s] Raw data (loadavg): 1.02 0.95 0.90 2/54 27236 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 6416 0 0 0 31988 14 0 0 25 0 1 0 909726990 37474304 6336 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9149 6336 1111 63 0 9086 0 vsize: 36596 [startup+330.011 s] Raw data (loadavg): 1.01 0.95 0.90 2/54 27236 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 6615 0 0 0 32988 15 0 0 25 0 1 0 909726990 38334464 6535 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9359 6535 1111 63 0 9296 0 vsize: 37436 [startup+340.011 s] Raw data (loadavg): 1.01 0.95 0.90 2/54 27236 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 6807 0 0 0 33988 15 0 0 25 0 1 0 909726990 39038976 6727 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9531 6727 1111 63 0 9468 0 vsize: 38124 [startup+350.012 s] Raw data (loadavg): 1.01 0.95 0.90 2/54 27236 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 6988 0 0 0 34988 16 0 0 25 0 1 0 909726990 39751680 6908 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9705 6908 1111 63 0 9642 0 vsize: 38820 [startup+360.012 s] Raw data (loadavg): 1.01 0.95 0.90 2/54 27236 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 7189 0 0 0 35988 16 0 0 25 0 1 0 909726990 40599552 7109 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9912 7109 1111 63 0 9849 0 vsize: 39648 [startup+370.013 s] Raw data (loadavg): 1.00 0.95 0.90 2/54 27236 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 7363 0 0 0 36988 16 0 0 25 0 1 0 909726990 41308160 7283 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10085 7283 1111 63 0 10022 0 vsize: 40340 [startup+380.014 s] Raw data (loadavg): 1.00 0.95 0.90 2/54 27236 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 7557 0 0 0 37987 17 0 0 25 0 1 0 909726990 42160128 7477 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10293 7477 1111 63 0 10230 0 vsize: 41172 [startup+390.013 s] Raw data (loadavg): 1.00 0.95 0.91 2/54 27236 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 7744 0 0 0 38987 17 0 0 25 0 1 0 909726990 42860544 7664 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10464 7664 1111 63 0 10401 0 vsize: 41856 [startup+400.014 s] Raw data (loadavg): 1.00 0.95 0.91 2/54 27236 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 7916 0 0 0 39987 18 0 0 25 0 1 0 909726990 43573248 7836 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10638 7836 1111 63 0 10575 0 vsize: 42552 [startup+410.014 s] Raw data (loadavg): 1.00 0.95 0.91 2/54 27236 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 8105 0 0 0 40986 18 0 0 25 0 1 0 909726990 44425216 8025 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10846 8025 1111 63 0 10783 0 vsize: 43384 [startup+420.014 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 27236 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 8320 0 0 0 41986 18 0 0 25 0 1 0 909726990 45268992 8240 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11052 8240 1111 63 0 10989 0 vsize: 44208 [startup+430.015 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 27236 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 8525 0 0 0 42986 19 0 0 25 0 1 0 909726990 46116864 8445 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11259 8445 1111 63 0 11196 0 vsize: 45036 [startup+440.015 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 27236 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 8735 0 0 0 43986 20 0 0 25 0 1 0 909726990 46968832 8655 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11467 8655 1111 63 0 11404 0 vsize: 45868 [startup+450.016 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 27236 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 8928 0 0 0 44985 20 0 0 25 0 1 0 909726990 47669248 8848 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11638 8848 1111 63 0 11575 0 vsize: 46552 [startup+460.015 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 27236 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 9107 0 0 0 45985 21 0 0 25 0 1 0 909726990 48517120 9027 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11845 9027 1111 63 0 11782 0 vsize: 47380 [startup+470.016 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 27236 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 9293 0 0 0 46985 21 0 0 25 0 1 0 909726990 49225728 9213 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12018 9213 1111 63 0 11955 0 vsize: 48072 [startup+480.015 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 27236 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 9503 0 0 0 47984 22 0 0 25 0 1 0 909726990 50069504 9423 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12224 9423 1111 63 0 12161 0 vsize: 48896 [startup+490.016 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 27236 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 9715 0 0 0 48984 23 0 0 25 0 1 0 909726990 50917376 9635 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12431 9635 1111 63 0 12368 0 vsize: 49724 [startup+500.016 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 27236 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 9936 0 0 0 49984 23 0 0 25 0 1 0 909726990 51908608 9856 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12673 9856 1111 63 0 12610 0 vsize: 50692 [startup+510.016 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 27236 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 10125 0 0 0 50984 23 0 0 25 0 1 0 909726990 52617216 10045 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12846 10045 1111 63 0 12783 0 vsize: 51384 [startup+520.017 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27236 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 10310 0 0 0 51984 23 0 0 25 0 1 0 909726990 53317632 10230 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13017 10230 1111 63 0 12954 0 vsize: 52068 [startup+530.017 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27236 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 10531 0 0 0 52983 24 0 0 25 0 1 0 909726990 54308864 10451 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13259 10451 1111 63 0 13196 0 vsize: 53036 [startup+540.018 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27236 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 10740 0 0 0 53983 24 0 0 25 0 1 0 909726990 55156736 10660 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13466 10660 1111 63 0 13403 0 vsize: 53864 [startup+550.018 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27236 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 10946 0 0 0 54983 25 0 0 25 0 1 0 909726990 56000512 10866 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13672 10866 1111 63 0 13609 0 vsize: 54688 [startup+560.017 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27236 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 11133 0 0 0 55983 25 0 0 25 0 1 0 909726990 56709120 11053 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13845 11053 1111 63 0 13782 0 vsize: 55380 [startup+570.018 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27236 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 11361 0 0 0 56982 26 0 0 25 0 1 0 909726990 57700352 11281 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14087 11281 1111 63 0 14024 0 vsize: 56348 [startup+580.018 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27236 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 11553 0 0 0 57982 26 0 0 25 0 1 0 909726990 58400768 11473 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14258 11473 1111 63 0 14195 0 vsize: 57032 [startup+590.018 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27236 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 11747 0 0 0 58982 26 0 0 25 0 1 0 909726990 59248640 11667 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14465 11667 1111 63 0 14402 0 vsize: 57860 [startup+600.019 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 11947 0 0 0 59982 27 0 0 25 0 1 0 909726990 60096512 11867 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14672 11867 1111 63 0 14609 0 vsize: 58688 [startup+610.02 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 12188 0 0 0 60982 27 0 0 25 0 1 0 909726990 61169664 12108 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14934 12108 1111 63 0 14871 0 vsize: 59736 [startup+620.021 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 12414 0 0 0 61982 27 0 0 25 0 1 0 909726990 62152704 12334 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15174 12334 1111 63 0 15111 0 vsize: 60696 [startup+630.021 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 12636 0 0 0 62982 28 0 0 25 0 1 0 909726990 63000576 12556 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15381 12556 1111 63 0 15318 0 vsize: 61524 [startup+640.022 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 12871 0 0 0 63982 28 0 0 25 0 1 0 909726990 63991808 12791 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15623 12791 1111 63 0 15560 0 vsize: 62492 [startup+650.023 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 13100 0 0 0 64981 28 0 0 25 0 1 0 909726990 64839680 13020 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15830 13020 1111 63 0 15767 0 vsize: 63320 [startup+660.022 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 13326 0 0 0 65980 29 0 0 25 0 1 0 909726990 65822720 13246 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16070 13246 1111 63 0 16007 0 vsize: 64280 [startup+670.023 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 13549 0 0 0 66980 30 0 0 25 0 1 0 909726990 66670592 13469 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16277 13469 1111 63 0 16214 0 vsize: 65108 [startup+680.023 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 13777 0 0 0 67980 31 0 0 25 0 1 0 909726990 67661824 13697 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16519 13697 1111 63 0 16456 0 vsize: 66076 [startup+690.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 14005 0 0 0 68979 31 0 0 25 0 1 0 909726990 68648960 13925 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16760 13925 1111 63 0 16697 0 vsize: 67040 [startup+700.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 14242 0 0 0 69979 32 0 0 25 0 1 0 909726990 69492736 14162 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16966 14162 1111 63 0 16903 0 vsize: 67864 [startup+710.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 14481 0 0 0 70979 32 0 0 25 0 1 0 909726990 70483968 14401 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17208 14401 1111 63 0 17145 0 vsize: 68832 [startup+720.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 14696 0 0 0 71978 33 0 0 25 0 1 0 909726990 71471104 14616 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17449 14616 1111 63 0 17386 0 vsize: 69796 [startup+730.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 14933 0 0 0 72978 33 0 0 25 0 1 0 909726990 72318976 14853 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17656 14853 1111 63 0 17593 0 vsize: 70624 [startup+740.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 15174 0 0 0 73978 34 0 0 25 0 1 0 909726990 73310208 15094 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17898 15094 1111 63 0 17835 0 vsize: 71592 [startup+750.027 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 15401 0 0 0 74978 34 0 0 25 0 1 0 909726990 74293248 15321 4294967295 134512640 134716908 3221224560 3221222428 1077244341 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18138 15321 1111 63 0 18075 0 vsize: 72552 [startup+760.027 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 15651 0 0 0 75978 34 0 0 25 0 1 0 909726990 75284480 15571 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18380 15571 1111 63 0 18317 0 vsize: 73520 [startup+770.028 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 15899 0 0 0 76978 35 0 0 25 0 1 0 909726990 76271616 15819 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18621 15819 1111 63 0 18558 0 vsize: 74484 [startup+780.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 16134 0 0 0 77977 35 0 0 25 0 1 0 909726990 77262848 16054 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18863 16054 1111 63 0 18800 0 vsize: 75452 [startup+790.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 16378 0 0 0 78977 36 0 0 25 0 1 0 909726990 78249984 16298 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19104 16298 1111 63 0 19041 0 vsize: 76416 [startup+800.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 16605 0 0 0 79977 36 0 0 25 0 1 0 909726990 79241216 16525 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19346 16525 1111 63 0 19283 0 vsize: 77384 [startup+810.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 16824 0 0 0 80977 36 0 0 25 0 1 0 909726990 80084992 16744 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19552 16744 1111 63 0 19489 0 vsize: 78208 [startup+820.031 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 17048 0 0 0 81977 37 0 0 25 0 1 0 909726990 81072128 16968 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19793 16968 1111 63 0 19730 0 vsize: 79172 [startup+830.031 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 17296 0 0 0 82976 37 0 0 25 0 1 0 909726990 82063360 17216 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20035 17216 1111 63 0 19972 0 vsize: 80140 [startup+840.031 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 17558 0 0 0 83976 38 0 0 25 0 1 0 909726990 83054592 17478 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20277 17478 1111 63 0 20214 0 vsize: 81108 [startup+850.032 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 17809 0 0 0 84976 38 0 0 25 0 1 0 909726990 84180992 17729 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20552 17729 1111 63 0 20489 0 vsize: 82208 [startup+860.031 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 18028 0 0 0 85976 39 0 0 25 0 1 0 909726990 85024768 17948 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20758 17948 1111 63 0 20695 0 vsize: 83032 [startup+870.032 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 18250 0 0 0 86976 39 0 0 25 0 1 0 909726990 85872640 18170 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20965 18170 1111 63 0 20902 0 vsize: 83860 [startup+880.033 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 18499 0 0 0 87976 39 0 0 25 0 1 0 909726990 87003136 18419 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21241 18419 1111 63 0 21178 0 vsize: 84964 [startup+890.033 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 18735 0 0 0 88975 40 0 0 25 0 1 0 909726990 87855104 18655 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21449 18655 1111 63 0 21386 0 vsize: 85796 [startup+900.033 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 18976 0 0 0 89975 40 0 0 25 0 1 0 909726990 88838144 18896 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21689 18896 1111 63 0 21626 0 vsize: 86756 [startup+910.033 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 19225 0 0 0 90975 40 0 0 25 0 1 0 909726990 89968640 19145 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21965 19145 1111 63 0 21902 0 vsize: 87860 [startup+920.033 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 19474 0 0 0 91975 41 0 0 25 0 1 0 909726990 90955776 19394 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22206 19394 1111 63 0 22143 0 vsize: 88824 [startup+930.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 19716 0 0 0 92974 42 0 0 25 0 1 0 909726990 91947008 19636 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22448 19636 1111 63 0 22385 0 vsize: 89792 [startup+940.033 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 19966 0 0 0 93974 42 0 0 25 0 1 0 909726990 92934144 19886 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22689 19886 1111 63 0 22626 0 vsize: 90756 [startup+950.033 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 20214 0 0 0 94974 43 0 0 25 0 1 0 909726990 93925376 20134 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22931 20134 1111 63 0 22868 0 vsize: 91724 [startup+960.033 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 20464 0 0 0 95973 43 0 0 25 0 1 0 909726990 94916608 20384 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23173 20384 1111 63 0 23110 0 vsize: 92692 [startup+970.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 20725 0 0 0 96973 44 0 0 25 0 1 0 909726990 96038912 20645 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23447 20645 1111 63 0 23384 0 vsize: 93788 [startup+980.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 20987 0 0 0 97973 44 0 0 25 0 1 0 909726990 97169408 20907 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23723 20907 1111 63 0 23660 0 vsize: 94892 [startup+990.035 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 21237 0 0 0 98972 45 0 0 25 0 1 0 909726990 98160640 21157 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23965 21157 1111 63 0 23902 0 vsize: 95860 [startup+1000.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 21498 0 0 0 99972 45 0 0 25 0 1 0 909726990 99147776 21418 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24206 21418 1111 63 0 24143 0 vsize: 96824 [startup+1010.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 21769 0 0 0 100972 45 0 0 25 0 1 0 909726990 100278272 21689 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24482 21689 1111 63 0 24419 0 vsize: 97928 [startup+1020.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 22032 0 0 0 101972 45 0 0 25 0 1 0 909726990 101408768 21952 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24758 21952 1111 63 0 24695 0 vsize: 99032 [startup+1030.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 22302 0 0 0 102972 46 0 0 25 0 1 0 909726990 102539264 22222 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25034 22222 1111 63 0 24971 0 vsize: 100136 [startup+1040.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 22577 0 0 0 103971 47 0 0 25 0 1 0 909726990 103665664 22497 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25309 22497 1111 63 0 25246 0 vsize: 101236 [startup+1050.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 22839 0 0 0 104971 47 0 0 25 0 1 0 909726990 104656896 22759 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25551 22759 1111 63 0 25488 0 vsize: 102204 [startup+1060.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 23115 0 0 0 105971 47 0 0 25 0 1 0 909726990 105787392 23035 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25827 23035 1111 63 0 25764 0 vsize: 103308 [startup+1070.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 23425 0 0 0 106971 48 0 0 25 0 1 0 909726990 107270144 23345 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26189 23345 1111 63 0 26126 0 vsize: 104756 [startup+1080.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 23715 0 0 0 107970 48 0 0 25 0 1 0 909726990 108548096 23635 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26501 23635 1111 63 0 26438 0 vsize: 106004 [startup+1090.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 23997 0 0 0 108971 48 0 0 25 0 1 0 909726990 109670400 23917 4294967295 134512640 134716908 3221224560 3221223216 134527930 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26775 23917 1111 63 0 26712 0 vsize: 107100 [startup+1100.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 24273 0 0 0 109970 49 0 0 25 0 1 0 909726990 110800896 24193 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27051 24193 1111 63 0 26988 0 vsize: 108204 [startup+1110.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 24572 0 0 0 110970 50 0 0 25 0 1 0 909726990 112070656 24492 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27361 24492 1111 63 0 27298 0 vsize: 109444 [startup+1120.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 24862 0 0 0 111969 50 0 0 25 0 1 0 909726990 113201152 24782 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27637 24782 1111 63 0 27574 0 vsize: 110548 [startup+1130.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 25159 0 0 0 112969 51 0 0 25 0 1 0 909726990 114475008 25079 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27948 25079 1111 63 0 27885 0 vsize: 111792 [startup+1140.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 25457 0 0 0 113968 52 0 0 25 0 1 0 909726990 115601408 25377 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28223 25377 1111 63 0 28160 0 vsize: 112892 [startup+1150.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 25775 0 0 0 114968 53 0 0 25 0 1 0 909726990 116871168 25695 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28533 25695 1111 63 0 28470 0 vsize: 114132 [startup+1160.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 26087 0 0 0 115967 53 0 0 25 0 1 0 909726990 118145024 26007 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28844 26007 1111 63 0 28781 0 vsize: 115376 [startup+1170.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 26384 0 0 0 116967 54 0 0 25 0 1 0 909726990 119418880 26304 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29155 26304 1111 63 0 29092 0 vsize: 116620 [startup+1180.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 26689 0 0 0 117966 55 0 0 25 0 1 0 909726990 120692736 26609 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29466 26609 1111 63 0 29403 0 vsize: 117864 [startup+1190.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 26999 0 0 0 118966 55 0 0 25 0 1 0 909726990 121962496 26919 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29776 26919 1111 63 0 29713 0 vsize: 119104 [startup+1200.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) R 27180 31399 31398 0 -1 0 27310 0 0 0 119966 56 0 0 25 0 1 0 909726990 123232256 27230 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30086 27230 1111 63 0 30023 0 vsize: 120344 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.09 s] Raw data (loadavg): 1.00 0.97 0.91 1/54 27238 Raw data (stat): 27181 (bsolo_lpr_cuts-) Z 27180 31399 31398 0 -1 1036 27310 0 0 0 119966 60 0 0 25 0 1 0 909726990 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.09 CPU time (s): 1200.28 CPU user time (s): 1199.67 CPU system time (s): 0.609907 CPU usage (%): 100.015 Max. virtual memory (Kb): 120344 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####