Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran16x16.opb |
MD5SUM | 9ccd6fd38eec7ec6eedca3a615a280ba |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1042560 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 5376 |
Biggest coefficient in the objective function | 5242880 |
Number of bits for the biggest coefficient in the objective function | 23 |
Sum of the numbers in the objective function | 1526874453 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 5242880 |
Number of bits of the biggest number in a constraint | 23 |
Biggest sum of numbers in a constraint | 1526874453 |
Number of bits of the biggest sum of numbers | 31 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.06 |
Number of variables | 5376 |
Total number of constraints | 288 |
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 | 288 |
Minimum length of a constraint | 21 |
Maximum length of a constraint | 320 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-06-09 18:30:55 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29702 boxname=wulflinc1 idbench=1486 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 9ccd6fd38eec7ec6eedca3a615a280ba /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-ran16x16.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-ran16x16.opb IDLAUNCH: 29702 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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.053 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: 889532 kB Buffers: 19492 kB Cached: 101916 kB SwapCached: 1128 kB Active: 25216 kB Inactive: 98420 kB HighTotal: 131008 kB HighFree: 26488 kB LowTotal: 903652 kB LowFree: 863044 kB SwapTotal: 2097136 kB SwapFree: 2094840 kB Dirty: 52 kB Writeback: 0 kB Mapped: 5272 kB Slab: 15764 kB Committed_AS: 92716 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 18:50:30 (client local time) WITH STATUS 0 IN 1175.08 SECONDS stats: 29702 7 1175.08 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 5376 variables and 320 constraints. c After prepocess the problem consists of 2954 variables and 455 constraints. c preprocess terminated 12.786 s c Initial Lower Bound: 398904 c Lower Bound Elapsed time: 0.452 c Use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.06 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.91 0.95 0.92 1/55 8744 Raw data (stat): 8744 (runsolver) R 8743 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 855594760 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0006 s] Raw data (loadavg): 0.93 0.95 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 6877 0 0 0 982 15 0 0 25 0 1 0 855594760 31277056 6774 4294967295 134512640 134716908 3221224560 3221223208 134558490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7636 6774 1111 63 0 7573 0 vsize: 30544 [startup+20.0004 s] Raw data (loadavg): 0.94 0.96 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 13940 0 0 0 1966 31 0 0 25 0 1 0 855594760 34721792 7710 4294967295 134512640 134716908 3221224560 3221221664 1074138636 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8477 7710 1111 63 0 8414 0 vsize: 33908 [startup+30.0015 s] Raw data (loadavg): 0.95 0.96 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 22552 0 0 0 2947 50 0 0 25 0 1 0 855594760 34275328 7635 4294967295 134512640 134716908 3221224560 3221223200 134651168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8368 7635 1111 63 0 8305 0 vsize: 33472 [startup+40.0009 s] Raw data (loadavg): 0.95 0.96 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 31480 0 0 0 3928 69 0 0 25 0 1 0 855594760 35364864 7819 4294967295 134512640 134716908 3221224560 3221220780 1076111353 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8634 7819 1111 63 0 8571 0 vsize: 34536 [startup+50.0017 s] Raw data (loadavg): 0.96 0.96 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 40145 0 0 0 4908 90 0 0 25 0 1 0 855594760 34062336 7583 4294967295 134512640 134716908 3221224560 3221222920 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7583 1111 63 0 8253 0 vsize: 33264 [startup+60.0015 s] Raw data (loadavg): 0.97 0.96 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 47754 0 0 0 5892 106 0 0 25 0 1 0 855594760 35373056 7805 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8636 7806 1111 63 0 8573 0 vsize: 34544 [startup+70.0013 s] Raw data (loadavg): 0.97 0.96 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 55163 0 0 0 6874 124 0 0 25 0 1 0 855594760 34062336 7584 4294967295 134512640 134716908 3221224560 3221221024 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7584 1111 63 0 8253 0 vsize: 33264 [startup+80.0021 s] Raw data (loadavg): 0.98 0.96 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 62806 0 0 0 7856 143 0 0 25 0 1 0 855594760 34062336 7584 4294967295 134512640 134716908 3221224560 3221222776 1074138162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7584 1111 63 0 8253 0 vsize: 33264 [startup+90.0022 s] Raw data (loadavg): 0.98 0.96 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 70642 0 0 0 8837 161 0 0 25 0 1 0 855594760 34971648 7768 4294967295 134512640 134716908 3221224560 3221221840 1074140041 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8538 7768 1111 63 0 8475 0 vsize: 34152 [startup+100.003 s] Raw data (loadavg): 0.98 0.96 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 78779 0 0 0 9817 182 0 0 25 0 1 0 855594760 34062336 7584 4294967295 134512640 134716908 3221224560 3221222864 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7584 1111 63 0 8253 0 vsize: 33264 [startup+110.002 s] Raw data (loadavg): 0.98 0.96 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 86862 0 0 0 10798 200 0 0 25 0 1 0 855594760 34672640 7701 4294967295 134512640 134716908 3221224560 3221222560 1074916669 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8465 7701 1111 63 0 8402 0 vsize: 33860 [startup+120.002 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 94928 0 0 0 11779 220 0 0 25 0 1 0 855594760 34062336 7584 4294967295 134512640 134716908 3221224560 3221220968 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7584 1111 63 0 8253 0 vsize: 33264 [startup+130.002 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 103504 0 0 0 12761 239 0 0 25 0 1 0 855594760 34656256 7696 4294967295 134512640 134716908 3221224560 3221222520 1074138316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8461 7697 1111 63 0 8398 0 vsize: 33844 [startup+140.002 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 112060 0 0 0 13743 256 0 0 25 0 1 0 855594760 35262464 7810 4294967295 134512640 134716908 3221224560 3221221160 1075850662 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8609 7810 1111 63 0 8546 0 vsize: 34436 [startup+150.003 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 120624 0 0 0 14725 275 0 0 25 0 1 0 855594760 35254272 7809 4294967295 134512640 134716908 3221224560 3221220508 1074788921 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8607 7809 1111 63 0 8544 0 vsize: 34428 [startup+160.003 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 129190 0 0 0 15706 294 0 0 25 0 1 0 855594760 34062336 7584 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7584 1111 63 0 8253 0 vsize: 33264 [startup+170.003 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 137878 0 0 0 16687 312 0 0 25 0 1 0 855594760 34320384 7614 4294967295 134512640 134716908 3221224560 3221221680 1074865100 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8379 7614 1111 63 0 8316 0 vsize: 33516 [startup+180.003 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 146425 0 0 0 17671 330 0 0 25 0 1 0 855594760 34983936 7714 4294967295 134512640 134716908 3221224560 3221222672 1074867347 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8541 7714 1111 63 0 8478 0 vsize: 34164 [startup+190.003 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 155061 0 0 0 18650 350 0 0 25 0 1 0 855594760 34979840 7713 4294967295 134512640 134716908 3221224560 3221222480 1075799652 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8540 7713 1111 63 0 8477 0 vsize: 34160 [startup+200.004 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 163617 0 0 0 19629 372 0 0 25 0 1 0 855594760 34607104 7685 4294967295 134512640 134716908 3221224560 3221222840 1074138316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8449 7686 1111 63 0 8386 0 vsize: 33796 [startup+210.004 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 171975 0 0 0 20609 392 0 0 25 0 1 0 855594760 34062336 7585 4294967295 134512640 134716908 3221224560 3221221336 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7585 1111 63 0 8253 0 vsize: 33264 [startup+220.004 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 180559 0 0 0 21587 413 0 0 25 0 1 0 855594760 34439168 7677 4294967295 134512640 134716908 3221224560 3221222976 1074117068 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8408 7677 1111 63 0 8345 0 vsize: 33632 [startup+230.004 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 189101 0 0 0 22569 432 0 0 25 0 1 0 855594760 34709504 7683 4294967295 134512640 134716908 3221224560 3221221752 1074138315 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8474 7685 1111 63 0 8411 0 vsize: 33896 [startup+240.004 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 197412 0 0 0 23551 450 0 0 25 0 1 0 855594760 34062336 7585 4294967295 134512640 134716908 3221224560 3221222488 1077380592 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7585 1111 63 0 8253 0 vsize: 33264 [startup+250.004 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 205868 0 0 0 24533 469 0 0 25 0 1 0 855594760 35270656 7796 4294967295 134512640 134716908 3221224560 3221221480 1074950102 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8611 7796 1111 63 0 8548 0 vsize: 34444 [startup+260.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 214124 0 0 0 25514 488 0 0 25 0 1 0 855594760 34062336 7585 4294967295 134512640 134716908 3221224560 3221221144 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7585 1111 63 0 8253 0 vsize: 33264 [startup+270.007 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 222528 0 0 0 26493 509 0 0 25 0 1 0 855594760 34062336 7585 4294967295 134512640 134716908 3221224560 3221222896 1074153749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7585 1111 63 0 8253 0 vsize: 33264 [startup+280.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 230776 0 0 0 27475 527 0 0 25 0 1 0 855594760 34160640 7609 4294967295 134512640 134716908 3221224560 3221222976 1074115880 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8340 7609 1111 63 0 8277 0 vsize: 33360 [startup+290.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 239090 0 0 0 28457 545 0 0 25 0 1 0 855594760 34062336 7585 4294967295 134512640 134716908 3221224560 3221222872 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7585 1111 63 0 8253 0 vsize: 33264 [startup+300.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 247310 0 0 0 29440 563 0 0 25 0 1 0 855594760 34930688 7701 4294967295 134512640 134716908 3221224560 3221222480 1075799556 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8528 7701 1111 63 0 8465 0 vsize: 34112 [startup+310.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 255596 0 0 0 30419 583 0 0 25 0 1 0 855594760 34414592 7639 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8402 7639 1111 63 0 8339 0 vsize: 33608 [startup+320.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 264048 0 0 0 31400 603 0 0 25 0 1 0 855594760 34459648 7656 4294967295 134512640 134716908 3221224560 3221221312 1074247404 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8413 7656 1111 63 0 8350 0 vsize: 33652 [startup+330.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 272477 0 0 0 32379 624 0 0 25 0 1 0 855594760 34779136 7684 4294967295 134512640 134716908 3221224560 3221221504 1074620132 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8491 7684 1111 63 0 8428 0 vsize: 33964 [startup+340.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 280128 0 0 0 33360 643 0 0 25 0 1 0 855594760 34062336 7585 4294967295 134512640 134716908 3221224560 3221221504 1074153792 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7585 1111 63 0 8253 0 vsize: 33264 [startup+350.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 287631 0 0 0 34343 660 0 0 25 0 1 0 855594760 35106816 7779 4294967295 134512640 134716908 3221224560 3221220720 1074794542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8571 7779 1111 63 0 8508 0 vsize: 34284 [startup+360.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 293850 0 0 0 35329 675 0 0 25 0 1 0 855594760 34062336 7585 4294967295 134512640 134716908 3221224560 3221221520 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7585 1111 63 0 8253 0 vsize: 33264 [startup+370.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 301778 0 0 0 36311 693 0 0 25 0 1 0 855594760 35094528 7773 4294967295 134512640 134716908 3221224560 3221220524 1074860617 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8568 7773 1111 63 0 8505 0 vsize: 34272 [startup+380.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 310415 0 0 0 37291 713 0 0 25 0 1 0 855594760 35090432 7766 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8567 7766 1111 63 0 8504 0 vsize: 34268 [startup+390.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 318932 0 0 0 38272 732 0 0 25 0 1 0 855594760 34955264 7741 4294967295 134512640 134716908 3221224560 3221221752 1074138316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8567 7742 1111 63 0 8504 0 vsize: 34136 [startup+400.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 327536 0 0 0 39250 754 0 0 25 0 1 0 855594760 34062336 7585 4294967295 134512640 134716908 3221224560 3221222808 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7585 1111 63 0 8253 0 vsize: 33264 [startup+410.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 336019 0 0 0 40230 774 0 0 25 0 1 0 855594760 34459648 7650 4294967295 134512640 134716908 3221224560 3221222560 1074916785 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8413 7650 1111 63 0 8350 0 vsize: 33652 [startup+420.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 343496 0 0 0 41213 791 0 0 25 0 1 0 855594760 34492416 7646 4294967295 134512640 134716908 3221224560 3221221648 1074138986 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8421 7646 1111 63 0 8358 0 vsize: 33684 [startup+430.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 350657 0 0 0 42198 807 0 0 25 0 1 0 855594760 34062336 7585 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7585 1111 63 0 8253 0 vsize: 33264 [startup+440.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 357997 0 0 0 43180 825 0 0 25 0 1 0 855594760 34062336 7585 4294967295 134512640 134716908 3221224560 3221222872 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7585 1111 63 0 8253 0 vsize: 33264 [startup+450.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 365369 0 0 0 44162 843 0 0 25 0 1 0 855594760 34783232 7665 4294967295 134512640 134716908 3221224560 3221222288 1075828224 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8492 7665 1111 63 0 8429 0 vsize: 33968 [startup+460.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 372831 0 0 0 45145 861 0 0 25 0 1 0 855594760 34062336 7585 4294967295 134512640 134716908 3221224560 3221222776 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7585 1111 63 0 8253 0 vsize: 33264 [startup+470.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 380353 0 0 0 46130 876 0 0 25 0 1 0 855594760 34775040 7663 4294967295 134512640 134716908 3221224560 3221222288 1075828541 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8490 7663 1111 63 0 8427 0 vsize: 33960 [startup+480.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 387864 0 0 0 47111 895 0 0 25 0 1 0 855594760 34062336 7586 4294967295 134512640 134716908 3221224560 3221222896 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7586 1111 63 0 8253 0 vsize: 33264 [startup+490.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 395445 0 0 0 48091 915 0 0 25 0 1 0 855594760 34062336 7586 4294967295 134512640 134716908 3221224560 3221221808 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7586 1111 63 0 8253 0 vsize: 33264 [startup+500.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 403105 0 0 0 49076 931 0 0 25 0 1 0 855594760 35102720 7751 4294967295 134512640 134716908 3221224560 3221220632 1074950210 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8570 7751 1111 63 0 8507 0 vsize: 34280 [startup+510.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 410561 0 0 0 50058 949 0 0 25 0 1 0 855594760 34062336 7586 4294967295 134512640 134716908 3221224560 3221221848 1074138155 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7586 1111 63 0 8253 0 vsize: 33264 [startup+520.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 418210 0 0 0 51041 966 0 0 25 0 1 0 855594760 34062336 7586 4294967295 134512640 134716908 3221224560 3221221644 1077404779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7586 1111 63 0 8253 0 vsize: 33264 [startup+530.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 426265 0 0 0 52022 985 0 0 25 0 1 0 855594760 34533376 7681 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8431 7681 1111 63 0 8368 0 vsize: 33724 [startup+540.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 434134 0 0 0 53004 1004 0 0 25 0 1 0 855594760 34062336 7586 4294967295 134512640 134716908 3221224560 3221222056 1074138166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7586 1111 63 0 8253 0 vsize: 33264 [startup+550.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 442031 0 0 0 53987 1021 0 0 25 0 1 0 855594760 34062336 7587 4294967295 134512640 134716908 3221224560 3221222912 1074153648 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7587 1111 63 0 8253 0 vsize: 33264 [startup+560.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 449854 0 0 0 54970 1038 0 0 25 0 1 0 855594760 34635776 7652 4294967295 134512640 134716908 3221224560 3221222480 1075799512 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8456 7652 1111 63 0 8393 0 vsize: 33824 [startup+570.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 457642 0 0 0 55950 1057 0 0 25 0 1 0 855594760 34062336 7587 4294967295 134512640 134716908 3221224560 3221222896 1074153749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7587 1111 63 0 8253 0 vsize: 33264 [startup+580.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 465128 0 0 0 56934 1074 0 0 25 0 1 0 855594760 34344960 7646 4294967295 134512640 134716908 3221224560 3221222560 1074913474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8385 7646 1111 63 0 8322 0 vsize: 33540 [startup+590.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 472542 0 0 0 57916 1092 0 0 25 0 1 0 855594760 34062336 7587 4294967295 134512640 134716908 3221224560 3221222812 1077411564 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7587 1111 63 0 8253 0 vsize: 33264 [startup+600.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 479936 0 0 0 58899 1110 0 0 25 0 1 0 855594760 34611200 7648 4294967295 134512640 134716908 3221224560 3221222672 1074867305 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8450 7648 1111 63 0 8387 0 vsize: 33800 [startup+610.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 487856 0 0 0 59880 1128 0 0 25 0 1 0 855594760 34062336 7587 4294967295 134512640 134716908 3221224560 3221222808 1074138166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7587 1111 63 0 8253 0 vsize: 33264 [startup+620.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 495220 0 0 0 60864 1145 0 0 25 0 1 0 855594760 34062336 7587 4294967295 134512640 134716908 3221224560 3221222776 1074138158 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7587 1111 63 0 8253 0 vsize: 33264 [startup+630.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 501876 0 0 0 61847 1162 0 0 25 0 1 0 855594760 34062336 7587 4294967295 134512640 134716908 3221224560 3221222344 1074138162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7587 1111 63 0 8253 0 vsize: 33264 [startup+640.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 508358 0 0 0 62834 1176 0 0 25 0 1 0 855594760 34295808 7634 4294967295 134512640 134716908 3221224560 3221222560 1074916935 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8373 7634 1111 63 0 8310 0 vsize: 33492 [startup+650.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 515019 0 0 0 63818 1192 0 0 25 0 1 0 855594760 34062336 7587 4294967295 134512640 134716908 3221224560 3221222896 1074153648 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7587 1111 63 0 8253 0 vsize: 33264 [startup+660.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 522727 0 0 0 64801 1208 0 0 25 0 1 0 855594760 34254848 7634 4294967295 134512640 134716908 3221224560 3221222240 1075894992 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8363 7634 1111 63 0 8300 0 vsize: 33452 [startup+670.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 530474 0 0 0 65781 1228 0 0 25 0 1 0 855594760 34680832 7638 4294967295 134512640 134716908 3221224560 3221221628 1074831168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8467 7638 1111 63 0 8404 0 vsize: 33868 [startup+680.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 537129 0 0 0 66764 1246 0 0 25 0 1 0 855594760 34062336 7587 4294967295 134512640 134716908 3221224560 3221222168 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7587 1111 63 0 8253 0 vsize: 33264 [startup+690.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 543675 0 0 0 67749 1261 0 0 25 0 1 0 855594760 34201600 7612 4294967295 134512640 134716908 3221224560 3221222560 1074916801 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8350 7612 1111 63 0 8287 0 vsize: 33400 [startup+700.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 549991 0 0 0 68733 1277 0 0 25 0 1 0 855594760 34062336 7587 4294967295 134512640 134716908 3221224560 3221222488 1074138155 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7587 1111 63 0 8253 0 vsize: 33264 [startup+710.018 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 556189 0 0 0 69718 1293 0 0 25 0 1 0 855594760 34062336 7587 4294967295 134512640 134716908 3221224560 3221222920 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7587 1111 63 0 8253 0 vsize: 33264 [startup+720.018 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 562121 0 0 0 70704 1307 0 0 25 0 1 0 855594760 34062336 7587 4294967295 134512640 134716908 3221224560 3221222920 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7587 1111 63 0 8253 0 vsize: 33264 [startup+730.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 568105 0 0 0 71689 1322 0 0 25 0 1 0 855594760 34062336 7587 4294967295 134512640 134716908 3221224560 3221222960 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7587 1111 63 0 8253 0 vsize: 33264 [startup+740.018 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 574013 0 0 0 72674 1337 0 0 25 0 1 0 855594760 34439168 7606 4294967295 134512640 134716908 3221224560 3221222528 1075810709 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8408 7606 1111 63 0 8345 0 vsize: 33632 [startup+750.018 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 580654 0 0 0 73656 1355 0 0 25 0 1 0 855594760 34062336 7588 4294967295 134512640 134716908 3221224560 3221222960 1074153736 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8316 7588 1111 63 0 8253 0 vsize: 33264 [startup+760.019 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 589539 0 0 0 74634 1377 0 0 25 0 1 0 855594760 34275328 7640 4294967295 134512640 134716908 3221224560 3221222304 1075640493 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8368 7640 1111 63 0 8305 0 vsize: 33472 [startup+770.019 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 598335 0 0 0 75611 1401 0 0 25 0 1 0 855594760 34385920 7657 4294967295 134512640 134716908 3221224560 3221222560 1074917021 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8395 7657 1111 63 0 8332 0 vsize: 33580 [startup+780.019 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 610039 0 0 0 76584 1428 0 0 25 0 1 0 855594760 34328576 7653 4294967295 134512640 134716908 3221224560 3221223024 1074120992 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8381 7653 1111 63 0 8318 0 vsize: 33524 [startup+790.019 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 619673 0 0 0 77560 1452 0 0 25 0 1 0 855594760 34381824 7666 4294967295 134512640 134716908 3221224560 3221222976 1074116190 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8394 7666 1111 63 0 8331 0 vsize: 33576 [startup+800.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 636254 0 0 0 78521 1491 0 0 25 0 1 0 855594760 34328576 7653 4294967295 134512640 134716908 3221224560 3221222912 1074142742 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8381 7653 1111 63 0 8318 0 vsize: 33524 [startup+810.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 656140 0 0 0 79474 1538 0 0 25 0 1 0 855594760 34983936 7720 4294967295 134512640 134716908 3221224560 3221222624 1075961608 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8541 7720 1111 63 0 8478 0 vsize: 34164 [startup+820.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 676657 0 0 0 80426 1587 0 0 25 0 1 0 855594760 34504704 7696 4294967295 134512640 134716908 3221224560 3221222432 1074050818 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8424 7696 1111 63 0 8361 0 vsize: 33696 [startup+830.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 698072 0 0 0 81377 1635 0 0 25 0 1 0 855594760 35454976 7819 4294967295 134512640 134716908 3221224560 3221220696 1075895477 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8656 7820 1111 63 0 8593 0 vsize: 34624 [startup+840.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 722300 0 0 0 82323 1690 0 0 25 0 1 0 855594760 35680256 7863 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8711 7864 1111 63 0 8648 0 vsize: 34844 [startup+850.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 744005 0 0 0 83270 1743 0 0 25 0 1 0 855594760 34988032 7818 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8542 7818 1111 63 0 8479 0 vsize: 34168 [startup+860.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 758457 0 0 0 84236 1778 0 0 25 0 1 0 855594760 35069952 7838 4294967295 134512640 134716908 3221224560 3221222304 1075646667 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8542 7818 1111 63 0 8479 0 vsize: 34248 [startup+870.024 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 771485 0 0 0 85203 1811 0 0 25 0 1 0 855594760 34988032 7818 4294967295 134512640 134716908 3221224560 3221222560 1074056578 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8542 7818 1111 63 0 8479 0 vsize: 34168 [startup+880.024 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 785600 0 0 0 86168 1847 0 0 25 0 1 0 855594760 35508224 7918 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8669 7918 1111 63 0 8606 0 vsize: 34676 [startup+890.024 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 804582 0 0 0 87127 1888 0 0 25 0 1 0 855594760 35983360 7949 4294967295 134512640 134716908 3221224560 3221220524 1074860620 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8785 7949 1111 63 0 8722 0 vsize: 35140 [startup+900.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 822981 0 0 0 88084 1931 0 0 25 0 1 0 855594760 35221504 7875 4294967295 134512640 134716908 3221224560 3221222288 1075635444 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8599 7875 1111 63 0 8536 0 vsize: 34396 [startup+910.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 842500 0 0 0 89040 1975 0 0 25 0 1 0 855594760 35061760 7836 4294967295 134512640 134716908 3221224560 3221222920 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8560 7836 1111 63 0 8497 0 vsize: 34240 [startup+920.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 863018 0 0 0 89995 2020 0 0 25 0 1 0 855594760 35061760 7836 4294967295 134512640 134716908 3221224560 3221222768 1074153648 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8560 7836 1111 63 0 8497 0 vsize: 34240 [startup+930.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 884167 0 0 0 90947 2068 0 0 25 0 1 0 855594760 35061760 7836 4294967295 134512640 134716908 3221224560 3221222944 1074153815 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8560 7836 1111 63 0 8497 0 vsize: 34240 [startup+940.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 902313 0 0 0 91904 2111 0 0 25 0 1 0 855594760 35061760 7836 4294967295 134512640 134716908 3221224560 3221222824 1074138166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8560 7836 1111 63 0 8497 0 vsize: 34240 [startup+950.026 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 920662 0 0 0 92861 2154 0 0 25 0 1 0 855594760 35061760 7836 4294967295 134512640 134716908 3221224560 3221222304 1075640375 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8560 7836 1111 63 0 8497 0 vsize: 34240 [startup+960.026 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 939751 0 0 0 93818 2198 0 0 25 0 1 0 855594760 35061760 7836 4294967295 134512640 134716908 3221224560 3221222400 1074050884 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8560 7836 1111 63 0 8497 0 vsize: 34240 [startup+970.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 960709 0 0 0 94768 2247 0 0 25 0 1 0 855594760 35061760 7836 4294967295 134512640 134716908 3221224560 3221222912 1074115298 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8597 7837 1111 63 0 8534 0 vsize: 34240 [startup+980.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 978645 0 0 0 95728 2288 0 0 25 0 1 0 855594760 35061760 7836 4294967295 134512640 134716908 3221224560 3221222824 1074138166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8560 7836 1111 63 0 8497 0 vsize: 34240 [startup+990.026 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 998910 0 0 0 96681 2335 0 0 25 0 1 0 855594760 35221504 7844 4294967295 134512640 134716908 3221224560 3221222520 1077377765 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8685 7847 1111 63 0 8622 0 vsize: 34396 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 1017742 0 0 0 97635 2381 0 0 25 0 1 0 855594760 35983360 7952 4294967295 134512640 134716908 3221224560 3221220584 1074860246 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8752 7950 1111 63 0 8689 0 vsize: 35140 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 1038548 0 0 0 98588 2429 0 0 25 0 1 0 855594760 35061760 7836 4294967295 134512640 134716908 3221224560 3221223176 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8560 7836 1111 63 0 8497 0 vsize: 34240 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 1060440 0 0 0 99538 2479 0 0 25 0 1 0 855594760 35061760 7836 4294967295 134512640 134716908 3221224560 3221222856 1074138166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8560 7836 1111 63 0 8497 0 vsize: 34240 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 1082094 0 0 0 100487 2530 0 0 25 0 1 0 855594760 35647488 7886 4294967295 134512640 134716908 3221224560 3221222672 1074867340 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8703 7886 1111 63 0 8640 0 vsize: 34812 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 1103478 0 0 0 101439 2578 0 0 25 0 1 0 855594760 35446784 7902 4294967295 134512640 134716908 3221224560 3221223024 1074119510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8654 7902 1111 63 0 8591 0 vsize: 34616 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 1123263 0 0 0 102394 2623 0 0 25 0 1 0 855594760 35295232 7893 4294967295 134512640 134716908 3221224560 3221222692 1077782939 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8617 7893 1111 63 0 8554 0 vsize: 34468 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 1142927 0 0 0 103349 2669 0 0 25 0 1 0 855594760 35323904 7889 4294967295 134512640 134716908 3221224560 3221222976 1074116190 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8624 7889 1111 63 0 8561 0 vsize: 34496 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 1166509 0 0 0 104295 2722 0 0 25 0 1 0 855594760 35299328 7894 4294967295 134512640 134716908 3221224560 3221222560 1074056223 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8618 7894 1111 63 0 8555 0 vsize: 34472 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 1189188 0 0 0 105245 2773 0 0 25 0 1 0 855594760 35299328 7894 4294967295 134512640 134716908 3221224560 3221223176 134543144 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8618 7894 1111 63 0 8555 0 vsize: 34472 [startup+1090.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 1211722 0 0 0 106193 2825 0 0 25 0 1 0 855594760 35299328 7894 4294967295 134512640 134716908 3221224560 3221222524 1077411564 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8618 7894 1111 63 0 8555 0 vsize: 34472 [startup+1100.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 1233689 0 0 0 107143 2874 0 0 25 0 1 0 855594760 35299328 7894 4294967295 134512640 134716908 3221224560 3221222760 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8618 7894 1111 63 0 8555 0 vsize: 34472 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 1257642 0 0 0 108089 2929 0 0 25 0 1 0 855594760 35893248 7945 4294967295 134512640 134716908 3221224560 3221222672 1074867212 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8763 7945 1111 63 0 8700 0 vsize: 35052 [startup+1120.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 1280162 0 0 0 109036 2982 0 0 25 0 1 0 855594760 35414016 7922 4294967295 134512640 134716908 3221224560 3221222812 1077411564 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8646 7922 1111 63 0 8583 0 vsize: 34584 [startup+1130.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 1301615 0 0 0 109991 3028 0 0 25 0 1 0 855594760 35647488 7979 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8703 7979 1111 63 0 8640 0 vsize: 34812 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 1322724 0 0 0 110946 3073 0 0 25 0 1 0 855594760 35897344 8040 4294967295 134512640 134716908 3221224560 3221222560 1074915850 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8764 8040 1111 63 0 8701 0 vsize: 35056 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 1334435 0 0 0 111915 3103 0 0 25 0 1 0 855594760 36261888 8102 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8853 8102 1111 63 0 8790 0 vsize: 35412 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 1347810 0 0 0 112878 3141 0 0 25 0 1 0 855594760 35897344 8040 4294967295 134512640 134716908 3221224560 3221222824 1074138158 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8764 8040 1111 63 0 8701 0 vsize: 35056 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 1366231 0 0 0 113838 3181 0 0 25 0 1 0 855594760 36081664 8075 4294967295 134512640 134716908 3221224560 3221222840 1074138333 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8809 8075 1111 63 0 8746 0 vsize: 35236 [startup+1174.91 s] Raw data (loadavg): 0.99 0.97 0.92 1/54 8744 Raw data (stat): 8744 (bsolo_lpr_cuts-) R 8743 8378 8377 0 -1 0 1366231 0 0 0 113838 3181 0 0 25 0 1 0 855594760 36081664 8075 4294967295 134512640 134716908 3221224560 3221222840 1074138333 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8809 8075 1111 63 0 8746 0 vsize: 0 Child status: 0 Real time (s): 1174.91 CPU time (s): 1175.08 CPU user time (s): 1143.01 CPU system time (s): 32.0721 CPU usage (%): 100.015 Max. virtual memory (Kb): 35412 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####