Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a4.opb |
MD5SUM | 8a77190c2eeefb9e88447a9087adfd6f |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 283 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 792 |
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 | 792 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 792 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02084 |
Number of variables | 792 |
Total number of constraints | 3194 |
Number of constraints which are clauses | 3194 |
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 | 8 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc30 THE 2005-05-28 10:44:05 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=24092 boxname=wulflinc30 idbench=166 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 8a77190c2eeefb9e88447a9087adfd6f /oldhome/oroussel/tmp/wulflinc30/normalized-ii8a4.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc30/normalized-ii8a4.opb IDLAUNCH: 24092 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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.072 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: 872800 kB Buffers: 33996 kB Cached: 104652 kB SwapCached: 752 kB Active: 40616 kB Inactive: 100208 kB HighTotal: 131008 kB HighFree: 89012 kB LowTotal: 903652 kB LowFree: 783788 kB SwapTotal: 2097892 kB SwapFree: 2096312 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5060 kB Slab: 15412 kB Committed_AS: 63588 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-28 11:04:08 (client local time) WITH STATUS 0 IN 1201.66 SECONDS stats: 24092 7 1201.66 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... Decision: 131868/315628 Time: 647.963/86400 Decision: 131868/315628 Time: 721.876/86400 Decision: 131868/315628 Time: 809.091/86400 Decision: 131868/315628 Time: 881.471/86400 Decision: 131868/315628 Time: 960.703/86400 Decision: 131868/315628 Time: 1021.71/86400 Decision: 131868/315628 Time: 1075.38/86400 Decision: 131868/315628 Time: 1122.83/86400s UNKNOWN #### 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.84 0.94 0.82 2/54 31863 Raw data (stat): 31863 (runsolver) R 31862 22056 22055 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864172691 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.0002 s] Raw data (loadavg): 0.87 0.94 0.82 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 29312 0 0 0 939 59 0 0 25 0 1 0 864172691 88612864 18407 4294967295 134512640 135726644 3221224592 3221206856 135297949 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21634 18407 300 300 0 21334 0 vsize: 86536 [startup+20.0013 s] Raw data (loadavg): 0.89 0.94 0.82 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 51796 0 0 0 1886 113 0 0 25 0 1 0 864172691 171843584 29399 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41954 29399 300 300 0 41654 0 vsize: 167816 [startup+30.0018 s] Raw data (loadavg): 0.90 0.94 0.82 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 53156 0 0 0 2883 116 0 0 25 0 1 0 864172691 178339840 30636 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43540 30636 300 300 0 43240 0 vsize: 174160 [startup+40.0015 s] Raw data (loadavg): 0.92 0.94 0.82 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 53792 0 0 0 3881 118 0 0 25 0 1 0 864172691 181243904 31107 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44249 31107 300 300 0 43949 0 vsize: 176996 [startup+50.0026 s] Raw data (loadavg): 0.93 0.94 0.82 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 54350 0 0 0 4880 119 0 0 25 0 1 0 864172691 183648256 31550 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44836 31550 300 300 0 44536 0 vsize: 179344 [startup+60.0021 s] Raw data (loadavg): 0.94 0.95 0.82 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 54960 0 0 0 5878 121 0 0 25 0 1 0 864172691 186728448 32094 4294967295 134512640 135726644 3221224592 3221223088 134744153 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45588 32094 300 300 0 45288 0 vsize: 182352 [startup+70.0029 s] Raw data (loadavg): 0.95 0.95 0.83 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 55385 0 0 0 6877 122 0 0 25 0 1 0 864172691 188325888 32453 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45978 32453 300 300 0 45678 0 vsize: 183912 [startup+80.0042 s] Raw data (loadavg): 0.96 0.95 0.83 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 55793 0 0 0 7876 124 0 0 25 0 1 0 864172691 189927424 32762 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46369 32762 300 300 0 46069 0 vsize: 185476 [startup+90.0034 s] Raw data (loadavg): 0.96 0.95 0.83 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 56430 0 0 0 8875 125 0 0 25 0 1 0 864172691 192192512 33169 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46922 33169 300 300 0 46622 0 vsize: 187688 [startup+100.003 s] Raw data (loadavg): 0.97 0.95 0.83 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 56933 0 0 0 9874 126 0 0 25 0 1 0 864172691 193642496 33443 4294967295 134512640 135726644 3221224592 3221223088 134744206 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47276 33443 300 300 0 46976 0 vsize: 189104 [startup+110.003 s] Raw data (loadavg): 0.97 0.95 0.83 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 56959 0 0 0 10874 126 0 0 25 0 1 0 864172691 193642496 33469 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47276 33469 300 300 0 46976 0 vsize: 189104 [startup+120.004 s] Raw data (loadavg): 0.98 0.95 0.83 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 57043 0 0 0 11874 126 0 0 25 0 1 0 864172691 193912832 33553 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47342 33553 300 300 0 47042 0 vsize: 189368 [startup+130.004 s] Raw data (loadavg): 0.98 0.95 0.83 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 57182 0 0 0 12874 127 0 0 25 0 1 0 864172691 194174976 33627 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47406 33627 300 300 0 47106 0 vsize: 189624 [startup+140.004 s] Raw data (loadavg): 0.98 0.95 0.83 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 57208 0 0 0 13874 127 0 0 25 0 1 0 864172691 194174976 33653 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47406 33653 300 300 0 47106 0 vsize: 189624 [startup+150.004 s] Raw data (loadavg): 0.98 0.95 0.83 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 57509 0 0 0 14873 128 0 0 25 0 1 0 864172691 194969600 33823 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47600 33823 300 300 0 47300 0 vsize: 190400 [startup+160.004 s] Raw data (loadavg): 0.99 0.96 0.83 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 58097 0 0 0 15871 130 0 0 25 0 1 0 864172691 196960256 34116 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48086 34116 300 300 0 47786 0 vsize: 192344 [startup+170.005 s] Raw data (loadavg): 0.99 0.96 0.84 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 58222 0 0 0 16871 131 0 0 25 0 1 0 864172691 197361664 34208 4294967295 134512640 135726644 3221224592 3221222912 134728909 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48184 34208 300 300 0 47884 0 vsize: 192736 [startup+180.004 s] Raw data (loadavg): 0.99 0.96 0.84 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 58497 0 0 0 17870 131 0 0 25 0 1 0 864172691 198021120 34351 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48345 34351 300 300 0 48045 0 vsize: 193380 [startup+190.004 s] Raw data (loadavg): 0.99 0.96 0.84 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 58769 0 0 0 18870 132 0 0 25 0 1 0 864172691 198950912 34525 4294967295 134512640 135726644 3221224592 3221222928 134763531 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48572 34525 300 300 0 48272 0 vsize: 194288 [startup+200.005 s] Raw data (loadavg): 0.99 0.96 0.84 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 59038 0 0 0 19869 133 0 0 25 0 1 0 864172691 199741440 34662 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48765 34662 300 300 0 48465 0 vsize: 195060 [startup+210.005 s] Raw data (loadavg): 0.99 0.96 0.84 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 59483 0 0 0 20868 134 0 0 25 0 1 0 864172691 201334784 34910 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49154 34910 300 300 0 48854 0 vsize: 196616 [startup+220.006 s] Raw data (loadavg): 0.99 0.96 0.84 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 59779 0 0 0 21868 135 0 0 25 0 1 0 864172691 202264576 35074 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49381 35074 300 300 0 49081 0 vsize: 197524 [startup+230.006 s] Raw data (loadavg): 0.99 0.96 0.84 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 60047 0 0 0 22867 135 0 0 25 0 1 0 864172691 203325440 35277 4294967295 134512640 135726644 3221224592 3221223216 134744667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49640 35277 300 300 0 49340 0 vsize: 198560 [startup+240.005 s] Raw data (loadavg): 0.99 0.96 0.84 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 60133 0 0 0 23867 136 0 0 25 0 1 0 864172691 203722752 35330 4294967295 134512640 135726644 3221224592 3221223200 134744653 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49737 35330 300 300 0 49437 0 vsize: 198948 [startup+250.005 s] Raw data (loadavg): 0.99 0.96 0.84 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 60609 0 0 0 24866 137 0 0 25 0 1 0 864172691 204640256 35576 4294967295 134512640 135726644 3221224592 3221223088 134743875 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49961 35576 300 300 0 49661 0 vsize: 199844 [startup+260.007 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 60787 0 0 0 25865 138 0 0 25 0 1 0 864172691 205168640 35688 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50090 35688 300 300 0 49790 0 vsize: 200360 [startup+270.008 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 61021 0 0 0 26865 139 0 0 25 0 1 0 864172691 205692928 35791 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50218 35791 300 300 0 49918 0 vsize: 200872 [startup+280.007 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 61196 0 0 0 27864 140 0 0 25 0 1 0 864172691 206557184 35917 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50429 35917 300 300 0 50129 0 vsize: 201716 [startup+290.007 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 61296 0 0 0 28864 140 0 0 25 0 1 0 864172691 206819328 35952 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50493 35952 300 300 0 50193 0 vsize: 201972 [startup+300.008 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 61563 0 0 0 29864 140 0 0 25 0 1 0 864172691 207478784 36057 4294967295 134512640 135726644 3221224592 3221223088 134744020 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50654 36057 300 300 0 50354 0 vsize: 202616 [startup+310.008 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 61654 0 0 0 30863 141 0 0 25 0 1 0 864172691 208011264 36148 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50784 36148 300 300 0 50484 0 vsize: 203136 [startup+320.009 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 61787 0 0 0 31863 141 0 0 25 0 1 0 864172691 208273408 36216 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50848 36216 300 300 0 50548 0 vsize: 203392 [startup+330.009 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 61866 0 0 0 32863 142 0 0 25 0 1 0 864172691 208404480 36262 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50880 36262 300 300 0 50580 0 vsize: 203520 [startup+340.009 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 62093 0 0 0 33862 142 0 0 25 0 1 0 864172691 209059840 36326 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51040 36326 300 300 0 50740 0 vsize: 204160 [startup+350.009 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 62164 0 0 0 34862 143 0 0 25 0 1 0 864172691 209059840 36397 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51040 36397 300 300 0 50740 0 vsize: 204160 [startup+360.01 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 62240 0 0 0 35862 143 0 0 25 0 1 0 864172691 209190912 36440 4294967295 134512640 135726644 3221224592 3221223216 134744513 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51072 36440 300 300 0 50772 0 vsize: 204288 [startup+370.01 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 62452 0 0 0 36862 144 0 0 25 0 1 0 864172691 209715200 36522 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51200 36522 300 300 0 50900 0 vsize: 204800 [startup+380.011 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 62653 0 0 0 37861 144 0 0 25 0 1 0 864172691 210370560 36560 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51360 36560 300 300 0 51060 0 vsize: 205440 [startup+390.01 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 62814 0 0 0 38861 144 0 0 25 0 1 0 864172691 210898944 36656 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51489 36656 300 300 0 51189 0 vsize: 205956 [startup+400.011 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 62825 0 0 0 39861 145 0 0 25 0 1 0 864172691 210898944 36667 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51489 36667 300 300 0 51189 0 vsize: 205956 [startup+410.011 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 62846 0 0 0 40861 145 0 0 25 0 1 0 864172691 210898944 36688 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51489 36688 300 300 0 51189 0 vsize: 205956 [startup+420.011 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 62923 0 0 0 41861 146 0 0 25 0 1 0 864172691 211030016 36732 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51521 36732 300 300 0 51221 0 vsize: 206084 [startup+430.012 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 63097 0 0 0 42860 147 0 0 25 0 1 0 864172691 211554304 36776 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51649 36777 300 300 0 51349 0 vsize: 206596 [startup+440.012 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 63101 0 0 0 43860 147 0 0 25 0 1 0 864172691 211554304 36780 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51649 36780 300 300 0 51349 0 vsize: 206596 [startup+450.013 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 63108 0 0 0 44860 147 0 0 25 0 1 0 864172691 211554304 36787 4294967295 134512640 135726644 3221224592 3221223216 134744526 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51649 36787 300 300 0 51349 0 vsize: 206596 [startup+460.012 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 63197 0 0 0 45860 147 0 0 25 0 1 0 864172691 211816448 36811 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51713 36811 300 300 0 51413 0 vsize: 206852 [startup+470.013 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 63253 0 0 0 46859 148 0 0 25 0 1 0 864172691 211947520 36834 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51745 36834 300 300 0 51445 0 vsize: 206980 [startup+480.014 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 63364 0 0 0 47859 148 0 0 25 0 1 0 864172691 212209664 36880 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51809 36880 300 300 0 51509 0 vsize: 207236 [startup+490.014 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 63369 0 0 0 48859 148 0 0 25 0 1 0 864172691 212209664 36885 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51809 36885 300 300 0 51509 0 vsize: 207236 [startup+500.015 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 63477 0 0 0 49859 149 0 0 25 0 1 0 864172691 212471808 36928 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51873 36928 300 300 0 51573 0 vsize: 207492 [startup+510.015 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 63501 0 0 0 50859 149 0 0 25 0 1 0 864172691 212471808 36952 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51873 36952 300 300 0 51573 0 vsize: 207492 [startup+520.016 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 63646 0 0 0 51859 150 0 0 25 0 1 0 864172691 212733952 37032 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51937 37032 300 300 0 51637 0 vsize: 207748 [startup+530.016 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 63651 0 0 0 52858 150 0 0 25 0 1 0 864172691 212733952 37037 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51937 37037 300 300 0 51637 0 vsize: 207748 [startup+540.017 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 63670 0 0 0 53858 151 0 0 25 0 1 0 864172691 212733952 37056 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51937 37056 300 300 0 51637 0 vsize: 207748 [startup+550.016 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 63672 0 0 0 54858 151 0 0 25 0 1 0 864172691 212733952 37058 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51937 37058 300 300 0 51637 0 vsize: 207748 [startup+560.017 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 63759 0 0 0 55858 152 0 0 25 0 1 0 864172691 212996096 37080 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52001 37080 300 300 0 51701 0 vsize: 208004 [startup+570.018 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 63998 0 0 0 56857 152 0 0 25 0 1 0 864172691 213782528 37124 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52193 37124 300 300 0 51893 0 vsize: 208772 [startup+580.018 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 64014 0 0 0 57857 153 0 0 25 0 1 0 864172691 213782528 37140 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52193 37140 300 300 0 51893 0 vsize: 208772 [startup+590.018 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 64094 0 0 0 58857 153 0 0 25 0 1 0 864172691 214310912 37220 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52322 37220 300 300 0 52022 0 vsize: 209288 [startup+600.018 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 64100 0 0 0 59857 153 0 0 25 0 1 0 864172691 214310912 37226 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52322 37226 300 300 0 52022 0 vsize: 209288 [startup+610.018 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 64196 0 0 0 60857 154 0 0 25 0 1 0 864172691 214573056 37257 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52386 37257 300 300 0 52086 0 vsize: 209544 [startup+620.019 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 64274 0 0 0 61856 154 0 0 25 0 1 0 864172691 214835200 37270 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52450 37270 300 300 0 52150 0 vsize: 209800 [startup+630.02 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 64468 0 0 0 62856 154 0 0 25 0 1 0 864172691 215363584 37398 4294967295 134512640 135726644 3221224592 3221223184 134760426 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52579 37398 300 300 0 52279 0 vsize: 210316 [startup+640.02 s] Raw data (loadavg): 1.07 0.99 0.89 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 64661 0 0 0 63856 155 0 0 25 0 1 0 864172691 215887872 37461 4294967295 134512640 135726644 3221224592 3221223200 134744639 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52707 37461 300 300 0 52407 0 vsize: 210828 [startup+650.02 s] Raw data (loadavg): 1.06 0.99 0.89 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 64686 0 0 0 64856 155 0 0 25 0 1 0 864172691 215887872 37486 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52707 37486 300 300 0 52407 0 vsize: 210828 [startup+660.019 s] Raw data (loadavg): 1.05 0.99 0.89 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 64689 0 0 0 65856 155 0 0 25 0 1 0 864172691 215887872 37489 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52707 37489 300 300 0 52407 0 vsize: 210828 [startup+670.02 s] Raw data (loadavg): 1.04 0.99 0.89 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 65363 0 0 0 66854 157 0 0 25 0 1 0 864172691 216158208 37546 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52773 37546 300 300 0 52473 0 vsize: 211092 [startup+680.02 s] Raw data (loadavg): 1.03 0.99 0.89 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 65663 0 0 0 67853 158 0 0 25 0 1 0 864172691 217083904 37714 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52999 37714 300 300 0 52699 0 vsize: 211996 [startup+690.019 s] Raw data (loadavg): 1.03 0.99 0.89 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 65756 0 0 0 68853 158 0 0 25 0 1 0 864172691 217346048 37742 4294967295 134512640 135726644 3221224592 3221223088 134744020 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53063 37742 300 300 0 52763 0 vsize: 212252 [startup+700.019 s] Raw data (loadavg): 1.02 0.99 0.89 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 65756 0 0 0 69853 158 0 0 25 0 1 0 864172691 217346048 37742 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53063 37742 300 300 0 52763 0 vsize: 212252 [startup+710.019 s] Raw data (loadavg): 1.02 0.99 0.89 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 65758 0 0 0 70853 158 0 0 25 0 1 0 864172691 217346048 37744 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53063 37744 300 300 0 52763 0 vsize: 212252 [startup+720.02 s] Raw data (loadavg): 1.02 0.99 0.89 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 65880 0 0 0 71853 159 0 0 25 0 1 0 864172691 217608192 37801 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53127 37801 300 300 0 52827 0 vsize: 212508 [startup+730.02 s] Raw data (loadavg): 1.01 0.99 0.90 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 65882 0 0 0 72853 159 0 0 25 0 1 0 864172691 217608192 37803 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53127 37803 300 300 0 52827 0 vsize: 212508 [startup+740.02 s] Raw data (loadavg): 1.01 0.99 0.90 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 66620 0 0 0 73851 161 0 0 25 0 1 0 864172691 218136576 37859 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53256 37859 300 300 0 52956 0 vsize: 213024 [startup+750.02 s] Raw data (loadavg): 1.01 0.99 0.90 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 66629 0 0 0 74851 161 0 0 25 0 1 0 864172691 218136576 37868 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53256 37868 300 300 0 52956 0 vsize: 213024 [startup+760.02 s] Raw data (loadavg): 1.01 0.99 0.90 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 66636 0 0 0 75851 162 0 0 25 0 1 0 864172691 218136576 37875 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53256 37875 300 300 0 52956 0 vsize: 213024 [startup+770.021 s] Raw data (loadavg): 1.00 0.99 0.90 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 66637 0 0 0 76851 162 0 0 25 0 1 0 864172691 218136576 37876 4294967295 134512640 135726644 3221224592 3221222924 134735632 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53256 37876 300 300 0 52956 0 vsize: 213024 [startup+780.021 s] Raw data (loadavg): 1.00 0.99 0.90 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 66748 0 0 0 77851 162 0 0 25 0 1 0 864172691 218398720 37922 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53320 37922 300 300 0 53020 0 vsize: 213280 [startup+790.021 s] Raw data (loadavg): 1.00 0.99 0.90 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 66842 0 0 0 78851 162 0 0 25 0 1 0 864172691 218660864 37951 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53384 37951 300 300 0 53084 0 vsize: 213536 [startup+800.023 s] Raw data (loadavg): 1.00 0.99 0.90 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 66847 0 0 0 79851 162 0 0 25 0 1 0 864172691 218660864 37956 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53384 37956 300 300 0 53084 0 vsize: 213536 [startup+810.023 s] Raw data (loadavg): 1.00 0.99 0.90 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 66991 0 0 0 80851 162 0 0 25 0 1 0 864172691 218923008 38035 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53448 38035 300 300 0 53148 0 vsize: 213792 [startup+820.024 s] Raw data (loadavg): 1.00 0.99 0.90 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 67008 0 0 0 81851 163 0 0 25 0 1 0 864172691 218923008 38052 4294967295 134512640 135726644 3221224592 3221223236 134744672 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53448 38052 300 300 0 53148 0 vsize: 213792 [startup+830.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 67628 0 0 0 82850 164 0 0 25 0 1 0 864172691 218923008 38055 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 53448 38055 300 300 0 53148 0 vsize: 213792 [startup+840.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 67629 0 0 0 83849 164 0 0 25 0 1 0 864172691 218923008 38056 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53448 38056 300 300 0 53148 0 vsize: 213792 [startup+850.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 67629 0 0 0 84849 165 0 0 25 0 1 0 864172691 218923008 38056 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53448 38056 300 300 0 53148 0 vsize: 213792 [startup+860.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 67630 0 0 0 85849 165 0 0 25 0 1 0 864172691 218923008 38057 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53448 38057 300 300 0 53148 0 vsize: 213792 [startup+870.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 67631 0 0 0 86849 165 0 0 25 0 1 0 864172691 218923008 38058 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53448 38058 300 300 0 53148 0 vsize: 213792 [startup+880.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 67631 0 0 0 87849 166 0 0 25 0 1 0 864172691 218923008 38058 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53448 38058 300 300 0 53148 0 vsize: 213792 [startup+890.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 67632 0 0 0 88849 166 0 0 25 0 1 0 864172691 218923008 38059 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53448 38059 300 300 0 53148 0 vsize: 213792 [startup+900.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 68254 0 0 0 89847 167 0 0 25 0 1 0 864172691 218923008 38064 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53448 38064 300 300 0 53148 0 vsize: 213792 [startup+910.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 68255 0 0 0 90847 168 0 0 25 0 1 0 864172691 218923008 38065 4294967295 134512640 135726644 3221224592 3221223088 134744041 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53448 38065 300 300 0 53148 0 vsize: 213792 [startup+920.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 68255 0 0 0 91847 168 0 0 25 0 1 0 864172691 218923008 38065 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53448 38065 300 300 0 53148 0 vsize: 213792 [startup+930.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 68257 0 0 0 92847 168 0 0 25 0 1 0 864172691 218923008 38067 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53448 38067 300 300 0 53148 0 vsize: 213792 [startup+940.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 68257 0 0 0 93847 168 0 0 25 0 1 0 864172691 218923008 38067 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53448 38067 300 300 0 53148 0 vsize: 213792 [startup+950.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31863 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 68258 0 0 0 94847 168 0 0 25 0 1 0 864172691 218923008 38068 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53448 38068 300 300 0 53148 0 vsize: 213792 [startup+960.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/57 31898 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 68259 0 0 0 95847 169 0 0 25 0 1 0 864172691 218923008 38069 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53448 38069 300 300 0 53148 0 vsize: 213792 [startup+970.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31916 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 68260 0 0 0 96847 169 0 0 25 0 1 0 864172691 218923008 38070 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53448 38070 300 300 0 53148 0 vsize: 213792 [startup+980.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31916 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 68884 0 0 0 97845 170 0 0 25 0 1 0 864172691 218923008 38077 4294967295 134512640 135726644 3221224592 3221223280 134744982 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53448 38077 300 300 0 53148 0 vsize: 213792 [startup+990.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31916 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 68885 0 0 0 98845 171 0 0 25 0 1 0 864172691 218923008 38078 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53448 38078 300 300 0 53148 0 vsize: 213792 [startup+1000.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31916 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 68886 0 0 0 99845 171 0 0 25 0 1 0 864172691 218923008 38079 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53448 38079 300 300 0 53148 0 vsize: 213792 [startup+1010.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31916 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 68886 0 0 0 100845 172 0 0 25 0 1 0 864172691 218923008 38079 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53448 38079 300 300 0 53148 0 vsize: 213792 [startup+1020.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31916 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 68887 0 0 0 101845 172 0 0 25 0 1 0 864172691 218923008 38080 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53448 38080 300 300 0 53148 0 vsize: 213792 [startup+1030.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31918 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 68888 0 0 0 102845 172 0 0 25 0 1 0 864172691 218923008 38081 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53448 38081 300 300 0 53148 0 vsize: 213792 [startup+1040.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31918 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 69571 0 0 0 103843 174 0 0 25 0 1 0 864172691 219054080 38114 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 53480 38114 300 300 0 53180 0 vsize: 213920 [startup+1050.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31918 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 69582 0 0 0 104842 174 0 0 25 0 1 0 864172691 219054080 38125 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53480 38125 300 300 0 53180 0 vsize: 213920 [startup+1060.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31918 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 69583 0 0 0 105842 174 0 0 25 0 1 0 864172691 219054080 38126 4294967295 134512640 135726644 3221224592 3221223088 134744048 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53480 38126 300 300 0 53180 0 vsize: 213920 [startup+1070.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31918 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 69593 0 0 0 106842 175 0 0 25 0 1 0 864172691 219054080 38136 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53480 38136 300 300 0 53180 0 vsize: 213920 [startup+1080.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31918 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 69593 0 0 0 107842 175 0 0 25 0 1 0 864172691 219054080 38136 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53480 38136 300 300 0 53180 0 vsize: 213920 [startup+1090.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31918 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 69600 0 0 0 108841 175 0 0 25 0 1 0 864172691 219054080 38143 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53480 38143 300 300 0 53180 0 vsize: 213920 [startup+1100.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31918 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 70218 0 0 0 109840 177 0 0 25 0 1 0 864172691 219054080 38144 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53480 38144 300 300 0 53180 0 vsize: 213920 [startup+1110.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31918 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 70290 0 0 0 110840 177 0 0 25 0 1 0 864172691 219316224 38151 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53544 38151 300 300 0 53244 0 vsize: 214176 [startup+1120.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31918 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 70290 0 0 0 111840 178 0 0 25 0 1 0 864172691 219316224 38151 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53544 38151 300 300 0 53244 0 vsize: 214176 [startup+1130.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31918 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 70291 0 0 0 112840 178 0 0 25 0 1 0 864172691 219316224 38152 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53544 38152 300 300 0 53244 0 vsize: 214176 [startup+1140.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31918 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 70914 0 0 0 113838 179 0 0 25 0 1 0 864172691 219316224 38158 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53544 38158 300 300 0 53244 0 vsize: 214176 [startup+1150.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31918 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 70914 0 0 0 114839 180 0 0 25 0 1 0 864172691 219316224 38158 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53544 38158 300 300 0 53244 0 vsize: 214176 [startup+1160.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31918 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 70916 0 0 0 115839 180 0 0 25 0 1 0 864172691 219250688 38144 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53528 38144 300 300 0 53228 0 vsize: 214112 [startup+1170.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31918 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 71019 0 0 0 116839 180 0 0 25 0 1 0 864172691 219512832 38182 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53592 38182 300 300 0 53292 0 vsize: 214368 [startup+1180.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31918 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 71020 0 0 0 117839 180 0 0 25 0 1 0 864172691 219512832 38183 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53592 38183 300 300 0 53292 0 vsize: 214368 [startup+1190.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31918 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 71020 0 0 0 118839 180 0 0 25 0 1 0 864172691 219512832 38183 4294967295 134512640 135726644 3221224592 3221223216 134744578 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53592 38183 300 300 0 53292 0 vsize: 214368 [startup+1200.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31918 Raw data (stat): 31863 (pb2sat) R 31862 22056 22055 0 -1 0 71020 0 0 0 119838 181 0 0 25 0 1 0 864172691 219512832 38183 4294967295 134512640 135726644 3221224592 3221222912 134728902 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53592 38183 300 300 0 53292 0 vsize: 214368 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1201.49 s] Raw data (loadavg): 1.00 0.99 0.91 1/54 31918 Raw data (stat): 31863 (pb2sat) Z 31862 22056 22055 0 -1 12 71021 0 0 0 119977 188 0 0 25 0 1 0 864172691 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 0 Real time (s): 1201.49 CPU time (s): 1201.66 CPU user time (s): 1199.77 CPU system time (s): 1.88371 CPU usage (%): 100.014 Max. virtual memory (Kb): 214368 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####