Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-bg512142.opb |
MD5SUM | 0f3e1a19529370afcd1348994ae2c757 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2147483647 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 6480 |
Biggest coefficient in the objective function | 5242880000 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 755791986840 |
Number of bits of the sum of numbers in the objective function | 40 |
Biggest number in a constraint | 5242880000 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 755791986840 |
Number of bits of the biggest sum of numbers | 40 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1246.02 |
Number of variables | 11280 |
Total number of constraints | 1307 |
Number of constraints which are clauses | 11 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1296 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 123 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-06-09 20:02:49 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29750 boxname=wulflinc5 idbench=1534 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 0f3e1a19529370afcd1348994ae2c757 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-bg512142.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-bg512142.opb IDLAUNCH: 29750 /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: 889408 kB Buffers: 9044 kB Cached: 114912 kB SwapCached: 620 kB Active: 27428 kB Inactive: 98516 kB HighTotal: 131008 kB HighFree: 16156 kB LowTotal: 903652 kB LowFree: 873252 kB SwapTotal: 2097136 kB SwapFree: 2095508 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5076 kB Slab: 13620 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 20:22:24 (client local time) WITH STATUS 0 IN 1175.05 SECONDS stats: 29750 7 1175.05 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 11280 variables and 1185 constraints. c After prepocess the problem consists of 10593 variables and 1312 constraints. c preprocess terminated 61.32 s c Initial Lower Bound: 18478601 c Lower Bound Elapsed time: 28.461 c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.02 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.92 0.98 0.91 2/54 6342 Raw data (stat): 6342 (runsolver) R 6341 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 913003200 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.0008 s] Raw data (loadavg): 0.93 0.98 0.91 2/54 6342 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 8085 0 0 0 979 18 0 0 25 0 1 0 913003200 46108672 8005 4294967295 134512640 134716908 3221224560 3221221180 1077244613 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11257 8005 1111 63 0 11194 0 vsize: 45028 [startup+20.0016 s] Raw data (loadavg): 0.94 0.98 0.91 2/54 6342 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 12806 0 0 0 1967 30 0 0 25 0 1 0 913003200 55455744 12636 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13539 12636 1111 63 0 13476 0 vsize: 54156 [startup+30.0029 s] Raw data (loadavg): 0.95 0.98 0.91 2/54 6342 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 12876 0 0 0 2967 30 0 0 25 0 1 0 913003200 55726080 12702 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13605 12702 1111 63 0 13542 0 vsize: 54420 [startup+40.0031 s] Raw data (loadavg): 0.96 0.98 0.91 2/54 6342 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 12876 0 0 0 3966 31 0 0 25 0 1 0 913003200 55726080 12702 4294967295 134512640 134716908 3221224560 3221223360 134617618 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13605 12702 1111 63 0 13542 0 vsize: 54420 [startup+50.0038 s] Raw data (loadavg): 0.96 0.98 0.91 2/54 6342 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 12876 0 0 0 4966 31 0 0 25 0 1 0 913003200 55726080 12702 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13605 12702 1111 63 0 13542 0 vsize: 54420 [startup+60.004 s] Raw data (loadavg): 0.97 0.98 0.91 2/54 6342 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 12876 0 0 0 5965 31 0 0 25 0 1 0 913003200 55726080 12702 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13605 12702 1111 63 0 13542 0 vsize: 54420 [startup+70.0052 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 6342 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 14956 0 0 0 6960 37 0 0 25 0 1 0 913003200 60878848 14018 4294967295 134512640 134716908 3221224560 3221220428 1074788201 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14863 14018 1111 63 0 14800 0 vsize: 59452 [startup+80.006 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 6342 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 15003 0 0 0 7960 37 0 0 25 0 1 0 913003200 60964864 14043 4294967295 134512640 134716908 3221224560 3221220404 1074786571 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14884 14043 1111 63 0 14821 0 vsize: 59536 [startup+90.0062 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 6342 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 15047 0 0 0 8960 38 0 0 25 0 1 0 913003200 60964864 14067 4294967295 134512640 134716908 3221224560 3221220320 1074868672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14884 14067 1111 63 0 14821 0 vsize: 59536 [startup+100.006 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 6342 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 16038 0 0 0 9957 41 0 0 25 0 1 0 913003200 59703296 13761 4294967295 134512640 134716908 3221224560 3221221384 1074950119 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14576 13761 1111 63 0 14513 0 vsize: 58304 [startup+110.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6342 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 16038 0 0 0 10957 41 0 0 25 0 1 0 913003200 59703296 13761 4294967295 134512640 134716908 3221224560 3221220496 1074790292 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14576 13761 1111 63 0 14513 0 vsize: 58304 [startup+120.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6342 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 19850 0 0 0 11950 48 0 0 25 0 1 0 913003200 62218240 14410 4294967295 134512640 134716908 3221224560 3221222512 1074140575 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15190 14412 1111 63 0 15127 0 vsize: 60760 [startup+130.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6342 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 21492 0 0 0 12947 51 0 0 25 0 1 0 913003200 64786432 14967 4294967295 134512640 134716908 3221224560 3221220448 1074875093 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15817 14967 1111 63 0 15754 0 vsize: 63268 [startup+140.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6342 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 25498 0 0 0 13938 60 0 0 25 0 1 0 913003200 66416640 15360 4294967295 134512640 134716908 3221224560 3221220448 1074875133 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16215 15360 1111 63 0 16152 0 vsize: 64860 [startup+150.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6342 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 25512 0 0 0 14938 60 0 0 25 0 1 0 913003200 66441216 15374 4294967295 134512640 134716908 3221224560 3221220448 1074875093 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16221 15374 1111 63 0 16158 0 vsize: 64884 [startup+160.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6342 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 25516 0 0 0 15938 60 0 0 25 0 1 0 913003200 66441216 15378 4294967295 134512640 134716908 3221224560 3221220448 1074875045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16221 15378 1111 63 0 16158 0 vsize: 64884 [startup+170.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6342 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 25516 0 0 0 16938 60 0 0 25 0 1 0 913003200 66441216 15378 4294967295 134512640 134716908 3221224560 3221220448 1074875093 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16221 15378 1111 63 0 16158 0 vsize: 64884 [startup+180.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27088 0 0 0 17935 63 0 0 25 0 1 0 913003200 62164992 14431 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15177 14431 1111 63 0 15114 0 vsize: 60708 [startup+190.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27090 0 0 0 18935 63 0 0 25 0 1 0 913003200 62164992 14433 4294967295 134512640 134716908 3221224560 3221223340 134600365 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15177 14433 1111 63 0 15114 0 vsize: 60708 [startup+200.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27093 0 0 0 19935 64 0 0 25 0 1 0 913003200 62164992 14436 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15177 14436 1111 63 0 15114 0 vsize: 60708 [startup+210.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27093 0 0 0 20935 64 0 0 25 0 1 0 913003200 62164992 14436 4294967295 134512640 134716908 3221224560 3221223324 134592356 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15177 14436 1111 63 0 15114 0 vsize: 60708 [startup+220.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27093 0 0 0 21935 64 0 0 25 0 1 0 913003200 62164992 14436 4294967295 134512640 134716908 3221224560 3221223360 134597597 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15177 14436 1111 63 0 15114 0 vsize: 60708 [startup+230.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27099 0 0 0 22935 65 0 0 25 0 1 0 913003200 62300160 14442 4294967295 134512640 134716908 3221224560 3221223200 134698437 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15210 14442 1111 63 0 15147 0 vsize: 60840 [startup+240.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27138 0 0 0 23935 65 0 0 25 0 1 0 913003200 62435328 14481 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15243 14481 1111 63 0 15180 0 vsize: 60972 [startup+250.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27178 0 0 0 24935 65 0 0 25 0 1 0 913003200 62570496 14521 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15276 14521 1111 63 0 15213 0 vsize: 61104 [startup+260.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27218 0 0 0 25934 66 0 0 25 0 1 0 913003200 62705664 14561 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15309 14561 1111 63 0 15246 0 vsize: 61236 [startup+270.014 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27266 0 0 0 26934 67 0 0 25 0 1 0 913003200 62976000 14609 4294967295 134512640 134716908 3221224560 3221223312 134592438 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15375 14609 1111 63 0 15312 0 vsize: 61500 [startup+280.014 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27296 0 0 0 27933 67 0 0 25 0 1 0 913003200 63111168 14639 4294967295 134512640 134716908 3221224560 3221223360 134597773 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15408 14639 1111 63 0 15345 0 vsize: 61632 [startup+290.014 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27327 0 0 0 28933 67 0 0 25 0 1 0 913003200 63246336 14670 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15441 14670 1111 63 0 15378 0 vsize: 61764 [startup+300.015 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27392 0 0 0 29933 68 0 0 25 0 1 0 913003200 63516672 14735 4294967295 134512640 134716908 3221224560 3221223264 134528410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15507 14735 1111 63 0 15444 0 vsize: 62028 [startup+310.014 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27453 0 0 0 30932 69 0 0 25 0 1 0 913003200 63651840 14796 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15540 14796 1111 63 0 15477 0 vsize: 62160 [startup+320.015 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27503 0 0 0 31932 69 0 0 25 0 1 0 913003200 63922176 14846 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15606 14846 1111 63 0 15543 0 vsize: 62424 [startup+330.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27546 0 0 0 32931 70 0 0 25 0 1 0 913003200 64057344 14889 4294967295 134512640 134716908 3221224560 3221223304 134675312 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15639 14889 1111 63 0 15576 0 vsize: 62556 [startup+340.015 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27588 0 0 0 33931 71 0 0 25 0 1 0 913003200 64192512 14931 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15672 14931 1111 63 0 15609 0 vsize: 62688 [startup+350.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27637 0 0 0 34930 71 0 0 25 0 1 0 913003200 64462848 14980 4294967295 134512640 134716908 3221224560 3221223360 134597705 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15738 14980 1111 63 0 15675 0 vsize: 62952 [startup+360.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27666 0 0 0 35930 72 0 0 25 0 1 0 913003200 64598016 15009 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15771 15009 1111 63 0 15708 0 vsize: 63084 [startup+370.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27693 0 0 0 36930 72 0 0 25 0 1 0 913003200 64733184 15036 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15804 15036 1111 63 0 15741 0 vsize: 63216 [startup+380.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27709 0 0 0 37930 73 0 0 25 0 1 0 913003200 64733184 15052 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15804 15052 1111 63 0 15741 0 vsize: 63216 [startup+390.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27720 0 0 0 38929 73 0 0 25 0 1 0 913003200 64733184 15063 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15804 15063 1111 63 0 15741 0 vsize: 63216 [startup+400.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27732 0 0 0 39930 73 0 0 25 0 1 0 913003200 64868352 15075 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15837 15075 1111 63 0 15774 0 vsize: 63348 [startup+410.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27735 0 0 0 40929 74 0 0 25 0 1 0 913003200 64868352 15078 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15837 15078 1111 63 0 15774 0 vsize: 63348 [startup+420.018 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27746 0 0 0 41929 74 0 0 25 0 1 0 913003200 64868352 15089 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15837 15089 1111 63 0 15774 0 vsize: 63348 [startup+430.018 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27750 0 0 0 42928 75 0 0 25 0 1 0 913003200 64868352 15093 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15837 15093 1111 63 0 15774 0 vsize: 63348 [startup+440.024 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27758 0 0 0 43929 76 0 0 25 0 1 0 913003200 65003520 15101 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15870 15101 1111 63 0 15807 0 vsize: 63480 [startup+450.024 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27767 0 0 0 44929 76 0 0 25 0 1 0 913003200 65003520 15110 4294967295 134512640 134716908 3221224560 3221223184 134542325 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15870 15110 1111 63 0 15807 0 vsize: 63480 [startup+460.023 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27783 0 0 0 45929 76 0 0 25 0 1 0 913003200 65003520 15126 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15870 15126 1111 63 0 15807 0 vsize: 63480 [startup+470.025 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27787 0 0 0 46928 76 0 0 25 0 1 0 913003200 65138688 15130 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15903 15130 1111 63 0 15840 0 vsize: 63612 [startup+480.025 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27792 0 0 0 47928 77 0 0 25 0 1 0 913003200 65138688 15135 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15903 15135 1111 63 0 15840 0 vsize: 63612 [startup+490.024 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27800 0 0 0 48928 77 0 0 25 0 1 0 913003200 65138688 15143 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15903 15143 1111 63 0 15840 0 vsize: 63612 [startup+500.026 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27805 0 0 0 49928 77 0 0 25 0 1 0 913003200 65138688 15148 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15903 15148 1111 63 0 15840 0 vsize: 63612 [startup+510.025 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27825 0 0 0 50928 78 0 0 25 0 1 0 913003200 65273856 15168 4294967295 134512640 134716908 3221224560 3221223360 134597648 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15936 15168 1111 63 0 15873 0 vsize: 63744 [startup+520.026 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27857 0 0 0 51928 78 0 0 25 0 1 0 913003200 65409024 15200 4294967295 134512640 134716908 3221224560 3221223360 134597743 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15969 15200 1111 63 0 15906 0 vsize: 63876 [startup+530.026 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27898 0 0 0 52927 79 0 0 25 0 1 0 913003200 65544192 15241 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16002 15241 1111 63 0 15939 0 vsize: 64008 [startup+540.027 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27931 0 0 0 53927 79 0 0 25 0 1 0 913003200 65679360 15274 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16035 15274 1111 63 0 15972 0 vsize: 64140 [startup+550.027 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 27948 0 0 0 54927 79 0 0 25 0 1 0 913003200 65679360 15291 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16035 15291 1111 63 0 15972 0 vsize: 64140 [startup+560.027 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28123 0 0 0 55926 80 0 0 25 0 1 0 913003200 66490368 15466 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16233 15466 1111 63 0 16170 0 vsize: 64932 [startup+570.028 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28416 0 0 0 56925 82 0 0 25 0 1 0 913003200 67706880 15759 4294967295 134512640 134716908 3221224560 3221223360 134597698 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16530 15759 1111 63 0 16467 0 vsize: 66120 [startup+580.028 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28472 0 0 0 57925 82 0 0 25 0 1 0 913003200 67842048 15815 4294967295 134512640 134716908 3221224560 3221223360 134597733 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16563 15815 1111 63 0 16500 0 vsize: 66252 [startup+590.029 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28472 0 0 0 58925 82 0 0 25 0 1 0 913003200 67842048 15815 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16563 15815 1111 63 0 16500 0 vsize: 66252 [startup+600.029 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28472 0 0 0 59925 83 0 0 25 0 1 0 913003200 67842048 15815 4294967295 134512640 134716908 3221224560 3221223340 134600365 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16563 15815 1111 63 0 16500 0 vsize: 66252 [startup+610.029 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28472 0 0 0 60925 83 0 0 25 0 1 0 913003200 67842048 15815 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16563 15815 1111 63 0 16500 0 vsize: 66252 [startup+620.03 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28472 0 0 0 61925 83 0 0 25 0 1 0 913003200 67842048 15815 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16563 15815 1111 63 0 16500 0 vsize: 66252 [startup+630.031 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28472 0 0 0 62925 83 0 0 25 0 1 0 913003200 67842048 15815 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16563 15815 1111 63 0 16500 0 vsize: 66252 [startup+640.032 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28482 0 0 0 63925 83 0 0 25 0 1 0 913003200 67977216 15825 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16596 15825 1111 63 0 16533 0 vsize: 66384 [startup+650.032 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28488 0 0 0 64925 83 0 0 25 0 1 0 913003200 67977216 15831 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16596 15831 1111 63 0 16533 0 vsize: 66384 [startup+660.033 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28488 0 0 0 65925 84 0 0 25 0 1 0 913003200 67977216 15831 4294967295 134512640 134716908 3221224560 3221223324 134613559 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16596 15831 1111 63 0 16533 0 vsize: 66384 [startup+670.033 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28492 0 0 0 66925 84 0 0 25 0 1 0 913003200 67977216 15835 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16596 15835 1111 63 0 16533 0 vsize: 66384 [startup+680.034 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28493 0 0 0 67925 84 0 0 25 0 1 0 913003200 67977216 15836 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16596 15836 1111 63 0 16533 0 vsize: 66384 [startup+690.034 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28499 0 0 0 68925 84 0 0 25 0 1 0 913003200 67977216 15842 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16596 15842 1111 63 0 16533 0 vsize: 66384 [startup+700.034 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28503 0 0 0 69925 84 0 0 25 0 1 0 913003200 67977216 15846 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16596 15846 1111 63 0 16533 0 vsize: 66384 [startup+710.035 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28503 0 0 0 70925 84 0 0 25 0 1 0 913003200 67977216 15846 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16596 15846 1111 63 0 16533 0 vsize: 66384 [startup+720.035 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28503 0 0 0 71925 85 0 0 25 0 1 0 913003200 67977216 15846 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16596 15846 1111 63 0 16533 0 vsize: 66384 [startup+730.035 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28503 0 0 0 72925 85 0 0 25 0 1 0 913003200 67977216 15846 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16596 15846 1111 63 0 16533 0 vsize: 66384 [startup+740.035 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28503 0 0 0 73925 85 0 0 25 0 1 0 913003200 67977216 15846 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16596 15846 1111 63 0 16533 0 vsize: 66384 [startup+750.036 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28503 0 0 0 74925 85 0 0 25 0 1 0 913003200 67977216 15846 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16596 15846 1111 63 0 16533 0 vsize: 66384 [startup+760.036 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28504 0 0 0 75925 86 0 0 25 0 1 0 913003200 67977216 15847 4294967295 134512640 134716908 3221224560 3221223340 134600348 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16596 15847 1111 63 0 16533 0 vsize: 66384 [startup+770.036 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28692 0 0 0 76924 87 0 0 25 0 1 0 913003200 68788224 16035 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16794 16035 1111 63 0 16731 0 vsize: 67176 [startup+780.036 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28928 0 0 0 77923 88 0 0 25 0 1 0 913003200 69734400 16271 4294967295 134512640 134716908 3221224560 3221223184 134543097 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17025 16271 1111 63 0 16962 0 vsize: 68100 [startup+790.036 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28928 0 0 0 78923 88 0 0 25 0 1 0 913003200 69734400 16271 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17025 16271 1111 63 0 16962 0 vsize: 68100 [startup+800.036 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 28929 0 0 0 79923 88 0 0 25 0 1 0 913003200 69734400 16272 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17025 16272 1111 63 0 16962 0 vsize: 68100 [startup+810.036 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29014 0 0 0 80923 89 0 0 25 0 1 0 913003200 70139904 16357 4294967295 134512640 134716908 3221224560 3221223360 134597698 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16357 1111 63 0 17061 0 vsize: 68496 [startup+820.035 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29014 0 0 0 81923 89 0 0 25 0 1 0 913003200 70139904 16357 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16357 1111 63 0 17061 0 vsize: 68496 [startup+830.035 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29014 0 0 0 82923 89 0 0 25 0 1 0 913003200 70139904 16357 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16357 1111 63 0 17061 0 vsize: 68496 [startup+840.035 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29014 0 0 0 83923 89 0 0 25 0 1 0 913003200 70139904 16357 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16357 1111 63 0 17061 0 vsize: 68496 [startup+850.035 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29014 0 0 0 84923 89 0 0 25 0 1 0 913003200 70139904 16357 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16357 1111 63 0 17061 0 vsize: 68496 [startup+860.035 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29014 0 0 0 85923 90 0 0 25 0 1 0 913003200 70139904 16357 4294967295 134512640 134716908 3221224560 3221223360 134597754 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16357 1111 63 0 17061 0 vsize: 68496 [startup+870.035 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29014 0 0 0 86923 90 0 0 25 0 1 0 913003200 70139904 16357 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16357 1111 63 0 17061 0 vsize: 68496 [startup+880.036 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29014 0 0 0 87923 90 0 0 25 0 1 0 913003200 70139904 16357 4294967295 134512640 134716908 3221224560 3221223360 134597705 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16357 1111 63 0 17061 0 vsize: 68496 [startup+890.036 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29014 0 0 0 88923 90 0 0 25 0 1 0 913003200 70139904 16357 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16357 1111 63 0 17061 0 vsize: 68496 [startup+900.036 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29023 0 0 0 89923 90 0 0 25 0 1 0 913003200 70139904 16366 4294967295 134512640 134716908 3221224560 3221223340 134600348 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16366 1111 63 0 17061 0 vsize: 68496 [startup+910.036 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29025 0 0 0 90923 90 0 0 25 0 1 0 913003200 70139904 16368 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16368 1111 63 0 17061 0 vsize: 68496 [startup+920.036 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29026 0 0 0 91923 90 0 0 25 0 1 0 913003200 70139904 16369 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16369 1111 63 0 17061 0 vsize: 68496 [startup+930.036 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29026 0 0 0 92922 91 0 0 25 0 1 0 913003200 70139904 16369 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16369 1111 63 0 17061 0 vsize: 68496 [startup+940.035 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29026 0 0 0 93922 92 0 0 25 0 1 0 913003200 70139904 16369 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16369 1111 63 0 17061 0 vsize: 68496 [startup+950.035 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29027 0 0 0 94922 92 0 0 25 0 1 0 913003200 70139904 16370 4294967295 134512640 134716908 3221224560 3221223324 134613559 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16370 1111 63 0 17061 0 vsize: 68496 [startup+960.036 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29027 0 0 0 95922 92 0 0 25 0 1 0 913003200 70139904 16370 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16370 1111 63 0 17061 0 vsize: 68496 [startup+970.035 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29027 0 0 0 96922 92 0 0 25 0 1 0 913003200 70139904 16370 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16370 1111 63 0 17061 0 vsize: 68496 [startup+980.035 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29027 0 0 0 97922 92 0 0 25 0 1 0 913003200 70139904 16370 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16370 1111 63 0 17061 0 vsize: 68496 [startup+990.035 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29029 0 0 0 98922 92 0 0 25 0 1 0 913003200 70139904 16372 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16372 1111 63 0 17061 0 vsize: 68496 [startup+1000.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29029 0 0 0 99922 93 0 0 25 0 1 0 913003200 70139904 16372 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16372 1111 63 0 17061 0 vsize: 68496 [startup+1010.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29029 0 0 0 100922 93 0 0 25 0 1 0 913003200 70139904 16372 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16372 1111 63 0 17061 0 vsize: 68496 [startup+1020.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29029 0 0 0 101922 93 0 0 25 0 1 0 913003200 70139904 16372 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16372 1111 63 0 17061 0 vsize: 68496 [startup+1030.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29029 0 0 0 102922 94 0 0 25 0 1 0 913003200 70139904 16372 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16372 1111 63 0 17061 0 vsize: 68496 [startup+1040.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29029 0 0 0 103921 94 0 0 25 0 1 0 913003200 70139904 16372 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16372 1111 63 0 17061 0 vsize: 68496 [startup+1050.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29029 0 0 0 104921 94 0 0 25 0 1 0 913003200 70139904 16372 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16372 1111 63 0 17061 0 vsize: 68496 [startup+1060.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29030 0 0 0 105921 95 0 0 25 0 1 0 913003200 70139904 16373 4294967295 134512640 134716908 3221224560 3221223228 134543615 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16373 1111 63 0 17061 0 vsize: 68496 [startup+1070.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29030 0 0 0 106921 95 0 0 25 0 1 0 913003200 70139904 16373 4294967295 134512640 134716908 3221224560 3221223272 134535770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16373 1111 63 0 17061 0 vsize: 68496 [startup+1080.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29030 0 0 0 107921 95 0 0 25 0 1 0 913003200 70139904 16373 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16373 1111 63 0 17061 0 vsize: 68496 [startup+1090.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29030 0 0 0 108921 95 0 0 25 0 1 0 913003200 70139904 16373 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16373 1111 63 0 17061 0 vsize: 68496 [startup+1100.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29030 0 0 0 109920 96 0 0 25 0 1 0 913003200 70139904 16373 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16373 1111 63 0 17061 0 vsize: 68496 [startup+1110.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29030 0 0 0 110920 96 0 0 25 0 1 0 913003200 70139904 16373 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16373 1111 63 0 17061 0 vsize: 68496 [startup+1120.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29030 0 0 0 111920 97 0 0 25 0 1 0 913003200 70139904 16373 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16373 1111 63 0 17061 0 vsize: 68496 [startup+1130.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29030 0 0 0 112921 97 0 0 25 0 1 0 913003200 70139904 16373 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16373 1111 63 0 17061 0 vsize: 68496 [startup+1140.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29030 0 0 0 113920 97 0 0 25 0 1 0 913003200 70139904 16373 4294967295 134512640 134716908 3221224560 3221223360 134597730 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16373 1111 63 0 17061 0 vsize: 68496 [startup+1150.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29030 0 0 0 114921 97 0 0 25 0 1 0 913003200 70139904 16373 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16373 1111 63 0 17061 0 vsize: 68496 [startup+1160.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29030 0 0 0 115920 98 0 0 25 0 1 0 913003200 70139904 16373 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16373 1111 63 0 17061 0 vsize: 68496 [startup+1170.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29030 0 0 0 116920 98 0 0 25 0 1 0 913003200 70139904 16373 4294967295 134512640 134716908 3221224560 3221223360 134597773 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16373 1111 63 0 17061 0 vsize: 68496 [startup+1174.9 s] Raw data (loadavg): 0.99 0.98 0.91 1/53 6344 Raw data (stat): 6342 (bsolo_lpr_cuts-) R 6341 7266 7265 0 -1 0 29030 0 0 0 116920 98 0 0 25 0 1 0 913003200 70139904 16373 4294967295 134512640 134716908 3221224560 3221223360 134597773 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17124 16373 1111 63 0 17061 0 vsize: 0 Child status: 0 Real time (s): 1174.9 CPU time (s): 1175.05 CPU user time (s): 1174.03 CPU system time (s): 1.01684 CPU usage (%): 100.013 Max. virtual memory (Kb): 68496 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####