Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16b1.opb |
MD5SUM | dd9b4ae34921e1731f1a12dcd9d29b23 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1528 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 3456 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 3456 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 3456 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.09 |
Number of variables | 3456 |
Total number of constraints | 26520 |
Number of constraints which are clauses | 26520 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 16 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-05 07:39:38 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1235 boxname=wulflinc31 idbench=138 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: dd9b4ae34921e1731f1a12dcd9d29b23 /oldhome/oroussel/tmp/wulflinc31/normalized-ii16b1.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ii16b1.opb IDLAUNCH: 1235 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 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 : 3 cpu MHz : 451.153 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 907336 kB Buffers: 30424 kB Cached: 71924 kB SwapCached: 3596 kB Active: 63936 kB Inactive: 43548 kB HighTotal: 131008 kB HighFree: 55860 kB LowTotal: 903652 kB LowFree: 851476 kB SwapTotal: 2097892 kB SwapFree: 2093676 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5544 kB Slab: 14168 kB Committed_AS: 63648 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-05 07:59:41 (client local time) WITH STATUS 0 IN 1200.17 SECONDS stats: 1235 7 1200.17 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 3456 variables and 26520 constraints. c After prepocess the problem consists of 3456 variables and 26584 constraints. c preprocess terminated 120.179 s c Initial Lower Bound: 625 c Lower Bound Elapsed time: 76.256 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 1728 @ 436.957 c NEW SOLUTION FOUND: 1727 @ 437.008 c NEW SOLUTION FOUND: 1726 @ 437.046 c NEW SOLUTION FOUND: 1725 @ 437.087 c NEW SOLUTION FOUND: 1724 @ 437.128 c NEW SOLUTION FOUND: 1723 @ 437.171 c NEW SOLUTION FOUND: 1722 @ 437.212 c NEW SOLUTION FOUND: 1721 @ 437.253 c NEW SOLUTION FOUND: 1720 @ 437.298 c NEW SOLUTION FOUND: 1719 @ 437.343 c NEW SOLUTION FOUND: 1718 @ 437.388 c NEW SOLUTION FOUND: 1717 @ 437.435 c NEW SOLUTION FOUND: 1716 @ 437.48 c NEW SOLUTION FOUND: 1715 @ 437.529 c NEW SOLUTION FOUND: 1714 @ 437.575 c NEW SOLUTION FOUND: 1713 @ 437.623 c NEW SOLUTION FOUND: 1712 @ 437.674 c NEW SOLUTION FOUND: 1711 @ 437.721 c NEW SOLUTION FOUND: 1710 @ 437.772 c NEW SOLUTION FOUND: 1709 @ 437.82 c NEW SOLUTION FOUND: 1708 @ 437.873 c NEW SOLUTION FOUND: 1707 @ 437.923 c NEW SOLUTION FOUND: 1706 @ 438.027 c NEW SOLUTION FOUND: 1705 @ 438.081 c NEW SOLUTION FOUND: 1704 @ 438.136 c NEW SOLUTION FOUND: 1703 @ 438.189 c NEW SOLUTION FOUND: 1702 @ 438.243 c NEW SOLUTION FOUND: 1701 @ 438.36 c NEW SOLUTION FOUND: 1700 @ 438.425 c NEW SOLUTION FOUND: 1699 @ 438.489 c NEW SOLUTION FOUND: 1698 @ 438.614 c NEW SOLUTION FOUND: 1697 @ 438.68 c NEW SOLUTION FOUND: 1696 @ 438.746 c NEW SOLUTION FOUND: 1695 @ 438.955 c NEW SOLUTION FOUND: 1694 @ 439.026 c NEW SOLUTION FOUND: 1693 @ 439.094 c NEW SOLUTION FOUND: 1692 @ 439.185 c NEW SOLUTION FOUND: 1691 @ 439.279 c NEW SOLUTION FOUND: 1690 @ 439.366 c NEW SOLUTION FOUND: 1689 @ 439.458 c NEW SOLUTION FOUND: 1688 @ 439.546 c NEW SOLUTION FOUND: 1687 @ 439.631 c NEW SOLUTION FOUND: 1686 @ 440.099 c NEW SOLUTION FOUND: 1685 @ 440.225 c NEW SOLUTION FOUND: 1684 @ 440.353 c NEW SOLUTION FOUND: 1683 @ 440.456 c NEW SOLUTION FOUND: 1682 @ 440.59 c NEW SOLUTION FOUND: 1681 @ 440.842 c NEW SOLUTION FOUND: 1680 @ 440.972 c NEW SOLUTION FOUND: 1679 @ 441.103 c NEW SOLUTION FOUND: 1678 @ 441.241 c NEW SOLUTION FOUND: 1677 @ 441.374 c NEW SOLUTION FOUND: 1676 @ 441.518 c NEW SOLUTION FOUND: 1675 @ 441.661 c NEW SOLUTION FOUND: 1674 @ 441.94 c NEW SOLUTION FOUND: 1673 @ 442.085 c NEW SOLUTION FOUND: 1672 @ 442.224 c NEW SOLUTION FOUND: 1671 @ 442.509 c NEW SOLUTION FOUND: 1670 @ 442.649 c NEW SOLUTION FOUND: 1669 @ 442.797 c NEW SOLUTION FOUND: 1668 @ 442.945 c NEW SOLUTION FOUND: 1667 @ 443.088 c NEW SOLUTION FOUND: 1666 @ 443.242 c NEW SOLUTION FOUND: 1665 @ 443.391 c NEW SOLUTION FOUND: 1664 @ 443.539 c NEW SOLUTION FOUND: 1663 @ 443.683 c NEW SOLUTION FOUND: 1662 @ 443.829 c NEW SOLUTION FOUND: 1661 @ 444.158 c NEW SOLUTION FOUND: 1660 @ 444.486 c NEW SOLUTION FOUND: 1659 @ 444.873 c NEW SOLUTION FOUND: 1658 @ 445.2 c NEW SOLUTION FOUND: 1657 @ 445.356 c NEW SOLUTION FOUND: 1656 @ 445.525 c NEW SOLUTION FOUND: 1655 @ 445.704 c NEW SOLUTION FOUND: 1654 @ 446.2 c NEW SOLUTION FOUND: 1653 @ 446.368 c NEW SOLUTION FOUND: 1652 @ 446.581 c NEW SOLUTION FOUND: 1651 @ 447.173 c NEW SOLUTION FOUND: 1650 @ 447.494 #### 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 Raw data (loadavg): 0.93 0.98 0.99 2/54 10497 Raw data (stat): 10497 (runsolver) R 10496 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 664308028 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+9.99963 s] Raw data (loadavg): 0.94 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 5602 0 0 0 973 18 0 0 25 0 1 0 664308028 26075136 5516 4294967295 134512640 134714508 3221221792 3221220236 134536828 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6366 5516 1111 63 0 6303 0 vsize: 25464 [startup+20.0006 s] Raw data (loadavg): 0.95 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 5906 0 0 0 1972 19 0 0 25 0 1 0 664308028 27426816 5820 4294967295 134512640 134714508 3221221792 3221220256 134542297 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6696 5820 1111 63 0 6633 0 vsize: 26784 [startup+30.0019 s] Raw data (loadavg): 0.95 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 5913 0 0 0 2972 19 0 0 25 0 1 0 664308028 27426816 5827 4294967295 134512640 134714508 3221221792 3221220304 134542928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6696 5827 1111 63 0 6633 0 vsize: 26784 [startup+40.0029 s] Raw data (loadavg): 0.96 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 5918 0 0 0 3971 20 0 0 25 0 1 0 664308028 27426816 5832 4294967295 134512640 134714508 3221221792 3221220544 134630795 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6696 5832 1111 63 0 6633 0 vsize: 26784 [startup+50.0034 s] Raw data (loadavg): 0.97 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 5924 0 0 0 4971 20 0 0 25 0 1 0 664308028 27426816 5838 4294967295 134512640 134714508 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6696 5838 1111 63 0 6633 0 vsize: 26784 [startup+60.0036 s] Raw data (loadavg): 0.97 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 19803 0 0 0 5935 57 0 0 25 0 1 0 664308028 78745600 18378 4294967295 134512640 134714508 3221221792 3221220456 134627195 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19225 18378 1111 63 0 19162 0 vsize: 76900 [startup+70.0042 s] Raw data (loadavg): 0.97 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 19803 0 0 0 6934 57 0 0 25 0 1 0 664308028 78745600 18378 4294967295 134512640 134714508 3221221792 3221220456 134627195 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19225 18378 1111 63 0 19162 0 vsize: 76900 [startup+80.004 s] Raw data (loadavg): 0.98 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 19803 0 0 0 7934 58 0 0 25 0 1 0 664308028 78745600 18378 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19225 18378 1111 63 0 19162 0 vsize: 76900 [startup+90.0042 s] Raw data (loadavg): 0.98 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 19803 0 0 0 8934 58 0 0 25 0 1 0 664308028 78745600 18378 4294967295 134512640 134714508 3221221792 3221220444 134558476 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19225 18378 1111 63 0 19162 0 vsize: 76900 [startup+100.004 s] Raw data (loadavg): 0.98 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 19803 0 0 0 9934 58 0 0 25 0 1 0 664308028 78745600 18378 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19225 18378 1111 63 0 19162 0 vsize: 76900 [startup+110.005 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 19803 0 0 0 10934 58 0 0 25 0 1 0 664308028 78745600 18378 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19225 18378 1111 63 0 19162 0 vsize: 76900 [startup+120.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 20012 0 0 0 11934 58 0 0 25 0 1 0 664308028 79597568 18587 4294967295 134512640 134714508 3221221792 3221220648 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19433 18587 1111 63 0 19370 0 vsize: 77732 [startup+130.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 20395 0 0 0 12932 60 0 0 25 0 1 0 664308028 81354752 18970 4294967295 134512640 134714508 3221221792 3221220024 1074138162 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19862 18970 1111 63 0 19799 0 vsize: 79448 [startup+140.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 20446 0 0 0 13929 63 0 0 25 0 1 0 664308028 81494016 19021 4294967295 134512640 134714508 3221221792 3221220112 1074153822 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19896 19021 1111 63 0 19833 0 vsize: 79584 [startup+150.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 20573 0 0 0 14927 65 0 0 25 0 1 0 664308028 81973248 19148 4294967295 134512640 134714508 3221221792 3221220112 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20013 19148 1111 63 0 19950 0 vsize: 80052 [startup+160.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 20688 0 0 0 15925 67 0 0 25 0 1 0 664308028 82223104 19221 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20074 19221 1111 63 0 20011 0 vsize: 80296 [startup+170.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 20718 0 0 0 16925 68 0 0 25 0 1 0 664308028 82337792 19251 4294967295 134512640 134714508 3221221792 3221219760 1077814665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20102 19251 1111 63 0 20039 0 vsize: 80408 [startup+180.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 24095 0 0 0 17919 74 0 0 25 0 1 0 664308028 100462592 21685 4294967295 134512640 134714508 3221221792 3221218232 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24527 21685 1111 63 0 24464 0 vsize: 98108 [startup+190.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 24273 0 0 0 18918 75 0 0 25 0 1 0 664308028 100462592 21837 4294967295 134512640 134714508 3221221792 3221217932 1075116731 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24527 21837 1111 63 0 24464 0 vsize: 98108 [startup+200.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 24297 0 0 0 19918 76 0 0 25 0 1 0 664308028 100462592 21841 4294967295 134512640 134714508 3221221792 3221217932 1075116728 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24527 21841 1111 63 0 24464 0 vsize: 98108 [startup+210.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 24322 0 0 0 20918 76 0 0 25 0 1 0 664308028 100462592 21852 4294967295 134512640 134714508 3221221792 3221217884 1074790003 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24527 21852 1111 63 0 24464 0 vsize: 98108 [startup+220.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 24345 0 0 0 21918 76 0 0 25 0 1 0 664308028 100462592 21857 4294967295 134512640 134714508 3221221792 3221217932 1075116508 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24527 21857 1111 63 0 24464 0 vsize: 98108 [startup+230.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 24394 0 0 0 22918 76 0 0 25 0 1 0 664308028 100462592 21886 4294967295 134512640 134714508 3221221792 3221217932 1075116767 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24527 21886 1111 63 0 24464 0 vsize: 98108 [startup+240.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 24433 0 0 0 23918 77 0 0 25 0 1 0 664308028 100462592 21899 4294967295 134512640 134714508 3221221792 3221217932 1075116767 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24527 21899 1111 63 0 24464 0 vsize: 98108 [startup+250.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 24461 0 0 0 24918 77 0 0 25 0 1 0 664308028 100462592 21901 4294967295 134512640 134714508 3221221792 3221217932 1075116508 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24527 21901 1111 63 0 24464 0 vsize: 98108 [startup+260.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 24489 0 0 0 25918 77 0 0 25 0 1 0 664308028 100462592 21903 4294967295 134512640 134714508 3221221792 3221217932 1075116519 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24527 21903 1111 63 0 24464 0 vsize: 98108 [startup+270.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 24514 0 0 0 26918 77 0 0 25 0 1 0 664308028 100462592 21904 4294967295 134512640 134714508 3221221792 3221217856 1074971234 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24527 21904 1111 63 0 24464 0 vsize: 98108 [startup+280.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 24541 0 0 0 27918 77 0 0 25 0 1 0 664308028 100675584 21907 4294967295 134512640 134714508 3221221792 3221218368 1075967892 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24579 21907 1111 63 0 24516 0 vsize: 98316 [startup+290.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 24565 0 0 0 28918 77 0 0 25 0 1 0 664308028 100462592 21905 4294967295 134512640 134714508 3221221792 3221217984 1074960795 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24527 21905 1111 63 0 24464 0 vsize: 98108 [startup+300.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 24589 0 0 0 29919 77 0 0 25 0 1 0 664308028 100462592 21905 4294967295 134512640 134714508 3221221792 3221217932 1075116767 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24527 21905 1111 63 0 24464 0 vsize: 98108 [startup+310.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 24617 0 0 0 30918 78 0 0 25 0 1 0 664308028 100462592 21905 4294967295 134512640 134714508 3221221792 3221217932 1075116478 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24527 21905 1111 63 0 24464 0 vsize: 98108 [startup+320.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 24643 0 0 0 31918 78 0 0 25 0 1 0 664308028 100675584 21907 4294967295 134512640 134714508 3221221792 3221218304 1074887714 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24579 21907 1111 63 0 24516 0 vsize: 98316 [startup+330.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 24737 0 0 0 32918 78 0 0 25 0 1 0 664308028 101367808 21975 4294967295 134512640 134714508 3221221792 3221218244 1075863641 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24748 21975 1111 63 0 24685 0 vsize: 98992 [startup+340.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 29925 0 0 0 33906 91 0 0 25 0 1 0 664308028 86945792 20459 4294967295 134512640 134714508 3221221792 3221220016 1074039235 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21227 20459 1111 63 0 21164 0 vsize: 84908 [startup+350.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 33536 0 0 0 34898 99 0 0 25 0 1 0 664308028 101462016 22169 4294967295 134512640 134714508 3221221792 3221217932 1075116556 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24771 22169 1111 63 0 24708 0 vsize: 99084 [startup+360.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 34548 0 0 0 35895 102 0 0 25 0 1 0 664308028 87797760 19956 4294967295 134512640 134714508 3221221792 3221218992 1074140374 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21435 19956 1111 63 0 21372 0 vsize: 85740 [startup+370.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 42400 0 0 0 36878 119 0 0 25 0 1 0 664308028 102113280 22330 4294967295 134512640 134714508 3221221792 3221217932 1075116866 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24930 22330 1111 63 0 24867 0 vsize: 99720 [startup+380.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 42425 0 0 0 37878 120 0 0 25 0 1 0 664308028 102113280 22331 4294967295 134512640 134714508 3221221792 3221217932 1075116876 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24930 22331 1111 63 0 24867 0 vsize: 99720 [startup+390.026 s] Raw data (loadavg): 0.99 0.98 0.99 3/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 51225 0 0 0 38860 138 0 0 25 0 1 0 664308028 102309888 22334 4294967295 134512640 134714508 3221221792 3221218368 1075967892 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24978 22334 1111 63 0 24915 0 vsize: 99912 [startup+400.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 51311 0 0 0 39860 138 0 0 25 0 1 0 664308028 102563840 22396 4294967295 134512640 134714508 3221221792 3221218244 1075863638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25040 22396 1111 63 0 24977 0 vsize: 100160 [startup+410.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 51335 0 0 0 40860 138 0 0 25 0 1 0 664308028 102350848 22394 4294967295 134512640 134714508 3221221792 3221218776 1075007302 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24988 22394 1111 63 0 24925 0 vsize: 99952 [startup+420.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 51359 0 0 0 41860 139 0 0 25 0 1 0 664308028 102350848 22394 4294967295 134512640 134714508 3221221792 3221217932 1075116767 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24988 22394 1111 63 0 24925 0 vsize: 99952 [startup+430.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 54098 0 0 0 42853 145 0 0 25 0 1 0 664308028 84619264 19894 4294967295 134512640 134714508 3221221792 3221220592 134597766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20659 19894 1111 63 0 20596 0 vsize: 82636 [startup+440.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 57310 0 0 0 43843 155 0 0 25 0 1 0 664308028 82333696 19380 4294967295 134512640 134714508 3221221792 3221220192 1074153672 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20101 19380 1111 63 0 20038 0 vsize: 80404 [startup+450.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 72218 0 0 0 44806 192 0 0 25 0 1 0 664308028 82481152 19419 4294967295 134512640 134714508 3221221792 3221220192 1074153749 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20137 19419 1111 63 0 20074 0 vsize: 80548 [startup+460.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 72316 0 0 0 45806 192 0 0 25 0 1 0 664308028 82882560 19517 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20235 19517 1111 63 0 20172 0 vsize: 80940 [startup+470.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 72376 0 0 0 46806 193 0 0 25 0 1 0 664308028 83128320 19577 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20295 19577 1111 63 0 20232 0 vsize: 81180 [startup+480.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 72472 0 0 0 47805 194 0 0 25 0 1 0 664308028 83521536 19673 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20391 19673 1111 63 0 20328 0 vsize: 81564 [startup+490.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 74997 0 0 0 48800 199 0 0 25 0 1 0 664308028 99299328 21477 4294967295 134512640 134714508 3221221792 3221218012 1075116848 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24243 21477 1111 63 0 24180 0 vsize: 96972 [startup+500.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 75046 0 0 0 49800 199 0 0 25 0 1 0 664308028 99299328 21490 4294967295 134512640 134714508 3221221792 3221217848 1074789767 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24243 21490 1111 63 0 24180 0 vsize: 96972 [startup+510.033 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 75073 0 0 0 50800 200 0 0 25 0 1 0 664308028 99299328 21501 4294967295 134512640 134714508 3221221792 3221218064 1074960795 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24243 21501 1111 63 0 24180 0 vsize: 96972 [startup+520.034 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 75114 0 0 0 51800 200 0 0 25 0 1 0 664308028 99299328 21518 4294967295 134512640 134714508 3221221792 3221218012 1075116464 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24243 21518 1111 63 0 24180 0 vsize: 96972 [startup+530.034 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 75143 0 0 0 52799 200 0 0 25 0 1 0 664308028 99299328 21519 4294967295 134512640 134714508 3221221792 3221218064 1074960912 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24243 21519 1111 63 0 24180 0 vsize: 96972 [startup+540.035 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 75181 0 0 0 53800 200 0 0 25 0 1 0 664308028 99459072 21525 4294967295 134512640 134714508 3221221792 3221218864 1074867340 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24282 21525 1111 63 0 24219 0 vsize: 97128 [startup+550.035 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 75211 0 0 0 54799 201 0 0 25 0 1 0 664308028 99299328 21523 4294967295 134512640 134714508 3221221792 3221217936 1074969440 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24243 21523 1111 63 0 24180 0 vsize: 96972 [startup+560.035 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 76981 0 0 0 55795 205 0 0 25 0 1 0 664308028 83791872 19739 4294967295 134512640 134714508 3221221792 3221220592 134597766 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20457 19739 1111 63 0 20394 0 vsize: 81828 [startup+570.036 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 77126 0 0 0 56795 206 0 0 25 0 1 0 664308028 82800640 19497 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20215 19497 1111 63 0 20152 0 vsize: 80860 [startup+580.036 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 77248 0 0 0 57794 206 0 0 25 0 1 0 664308028 83300352 19619 4294967295 134512640 134714508 3221221792 3221219824 1077814665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20337 19619 1111 63 0 20274 0 vsize: 81348 [startup+590.037 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 77300 0 0 0 58793 207 0 0 25 0 1 0 664308028 83513344 19671 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20389 19671 1111 63 0 20326 0 vsize: 81556 [startup+600.036 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 79636 0 0 0 59789 212 0 0 25 0 1 0 664308028 98594816 21306 4294967295 134512640 134714508 3221221792 3221217848 1074860227 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24071 21306 1111 63 0 24008 0 vsize: 96284 [startup+610.036 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 79678 0 0 0 60789 212 0 0 25 0 1 0 664308028 98594816 21322 4294967295 134512640 134714508 3221221792 3221218012 1075116489 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24071 21322 1111 63 0 24008 0 vsize: 96284 [startup+620.036 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 79714 0 0 0 61789 212 0 0 25 0 1 0 664308028 98594816 21330 4294967295 134512640 134714508 3221221792 3221218012 1075116564 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24071 21330 1111 63 0 24008 0 vsize: 96284 [startup+630.036 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 79746 0 0 0 62789 213 0 0 25 0 1 0 664308028 98594816 21338 4294967295 134512640 134714508 3221221792 3221218012 1075116471 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24071 21338 1111 63 0 24008 0 vsize: 96284 [startup+640.038 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 79788 0 0 0 63789 213 0 0 25 0 1 0 664308028 98594816 21348 4294967295 134512640 134714508 3221221792 3221218012 1075116767 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24071 21348 1111 63 0 24008 0 vsize: 96284 [startup+650.037 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 79828 0 0 0 64789 213 0 0 25 0 1 0 664308028 98594816 21356 4294967295 134512640 134714508 3221221792 3221218012 1075116791 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24071 21356 1111 63 0 24008 0 vsize: 96284 [startup+660.037 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 79855 0 0 0 65789 213 0 0 25 0 1 0 664308028 98594816 21357 4294967295 134512640 134714508 3221221792 3221218012 1075116767 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24071 21357 1111 63 0 24008 0 vsize: 96284 [startup+670.037 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 79881 0 0 0 66789 213 0 0 25 0 1 0 664308028 98594816 21357 4294967295 134512640 134714508 3221221792 3221218064 1074960865 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24071 21357 1111 63 0 24008 0 vsize: 96284 [startup+680.037 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 79955 0 0 0 67789 213 0 0 25 0 1 0 664308028 99086336 21405 4294967295 134512640 134714508 3221221792 3221217928 1077410163 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24191 21405 1111 63 0 24128 0 vsize: 96764 [startup+690.038 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 81761 0 0 0 68784 218 0 0 25 0 1 0 664308028 82554880 19437 4294967295 134512640 134714508 3221221792 3221220192 1074153672 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20155 19437 1111 63 0 20092 0 vsize: 80620 [startup+700.038 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 81841 0 0 0 69784 218 0 0 25 0 1 0 664308028 82882560 19517 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20235 19517 1111 63 0 20172 0 vsize: 80940 [startup+710.038 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 81984 0 0 0 70783 220 0 0 25 0 1 0 664308028 83468288 19660 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20378 19660 1111 63 0 20315 0 vsize: 81512 [startup+720.038 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 84206 0 0 0 71777 226 0 0 25 0 1 0 664308028 98594816 21226 4294967295 134512640 134714508 3221221792 3221218448 1075967440 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24071 21226 1111 63 0 24008 0 vsize: 96284 [startup+730.038 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 84294 0 0 0 72776 227 0 0 25 0 1 0 664308028 98447360 21272 4294967295 134512640 134714508 3221221792 3221218012 1075116586 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24035 21272 1111 63 0 23972 0 vsize: 96140 [startup+740.038 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 84342 0 0 0 73776 227 0 0 25 0 1 0 664308028 98447360 21290 4294967295 134512640 134714508 3221221792 3221218064 1074960822 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24035 21290 1111 63 0 23972 0 vsize: 96140 [startup+750.039 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 84385 0 0 0 74776 227 0 0 25 0 1 0 664308028 98447360 21297 4294967295 134512640 134714508 3221221792 3221218012 1075116848 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24035 21297 1111 63 0 23972 0 vsize: 96140 [startup+760.039 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 84421 0 0 0 75776 227 0 0 25 0 1 0 664308028 98447360 21303 4294967295 134512640 134714508 3221221792 3221218012 1075116866 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24035 21303 1111 63 0 23972 0 vsize: 96140 [startup+770.039 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 84448 0 0 0 76776 228 0 0 25 0 1 0 664308028 98447360 21304 4294967295 134512640 134714508 3221221792 3221218012 1075116492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24035 21304 1111 63 0 23972 0 vsize: 96140 [startup+780.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 84513 0 0 0 77776 228 0 0 25 0 1 0 664308028 98926592 21343 4294967295 134512640 134714508 3221221792 3221218064 1074961267 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24152 21343 1111 63 0 24089 0 vsize: 96608 [startup+790.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 86244 0 0 0 78773 232 0 0 25 0 1 0 664308028 82718720 19477 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20195 19477 1111 63 0 20132 0 vsize: 80780 [startup+800.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 86380 0 0 0 79772 233 0 0 25 0 1 0 664308028 83275776 19613 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20331 19613 1111 63 0 20268 0 vsize: 81324 [startup+810.04 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 86433 0 0 0 80770 235 0 0 25 0 1 0 664308028 83492864 19666 4294967295 134512640 134714508 3221221792 3221220128 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20384 19666 1111 63 0 20321 0 vsize: 81536 [startup+820.041 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 88619 0 0 0 81765 240 0 0 25 0 1 0 664308028 98373632 21220 4294967295 134512640 134714508 3221221792 3221218116 1075964296 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24017 21220 1111 63 0 23954 0 vsize: 96068 [startup+830.041 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 88669 0 0 0 82765 240 0 0 25 0 1 0 664308028 98373632 21244 4294967295 134512640 134714508 3221221792 3221217848 1074860223 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24017 21244 1111 63 0 23954 0 vsize: 96068 [startup+840.041 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 88703 0 0 0 83765 240 0 0 25 0 1 0 664308028 98373632 21252 4294967295 134512640 134714508 3221221792 3221218012 1075116508 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24017 21252 1111 63 0 23954 0 vsize: 96068 [startup+850.042 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 88742 0 0 0 84765 241 0 0 25 0 1 0 664308028 98373632 21255 4294967295 134512640 134714508 3221221792 3221218012 1075116725 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24017 21255 1111 63 0 23954 0 vsize: 96068 [startup+860.042 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 88781 0 0 0 85764 241 0 0 25 0 1 0 664308028 98373632 21260 4294967295 134512640 134714508 3221221792 3221218012 1075116862 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24017 21260 1111 63 0 23954 0 vsize: 96068 [startup+870.042 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 88813 0 0 0 86765 241 0 0 25 0 1 0 664308028 98373632 21260 4294967295 134512640 134714508 3221221792 3221218012 1075116856 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24017 21260 1111 63 0 23954 0 vsize: 96068 [startup+880.042 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 88880 0 0 0 87764 241 0 0 25 0 1 0 664308028 98844672 21301 4294967295 134512640 134714508 3221221792 3221218012 1075116504 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24132 21301 1111 63 0 24069 0 vsize: 96528 [startup+890.043 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 90601 0 0 0 88760 246 0 0 25 0 1 0 664308028 82800640 19497 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20215 19497 1111 63 0 20152 0 vsize: 80860 [startup+900.043 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 90646 0 0 0 89760 246 0 0 25 0 1 0 664308028 82984960 19542 4294967295 134512640 134714508 3221221792 3221220128 1074057961 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20260 19542 1111 63 0 20197 0 vsize: 81040 [startup+910.042 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 90771 0 0 0 90758 248 0 0 25 0 1 0 664308028 83496960 19667 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20385 19667 1111 63 0 20322 0 vsize: 81540 [startup+920.043 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 92998 0 0 0 91754 253 0 0 25 0 1 0 664308028 98279424 21225 4294967295 134512640 134714508 3221221792 3221218012 1075116471 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23994 21225 1111 63 0 23931 0 vsize: 95976 [startup+930.044 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 93048 0 0 0 92754 253 0 0 25 0 1 0 664308028 98279424 21241 4294967295 134512640 134714508 3221221792 3221218012 1075116489 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23994 21241 1111 63 0 23931 0 vsize: 95976 [startup+940.044 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 93084 0 0 0 93754 253 0 0 25 0 1 0 664308028 98279424 21243 4294967295 134512640 134714508 3221221792 3221217848 1074860223 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23994 21243 1111 63 0 23931 0 vsize: 95976 [startup+950.045 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 93116 0 0 0 94753 254 0 0 25 0 1 0 664308028 98279424 21245 4294967295 134512640 134714508 3221221792 3221218012 1075116767 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23994 21245 1111 63 0 23931 0 vsize: 95976 [startup+960.045 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 93192 0 0 0 95753 254 0 0 25 0 1 0 664308028 98893824 21289 4294967295 134512640 134714508 3221221792 3221218864 1074867308 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24144 21289 1111 63 0 24081 0 vsize: 96576 [startup+970.046 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 94946 0 0 0 96749 259 0 0 25 0 1 0 664308028 82800640 19497 4294967295 134512640 134714508 3221221792 3221220176 1074153815 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20215 19497 1111 63 0 20152 0 vsize: 80860 [startup+980.046 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 95065 0 0 0 97749 259 0 0 25 0 1 0 664308028 83288064 19616 4294967295 134512640 134714508 3221221792 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20334 19616 1111 63 0 20271 0 vsize: 81336 [startup+990.047 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 97174 0 0 0 98743 265 0 0 25 0 1 0 664308028 97955840 21087 4294967295 134512640 134714508 3221221792 3221218832 1075971413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23915 21087 1111 63 0 23852 0 vsize: 95660 [startup+1000.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 97200 0 0 0 99743 265 0 0 25 0 1 0 664308028 97955840 21113 4294967295 134512640 134714508 3221221792 3221218012 1075116856 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23915 21113 1111 63 0 23852 0 vsize: 95660 [startup+1010.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 97210 0 0 0 100743 265 0 0 25 0 1 0 664308028 97955840 21123 4294967295 134512640 134714508 3221221792 3221218560 1076083427 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23915 21123 1111 63 0 23852 0 vsize: 95660 [startup+1020.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 97216 0 0 0 101743 265 0 0 25 0 1 0 664308028 97955840 21129 4294967295 134512640 134714508 3221221792 3221218012 1075116767 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23915 21129 1111 63 0 23852 0 vsize: 95660 [startup+1030.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 97218 0 0 0 102744 265 0 0 25 0 1 0 664308028 97955840 21131 4294967295 134512640 134714508 3221221792 3221218012 1075116498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23915 21131 1111 63 0 23852 0 vsize: 95660 [startup+1040.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 97220 0 0 0 103744 265 0 0 25 0 1 0 664308028 97955840 21133 4294967295 134512640 134714508 3221221792 3221218012 1075116489 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23915 21133 1111 63 0 23852 0 vsize: 95660 [startup+1050.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 97221 0 0 0 104744 265 0 0 25 0 1 0 664308028 97955840 21134 4294967295 134512640 134714508 3221221792 3221217952 1074794472 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23915 21134 1111 63 0 23852 0 vsize: 95660 [startup+1060.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 98772 0 0 0 105740 269 0 0 25 0 1 0 664308028 82452480 19412 4294967295 134512640 134714508 3221221792 3221220172 1073987056 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20130 19412 1111 63 0 20067 0 vsize: 80520 [startup+1070.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 98877 0 0 0 106740 269 0 0 25 0 1 0 664308028 82882560 19517 4294967295 134512640 134714508 3221221792 3221220152 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20235 19517 1111 63 0 20172 0 vsize: 80940 [startup+1080.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 98980 0 0 0 107740 270 0 0 25 0 1 0 664308028 83304448 19620 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20338 19620 1111 63 0 20275 0 vsize: 81352 [startup+1090.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 101049 0 0 0 108735 275 0 0 25 0 1 0 664308028 97906688 21079 4294967295 134512640 134714508 3221221792 3221218000 1074815309 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23903 21079 1111 63 0 23840 0 vsize: 95612 [startup+1100.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 101083 0 0 0 109735 275 0 0 25 0 1 0 664308028 97906688 21113 4294967295 134512640 134714508 3221221792 3221218012 1075116862 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23903 21113 1111 63 0 23840 0 vsize: 95612 [startup+1110.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 101087 0 0 0 110735 275 0 0 25 0 1 0 664308028 97906688 21117 4294967295 134512640 134714508 3221221792 3221218012 1075116862 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23903 21117 1111 63 0 23840 0 vsize: 95612 [startup+1120.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 101089 0 0 0 111736 275 0 0 25 0 1 0 664308028 97906688 21119 4294967295 134512640 134714508 3221221792 3221218012 1075116801 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23903 21119 1111 63 0 23840 0 vsize: 95612 [startup+1130.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 101129 0 0 0 112735 275 0 0 25 0 1 0 664308028 98353152 21159 4294967295 134512640 134714508 3221221792 3221218012 1075116862 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24012 21159 1111 63 0 23949 0 vsize: 96048 [startup+1140.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 102639 0 0 0 113731 280 0 0 25 0 1 0 664308028 82800640 19497 4294967295 134512640 134714508 3221221792 3221220192 1074153773 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20215 19497 1111 63 0 20152 0 vsize: 80860 [startup+1150.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 102760 0 0 0 114729 282 0 0 25 0 1 0 664308028 83296256 19618 4294967295 134512640 134714508 3221221792 3221220192 1074153806 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20336 19618 1111 63 0 20273 0 vsize: 81344 [startup+1160.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 104836 0 0 0 115725 286 0 0 25 0 1 0 664308028 97906688 21084 4294967295 134512640 134714508 3221221792 3221218624 1075115837 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23903 21084 1111 63 0 23840 0 vsize: 95612 [startup+1170.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 104858 0 0 0 116725 286 0 0 25 0 1 0 664308028 97906688 21106 4294967295 134512640 134714508 3221221792 3221218012 1075116564 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23903 21106 1111 63 0 23840 0 vsize: 95612 [startup+1180.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 104868 0 0 0 117725 286 0 0 25 0 1 0 664308028 97906688 21116 4294967295 134512640 134714508 3221221792 3221218064 1074960909 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23903 21116 1111 63 0 23840 0 vsize: 95612 [startup+1190.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 104870 0 0 0 118725 286 0 0 25 0 1 0 664308028 97906688 21118 4294967295 134512640 134714508 3221221792 3221218012 1075116767 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23903 21118 1111 63 0 23840 0 vsize: 95612 [startup+1200.05 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) R 10496 7876 7672 0 -1 0 104909 0 0 0 119726 286 0 0 25 0 1 0 664308028 98353152 21157 4294967295 134512640 134714508 3221221792 3221218064 1074960771 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24012 21157 1111 63 0 23949 0 vsize: 96048 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.1 s] Raw data (loadavg): 0.99 0.98 0.99 1/54 10497 Raw data (stat): 10497 (bsolo_lpr_cuts) Z 10496 7876 7672 0 -1 1036 104909 0 0 0 119726 290 0 0 25 0 1 0 664308028 0 0 4294967295 0 0 0 0 0 0 0 1 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.1 CPU time (s): 1200.17 CPU user time (s): 1197.26 CPU system time (s): 2.90856 CPU usage (%): 100.006 Max. virtual memory (Kb): 100160 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####