Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-maros-r7.opb |
MD5SUM | 652a81faea87c0443f84aaa4223a3702 |
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 | 125440 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 6576662400 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 4020224000000 |
Number of bits of the biggest number in a constraint | 42 |
Biggest sum of numbers in a constraint | 8483418475850 |
Number of bits of the biggest sum of numbers | 43 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.71574 |
Number of variables | 188160 |
Total number of constraints | 3136 |
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 | 3136 |
Minimum length of a constraint | 100 |
Maximum length of a constraint | 480 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-06-09 11:21:18 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29446 boxname=wulflinc5 idbench=1230 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 652a81faea87c0443f84aaa4223a3702 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-maros-r7.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-maros-r7.opb IDLAUNCH: 29446 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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.007 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: 501472 kB Buffers: 22932 kB Cached: 488172 kB SwapCached: 664 kB Active: 58576 kB Inactive: 454568 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 501220 kB SwapTotal: 2097136 kB SwapFree: 2095460 kB Dirty: 32 kB Writeback: 0 kB Mapped: 5072 kB Slab: 14412 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 11:41:21 (client local time) WITH STATUS 0 IN 1200.26 SECONDS stats: 29446 7 1200.26 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.74 0.89 0.91 1/54 1646 Raw data (stat): 1646 (runsolver) R 1645 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909873738 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.001 s] Raw data (loadavg): 0.78 0.89 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 1195 0 0 0 994 3 0 0 25 0 1 0 909873738 15912960 1115 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3885 1115 1111 63 0 3822 0 vsize: 15540 [startup+20.0017 s] Raw data (loadavg): 0.81 0.89 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 1408 0 0 0 1993 4 0 0 25 0 1 0 909873738 16900096 1328 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4126 1328 1111 63 0 4063 0 vsize: 16504 [startup+30.0029 s] Raw data (loadavg): 0.84 0.90 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 1615 0 0 0 2994 4 0 0 25 0 1 0 909873738 17743872 1535 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4332 1535 1111 63 0 4269 0 vsize: 17328 [startup+40.0032 s] Raw data (loadavg): 0.86 0.90 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 1838 0 0 0 3993 5 0 0 25 0 1 0 909873738 18604032 1758 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4542 1758 1111 63 0 4479 0 vsize: 18168 [startup+50.0029 s] Raw data (loadavg): 0.88 0.90 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 2044 0 0 0 4993 5 0 0 25 0 1 0 909873738 19443712 1964 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4747 1964 1111 63 0 4684 0 vsize: 18988 [startup+60.0034 s] Raw data (loadavg): 0.90 0.90 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 2263 0 0 0 5993 6 0 0 25 0 1 0 909873738 20291584 2183 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4954 2183 1111 63 0 4891 0 vsize: 19816 [startup+70.0034 s] Raw data (loadavg): 0.92 0.91 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 2476 0 0 0 6993 6 0 0 25 0 1 0 909873738 21274624 2396 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5194 2396 1111 63 0 5131 0 vsize: 20776 [startup+80.0042 s] Raw data (loadavg): 0.93 0.91 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 2695 0 0 0 7992 7 0 0 25 0 1 0 909873738 22114304 2615 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5399 2615 1111 63 0 5336 0 vsize: 21596 [startup+90.0043 s] Raw data (loadavg): 0.94 0.91 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 2902 0 0 0 8992 7 0 0 25 0 1 0 909873738 22962176 2822 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5606 2822 1111 63 0 5543 0 vsize: 22424 [startup+100.004 s] Raw data (loadavg): 0.95 0.91 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 3122 0 0 0 9991 8 0 0 25 0 1 0 909873738 23805952 3042 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5812 3042 1111 63 0 5749 0 vsize: 23248 [startup+110.004 s] Raw data (loadavg): 0.95 0.92 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 3336 0 0 0 10991 8 0 0 25 0 1 0 909873738 24797184 3256 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6054 3256 1111 63 0 5991 0 vsize: 24216 [startup+120.006 s] Raw data (loadavg): 0.96 0.92 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 3548 0 0 0 11991 8 0 0 25 0 1 0 909873738 25636864 3468 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6259 3468 1111 63 0 6196 0 vsize: 25036 [startup+130.006 s] Raw data (loadavg): 0.97 0.92 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 3776 0 0 0 12990 9 0 0 25 0 1 0 909873738 26488832 3696 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6467 3696 1111 63 0 6404 0 vsize: 25868 [startup+140.006 s] Raw data (loadavg): 0.97 0.92 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 3989 0 0 0 13990 10 0 0 25 0 1 0 909873738 27488256 3909 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6711 3909 1111 63 0 6648 0 vsize: 26844 [startup+150.006 s] Raw data (loadavg): 0.98 0.92 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 4203 0 0 0 14989 11 0 0 25 0 1 0 909873738 28336128 4123 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6918 4123 1111 63 0 6855 0 vsize: 27672 [startup+160.006 s] Raw data (loadavg): 0.98 0.93 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 4422 0 0 0 15988 12 0 0 25 0 1 0 909873738 29175808 4342 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7123 4342 1111 63 0 7060 0 vsize: 28492 [startup+170.006 s] Raw data (loadavg): 0.98 0.93 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 4638 0 0 0 16987 13 0 0 25 0 1 0 909873738 30023680 4558 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7330 4558 1111 63 0 7267 0 vsize: 29320 [startup+180.007 s] Raw data (loadavg): 0.98 0.93 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 4858 0 0 0 17987 13 0 0 25 0 1 0 909873738 31006720 4778 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7570 4778 1111 63 0 7507 0 vsize: 30280 [startup+190.007 s] Raw data (loadavg): 0.99 0.93 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 5072 0 0 0 18986 14 0 0 25 0 1 0 909873738 31854592 4992 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7777 4992 1111 63 0 7714 0 vsize: 31108 [startup+200.007 s] Raw data (loadavg): 0.99 0.93 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 5291 0 0 0 19986 15 0 0 25 0 1 0 909873738 32694272 5211 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7982 5211 1111 63 0 7919 0 vsize: 31928 [startup+210.007 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 5512 0 0 0 20985 16 0 0 25 0 1 0 909873738 33681408 5432 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8223 5432 1111 63 0 8160 0 vsize: 32892 [startup+220.008 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 5726 0 0 0 21984 16 0 0 25 0 1 0 909873738 34529280 5646 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8430 5646 1111 63 0 8367 0 vsize: 33720 [startup+230.008 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 5947 0 0 0 22984 17 0 0 25 0 1 0 909873738 35368960 5867 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8635 5867 1111 63 0 8572 0 vsize: 34540 [startup+240.009 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 6165 0 0 0 23983 18 0 0 25 0 1 0 909873738 36356096 6085 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8876 6085 1111 63 0 8813 0 vsize: 35504 [startup+250.009 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 6386 0 0 0 24983 18 0 0 25 0 1 0 909873738 37203968 6306 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9083 6306 1111 63 0 9020 0 vsize: 36332 [startup+260.01 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 6616 0 0 0 25983 19 0 0 25 0 1 0 909873738 38203392 6536 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9327 6536 1111 63 0 9264 0 vsize: 37308 [startup+270.01 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 6832 0 0 0 26982 20 0 0 25 0 1 0 909873738 39043072 6752 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9532 6752 1111 63 0 9469 0 vsize: 38128 [startup+280.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 7057 0 0 0 27982 20 0 0 25 0 1 0 909873738 40030208 6977 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9773 6977 1111 63 0 9710 0 vsize: 39092 [startup+290.011 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 7278 0 0 0 28981 21 0 0 25 0 1 0 909873738 40878080 7198 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9980 7198 1111 63 0 9917 0 vsize: 39920 [startup+300.011 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 7500 0 0 0 29981 21 0 0 25 0 1 0 909873738 41861120 7420 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10220 7420 1111 63 0 10157 0 vsize: 40880 [startup+310.011 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 7720 0 0 0 30981 22 0 0 25 0 1 0 909873738 42700800 7640 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10425 7640 1111 63 0 10362 0 vsize: 41700 [startup+320.011 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 7940 0 0 0 31980 22 0 0 25 0 1 0 909873738 43692032 7860 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10667 7860 1111 63 0 10604 0 vsize: 42668 [startup+330.012 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 8168 0 0 0 32980 23 0 0 25 0 1 0 909873738 44535808 8088 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10873 8088 1111 63 0 10810 0 vsize: 43492 [startup+340.013 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 8388 0 0 0 33979 24 0 0 25 0 1 0 909873738 45522944 8308 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11114 8308 1111 63 0 11051 0 vsize: 44456 [startup+350.012 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 8610 0 0 0 34979 24 0 0 25 0 1 0 909873738 46370816 8530 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11321 8530 1111 63 0 11258 0 vsize: 45284 [startup+360.013 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 8843 0 0 0 35979 25 0 0 25 0 1 0 909873738 47349760 8763 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11560 8763 1111 63 0 11497 0 vsize: 46240 [startup+370.013 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 9064 0 0 0 36978 25 0 0 25 0 1 0 909873738 48197632 8984 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11767 8984 1111 63 0 11704 0 vsize: 47068 [startup+380.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 9292 0 0 0 37978 26 0 0 25 0 1 0 909873738 49184768 9212 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12008 9212 1111 63 0 11945 0 vsize: 48032 [startup+390.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 9520 0 0 0 38978 26 0 0 25 0 1 0 909873738 50028544 9440 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12214 9440 1111 63 0 12151 0 vsize: 48856 [startup+400.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 9746 0 0 0 39978 26 0 0 25 0 1 0 909873738 51011584 9666 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12454 9666 1111 63 0 12391 0 vsize: 49816 [startup+410.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 9974 0 0 0 40977 27 0 0 25 0 1 0 909873738 51998720 9894 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12695 9894 1111 63 0 12632 0 vsize: 50780 [startup+420.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 10209 0 0 0 41978 27 0 0 25 0 1 0 909873738 52842496 10129 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12901 10129 1111 63 0 12838 0 vsize: 51604 [startup+430.017 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 10436 0 0 0 42978 27 0 0 25 0 1 0 909873738 53829632 10356 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13142 10356 1111 63 0 13079 0 vsize: 52568 [startup+440.017 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 10665 0 0 0 43978 28 0 0 25 0 1 0 909873738 54816768 10585 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13383 10585 1111 63 0 13320 0 vsize: 53532 [startup+450.017 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 10898 0 0 0 44977 28 0 0 25 0 1 0 909873738 55656448 10818 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13588 10818 1111 63 0 13525 0 vsize: 54352 [startup+460.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 11125 0 0 0 45977 28 0 0 25 0 1 0 909873738 56643584 11045 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13829 11045 1111 63 0 13766 0 vsize: 55316 [startup+470.017 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 11353 0 0 0 46976 29 0 0 25 0 1 0 909873738 57630720 11273 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14070 11273 1111 63 0 14007 0 vsize: 56280 [startup+480.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 11586 0 0 0 47976 29 0 0 25 0 1 0 909873738 58478592 11506 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14277 11506 1111 63 0 14214 0 vsize: 57108 [startup+490.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 11819 0 0 0 48976 30 0 0 25 0 1 0 909873738 59457536 11739 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14516 11739 1111 63 0 14453 0 vsize: 58064 [startup+500.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 12066 0 0 0 49976 30 0 0 25 0 1 0 909873738 60674048 11986 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14813 11986 1111 63 0 14750 0 vsize: 59252 [startup+510.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 12292 0 0 0 50976 30 0 0 25 0 1 0 909873738 61513728 12212 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15018 12212 1111 63 0 14955 0 vsize: 60072 [startup+520.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 12527 0 0 0 51976 31 0 0 25 0 1 0 909873738 62496768 12447 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15258 12447 1111 63 0 15195 0 vsize: 61032 [startup+530.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 12762 0 0 0 52976 31 0 0 25 0 1 0 909873738 63488000 12682 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15500 12682 1111 63 0 15437 0 vsize: 62000 [startup+540.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 12994 0 0 0 53976 31 0 0 25 0 1 0 909873738 64466944 12914 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15739 12914 1111 63 0 15676 0 vsize: 62956 [startup+550.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 13229 0 0 0 54976 32 0 0 25 0 1 0 909873738 65310720 13149 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15945 13149 1111 63 0 15882 0 vsize: 63780 [startup+560.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 13464 0 0 0 55975 32 0 0 25 0 1 0 909873738 66297856 13384 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16186 13384 1111 63 0 16123 0 vsize: 64744 [startup+570.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 13698 0 0 0 56975 32 0 0 25 0 1 0 909873738 67284992 13618 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16427 13618 1111 63 0 16364 0 vsize: 65708 [startup+580.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 13934 0 0 0 57975 33 0 0 25 0 1 0 909873738 68272128 13854 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16668 13854 1111 63 0 16605 0 vsize: 66672 [startup+590.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 14167 0 0 0 58975 33 0 0 25 0 1 0 909873738 69251072 14087 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16907 14087 1111 63 0 16844 0 vsize: 67628 [startup+600.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 14401 0 0 0 59975 34 0 0 25 0 1 0 909873738 70098944 14321 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17114 14321 1111 63 0 17051 0 vsize: 68456 [startup+610.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 14643 0 0 0 60974 34 0 0 25 0 1 0 909873738 71086080 14563 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17355 14563 1111 63 0 17292 0 vsize: 69420 [startup+620.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 14878 0 0 0 61974 35 0 0 25 0 1 0 909873738 72073216 14798 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17596 14798 1111 63 0 17533 0 vsize: 70384 [startup+630.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 15119 0 0 0 62973 35 0 0 25 0 1 0 909873738 73060352 15039 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17837 15039 1111 63 0 17774 0 vsize: 71348 [startup+640.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 15352 0 0 0 63973 36 0 0 25 0 1 0 909873738 74039296 15272 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18076 15272 1111 63 0 18013 0 vsize: 72304 [startup+650.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 15588 0 0 0 64973 36 0 0 25 0 1 0 909873738 75026432 15508 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18317 15508 1111 63 0 18254 0 vsize: 73268 [startup+660.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 15828 0 0 0 65973 36 0 0 25 0 1 0 909873738 76013568 15748 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18558 15748 1111 63 0 18495 0 vsize: 74232 [startup+670.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 16070 0 0 0 66973 37 0 0 25 0 1 0 909873738 77000704 15990 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18799 15990 1111 63 0 18736 0 vsize: 75196 [startup+680.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 16306 0 0 0 67972 38 0 0 25 0 1 0 909873738 77987840 16226 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19040 16226 1111 63 0 18977 0 vsize: 76160 [startup+690.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 16546 0 0 0 68972 38 0 0 25 0 1 0 909873738 78974976 16466 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19281 16466 1111 63 0 19218 0 vsize: 77124 [startup+700.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 16787 0 0 0 69971 39 0 0 25 0 1 0 909873738 79953920 16707 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19520 16707 1111 63 0 19457 0 vsize: 78080 [startup+710.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 17028 0 0 0 70971 39 0 0 25 0 1 0 909873738 80941056 16948 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19761 16948 1111 63 0 19698 0 vsize: 79044 [startup+720.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 17269 0 0 0 71971 39 0 0 25 0 1 0 909873738 81928192 17189 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20002 17189 1111 63 0 19939 0 vsize: 80008 [startup+730.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 17511 0 0 0 72971 40 0 0 25 0 1 0 909873738 82915328 17431 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20243 17431 1111 63 0 20180 0 vsize: 80972 [startup+740.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 17753 0 0 0 73971 40 0 0 25 0 1 0 909873738 83902464 17673 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20484 17673 1111 63 0 20421 0 vsize: 81936 [startup+750.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 17993 0 0 0 74970 41 0 0 25 0 1 0 909873738 84881408 17913 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20723 17913 1111 63 0 20660 0 vsize: 82892 [startup+760.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 18235 0 0 0 75970 41 0 0 25 0 1 0 909873738 85868544 18155 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20964 18155 1111 63 0 20901 0 vsize: 83856 [startup+770.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 18483 0 0 0 76970 42 0 0 25 0 1 0 909873738 86855680 18403 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21205 18403 1111 63 0 21142 0 vsize: 84820 [startup+780.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 18718 0 0 0 77970 42 0 0 25 0 1 0 909873738 87842816 18638 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21446 18638 1111 63 0 21383 0 vsize: 85784 [startup+790.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 18967 0 0 0 78969 43 0 0 25 0 1 0 909873738 88829952 18887 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21687 18887 1111 63 0 21624 0 vsize: 86748 [startup+800.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 19214 0 0 0 79969 43 0 0 25 0 1 0 909873738 89817088 19134 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21928 19134 1111 63 0 21865 0 vsize: 87712 [startup+810.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 19455 0 0 0 80969 44 0 0 25 0 1 0 909873738 90796032 19375 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22167 19375 1111 63 0 22104 0 vsize: 88668 [startup+820.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 19697 0 0 0 81968 44 0 0 25 0 1 0 909873738 91783168 19617 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22408 19617 1111 63 0 22345 0 vsize: 89632 [startup+830.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 19945 0 0 0 82968 44 0 0 25 0 1 0 909873738 92770304 19865 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22649 19865 1111 63 0 22586 0 vsize: 90596 [startup+840.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 20193 0 0 0 83968 45 0 0 25 0 1 0 909873738 93757440 20113 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22890 20113 1111 63 0 22827 0 vsize: 91560 [startup+850.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 20442 0 0 0 84968 45 0 0 25 0 1 0 909873738 94883840 20362 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23165 20362 1111 63 0 23102 0 vsize: 92660 [startup+860.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 20683 0 0 0 85968 46 0 0 25 0 1 0 909873738 95870976 20603 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23406 20603 1111 63 0 23343 0 vsize: 93624 [startup+870.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 20931 0 0 0 86968 46 0 0 25 0 1 0 909873738 96849920 20851 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23645 20851 1111 63 0 23582 0 vsize: 94580 [startup+880.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 21179 0 0 0 87967 47 0 0 25 0 1 0 909873738 97837056 21099 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23886 21099 1111 63 0 23823 0 vsize: 95544 [startup+890.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 21427 0 0 0 88966 48 0 0 25 0 1 0 909873738 98824192 21347 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24127 21347 1111 63 0 24064 0 vsize: 96508 [startup+900.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 21676 0 0 0 89966 48 0 0 25 0 1 0 909873738 99811328 21596 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24368 21596 1111 63 0 24305 0 vsize: 97472 [startup+910.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 21925 0 0 0 90966 48 0 0 25 0 1 0 909873738 100937728 21845 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24643 21845 1111 63 0 24580 0 vsize: 98572 [startup+920.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 22178 0 0 0 91966 49 0 0 25 0 1 0 909873738 101924864 22098 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24884 22098 1111 63 0 24821 0 vsize: 99536 [startup+930.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 22427 0 0 0 92966 49 0 0 25 0 1 0 909873738 102903808 22347 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25123 22347 1111 63 0 25060 0 vsize: 100492 [startup+940.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 22674 0 0 0 93965 50 0 0 25 0 1 0 909873738 103890944 22594 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25364 22594 1111 63 0 25301 0 vsize: 101456 [startup+950.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 22922 0 0 0 94965 50 0 0 25 0 1 0 909873738 105017344 22842 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25639 22842 1111 63 0 25576 0 vsize: 102556 [startup+960.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 23210 0 0 0 95965 51 0 0 25 0 1 0 909873738 106369024 23130 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25969 23130 1111 63 0 25906 0 vsize: 103876 [startup+970.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 23458 0 0 0 96964 51 0 0 25 0 1 0 909873738 107352064 23378 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26209 23378 1111 63 0 26146 0 vsize: 104836 [startup+980.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 23713 0 0 0 97964 52 0 0 25 0 1 0 909873738 108478464 23633 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26484 23633 1111 63 0 26421 0 vsize: 105936 [startup+990.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 23962 0 0 0 98964 52 0 0 25 0 1 0 909873738 109465600 23882 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26725 23882 1111 63 0 26662 0 vsize: 106900 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 24215 0 0 0 99964 53 0 0 25 0 1 0 909873738 110444544 24135 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26964 24135 1111 63 0 26901 0 vsize: 107856 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 24470 0 0 0 100963 53 0 0 25 0 1 0 909873738 111575040 24390 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27240 24390 1111 63 0 27177 0 vsize: 108960 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 24720 0 0 0 101963 54 0 0 25 0 1 0 909873738 112558080 24640 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27480 24640 1111 63 0 27417 0 vsize: 109920 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 24974 0 0 0 102962 54 0 0 25 0 1 0 909873738 113545216 24894 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27721 24894 1111 63 0 27658 0 vsize: 110884 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 25231 0 0 0 103962 55 0 0 25 0 1 0 909873738 114671616 25151 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27996 25151 1111 63 0 27933 0 vsize: 111984 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 25485 0 0 0 104962 55 0 0 25 0 1 0 909873738 115658752 25405 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28237 25405 1111 63 0 28174 0 vsize: 112948 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 25740 0 0 0 105961 56 0 0 25 0 1 0 909873738 116785152 25660 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28512 25660 1111 63 0 28449 0 vsize: 114048 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 25996 0 0 0 106961 56 0 0 25 0 1 0 909873738 117768192 25916 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28752 25916 1111 63 0 28689 0 vsize: 115008 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 26249 0 0 0 107961 56 0 0 25 0 1 0 909873738 118751232 26169 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28992 26169 1111 63 0 28929 0 vsize: 115968 [startup+1090.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 26505 0 0 0 108961 57 0 0 25 0 1 0 909873738 119881728 26425 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29268 26425 1111 63 0 29205 0 vsize: 117072 [startup+1100.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 26761 0 0 0 109961 57 0 0 25 0 1 0 909873738 120868864 26681 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29509 26681 1111 63 0 29446 0 vsize: 118036 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 27022 0 0 0 110961 58 0 0 25 0 1 0 909873738 121995264 26942 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29784 26942 1111 63 0 29721 0 vsize: 119136 [startup+1120.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 27285 0 0 0 111960 58 0 0 25 0 1 0 909873738 122978304 27205 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30024 27205 1111 63 0 29961 0 vsize: 120096 [startup+1130.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 27540 0 0 0 112960 59 0 0 25 0 1 0 909873738 124108800 27460 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30300 27460 1111 63 0 30237 0 vsize: 121200 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 27795 0 0 0 113960 59 0 0 25 0 1 0 909873738 125095936 27715 4294967295 134512640 134716908 3221224560 3221222788 1077414347 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30541 27715 1111 63 0 30478 0 vsize: 122164 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 28058 0 0 0 114960 59 0 0 25 0 1 0 909873738 126222336 27978 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30816 27978 1111 63 0 30753 0 vsize: 123264 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 28318 0 0 0 115959 60 0 0 25 0 1 0 909873738 127201280 28238 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31055 28238 1111 63 0 30992 0 vsize: 124220 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 28579 0 0 0 116959 60 0 0 25 0 1 0 909873738 128327680 28499 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31330 28499 1111 63 0 31267 0 vsize: 125320 [startup+1180.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 28836 0 0 0 117959 61 0 0 25 0 1 0 909873738 129314816 28756 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31571 28756 1111 63 0 31508 0 vsize: 126284 [startup+1190.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 29097 0 0 0 118959 61 0 0 25 0 1 0 909873738 130441216 29017 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31846 29017 1111 63 0 31783 0 vsize: 127384 [startup+1200.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) R 1645 7266 7265 0 -1 0 29361 0 0 0 119958 61 0 0 25 0 1 0 909873738 131567616 29281 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32121 29281 1111 63 0 32058 0 vsize: 128484 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.09 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 1646 Raw data (stat): 1646 (bsolo_lpr_cuts-) Z 1645 7266 7265 0 -1 1036 29361 0 0 0 119958 67 0 0 25 0 1 0 909873738 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.09 CPU time (s): 1200.26 CPU user time (s): 1199.59 CPU system time (s): 0.673897 CPU usage (%): 100.014 Max. virtual memory (Kb): 128484 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####