Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb |
MD5SUM | 2b591d1b24a201f365bc505135aa0578 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -33 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 945 |
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 | 945 |
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 | 945 |
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 | 1175.07 |
Number of variables | 945 |
Total number of constraints | 58549 |
Number of constraints which are clauses | 58549 |
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 | 2 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-05-28 11:31:33 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=24258 boxname=wulflinc5 idbench=332 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 2b591d1b24a201f365bc505135aa0578 /oldhome/oroussel/tmp/wulflinc5/normalized-frb45-21-4.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc5/normalized-frb45-21-4.opb IDLAUNCH: 24258 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 584160 kB Buffers: 33820 kB Cached: 390232 kB SwapCached: 608 kB Active: 23648 kB Inactive: 402448 kB HighTotal: 131008 kB HighFree: 36204 kB LowTotal: 903652 kB LowFree: 547956 kB SwapTotal: 2097136 kB SwapFree: 2095612 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5132 kB Slab: 18716 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-28 11:51:37 (client local time) WITH STATUS 0 IN 1202.13 SECONDS stats: 24258 7 1202.13 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... Decision: 133848/448889 Time: 232.53/86400 Decision: 134783/448889 Time: 292.895/86400 Decision: 138567/448889 Time: 353.12/86400 Decision: 153298/448889 Time: 429.5/86400 Decision: 153381/448889 Time: 492.899/86400 Decision: 153410/448889 Time: 579.723/86400 Decision: 153417/448889 Time: 639.616/86400 Decision: 153417/448889 Time: 704.85/86400 Decision: 153426/448889 Time: 776.393/86400 Decision: 153426/448889 Time: 825.036/86400 Decision: 153426/448889 Time: 886.945/86400 Decision: 153426/448889 Time: 940.319/86400 Decision: 153426/448889 Time: 1000.61/86400 Decision: 153426/448889 Time: 1071.67/86400 Decision: 153426/448889 Time: 1134.57/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.91 0.97 0.91 1/54 18384 Raw data (stat): 18384 (runsolver) R 18383 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806241188 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0017 s] Raw data (loadavg): 0.93 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 29245 0 0 0 935 64 0 0 25 0 1 0 806241188 88621056 18341 4294967295 134512640 135726644 3221224592 3221003976 135280584 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21636 18341 300 300 0 21336 0 vsize: 86544 [startup+20.002 s] Raw data (loadavg): 0.94 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 57758 0 0 0 1873 126 0 0 25 0 1 0 806241188 174477312 35897 4294967295 134512640 135726644 3221224592 3221198816 135284833 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42597 35897 300 300 0 42297 0 vsize: 170388 [startup+30.0018 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 64815 0 0 0 2856 143 0 0 25 0 1 0 806241188 192401408 41858 4294967295 134512640 135726644 3221224592 3221223280 134744955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46973 41858 300 300 0 46673 0 vsize: 187892 [startup+40.0034 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 67036 0 0 0 3852 147 0 0 25 0 1 0 806241188 200671232 43191 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48992 43191 300 300 0 48692 0 vsize: 195968 [startup+50.0034 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 68960 0 0 0 4848 152 0 0 25 0 1 0 806241188 206356480 44101 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50380 44101 300 300 0 50080 0 vsize: 201520 [startup+60.0041 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 70231 0 0 0 5845 154 0 0 25 0 1 0 806241188 210055168 44686 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 51283 44686 300 300 0 50983 0 vsize: 205132 [startup+70.0056 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 71307 0 0 0 6843 157 0 0 25 0 1 0 806241188 212963328 45239 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 51993 45239 300 300 0 51693 0 vsize: 207972 [startup+80.0056 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 72360 0 0 0 7841 159 0 0 25 0 1 0 806241188 215867392 45737 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 52702 45737 300 300 0 52402 0 vsize: 210808 [startup+90.0055 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 73709 0 0 0 8839 161 0 0 25 0 1 0 806241188 219566080 46400 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 53605 46400 300 300 0 53305 0 vsize: 214420 [startup+100.006 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 74728 0 0 0 9837 164 0 0 25 0 1 0 806241188 222208000 46929 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 54250 46929 300 300 0 53950 0 vsize: 217000 [startup+110.007 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 75721 0 0 0 10834 167 0 0 25 0 1 0 806241188 224849920 47432 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 54895 47432 300 300 0 54595 0 vsize: 219580 [startup+120.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 75748 0 0 0 11834 167 0 0 25 0 1 0 806241188 224849920 47459 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 54895 47459 300 300 0 54595 0 vsize: 219580 [startup+130.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 76712 0 0 0 12832 169 0 0 25 0 1 0 806241188 227491840 47933 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 55540 47933 300 300 0 55240 0 vsize: 222160 [startup+140.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 78133 0 0 0 13829 172 0 0 25 0 1 0 806241188 231460864 48667 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56509 48667 300 300 0 56209 0 vsize: 226036 [startup+150.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 79381 0 0 0 14828 174 0 0 25 0 1 0 806241188 234631168 49327 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57283 49327 300 300 0 56983 0 vsize: 229132 [startup+160.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 80118 0 0 0 15827 175 0 0 25 0 1 0 806241188 236748800 49704 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57800 49704 300 300 0 57500 0 vsize: 231200 [startup+170.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 80412 0 0 0 16827 175 0 0 25 0 1 0 806241188 237547520 49899 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57995 49899 300 300 0 57695 0 vsize: 231980 [startup+180.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 80457 0 0 0 17827 175 0 0 25 0 1 0 806241188 237744128 49944 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58043 49944 300 300 0 57743 0 vsize: 232172 [startup+190.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 80476 0 0 0 18827 175 0 0 25 0 1 0 806241188 237744128 49963 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58043 49963 300 300 0 57743 0 vsize: 232172 [startup+200.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 80519 0 0 0 19827 175 0 0 25 0 1 0 806241188 237744128 50006 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58043 50006 300 300 0 57743 0 vsize: 232172 [startup+210.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 81375 0 0 0 20826 177 0 0 25 0 1 0 806241188 240377856 50359 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58686 50359 300 300 0 58386 0 vsize: 234744 [startup+220.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 81392 0 0 0 21826 177 0 0 25 0 1 0 806241188 240377856 50376 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58686 50376 300 300 0 58386 0 vsize: 234744 [startup+230.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 81509 0 0 0 22826 177 0 0 25 0 1 0 806241188 240943104 50460 4294967295 134512640 135726644 3221224592 3221222912 134728909 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58824 50460 300 300 0 58524 0 vsize: 235296 [startup+240.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 81723 0 0 0 23826 177 0 0 25 0 1 0 806241188 241467392 50545 4294967295 134512640 135726644 3221224592 3221223024 134726881 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58952 50545 300 300 0 58652 0 vsize: 235808 [startup+250.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 81736 0 0 0 24826 177 0 0 25 0 1 0 806241188 241467392 50558 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58952 50558 300 300 0 58652 0 vsize: 235808 [startup+260.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 83385 0 0 0 25823 180 0 0 25 0 1 0 806241188 244150272 51044 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59607 51044 300 300 0 59307 0 vsize: 238428 [startup+270.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 83801 0 0 0 26822 182 0 0 25 0 1 0 806241188 245932032 51394 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 60042 51394 300 300 0 59742 0 vsize: 240168 [startup+280.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 83802 0 0 0 27822 182 0 0 25 0 1 0 806241188 245932032 51395 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 60042 51395 300 300 0 59742 0 vsize: 240168 [startup+290.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 83803 0 0 0 28822 182 0 0 25 0 1 0 806241188 245932032 51396 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 60042 51396 300 300 0 59742 0 vsize: 240168 [startup+300.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 83804 0 0 0 29822 182 0 0 25 0 1 0 806241188 245932032 51397 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 60042 51397 300 300 0 59742 0 vsize: 240168 [startup+310.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 83935 0 0 0 30822 182 0 0 25 0 1 0 806241188 246456320 51399 4294967295 134512640 135726644 3221224592 3221223040 134726934 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 60170 51399 300 300 0 59870 0 vsize: 240680 [startup+320.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 85565 0 0 0 31818 186 0 0 25 0 1 0 806241188 249049088 51858 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 60803 51858 300 300 0 60503 0 vsize: 243212 [startup+330.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 87132 0 0 0 32815 189 0 0 25 0 1 0 806241188 254627840 52772 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 62165 52772 300 300 0 61865 0 vsize: 248660 [startup+340.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 87965 0 0 0 33813 191 0 0 25 0 1 0 806241188 257679360 53277 4294967295 134512640 135726644 3221224592 3221223088 134743978 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 62910 53277 300 300 0 62610 0 vsize: 251640 [startup+350.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 88719 0 0 0 34812 193 0 0 25 0 1 0 806241188 260874240 53800 4294967295 134512640 135726644 3221224592 3221222912 134728895 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 63690 53800 300 300 0 63390 0 vsize: 254760 [startup+360.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 89181 0 0 0 35810 194 0 0 25 0 1 0 806241188 262324224 54033 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 64044 54033 300 300 0 63744 0 vsize: 256176 [startup+370.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 89343 0 0 0 36810 195 0 0 25 0 1 0 806241188 262848512 54066 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 64172 54066 300 300 0 63872 0 vsize: 256688 [startup+380.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 90581 0 0 0 37806 198 0 0 25 0 1 0 806241188 264040448 54232 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 64463 54232 300 300 0 64163 0 vsize: 257852 [startup+390.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 93353 0 0 0 38801 204 0 0 25 0 1 0 806241188 273526784 55801 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 66779 55801 300 300 0 66479 0 vsize: 267116 [startup+400.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 94801 0 0 0 39797 207 0 0 25 0 1 0 806241188 278360064 56704 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 67959 56704 300 300 0 67659 0 vsize: 271836 [startup+410.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 94851 0 0 0 40797 207 0 0 25 0 1 0 806241188 278630400 56754 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 68025 56754 300 300 0 67725 0 vsize: 272100 [startup+420.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 94856 0 0 0 41798 207 0 0 25 0 1 0 806241188 278630400 56759 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 68025 56759 300 300 0 67725 0 vsize: 272100 [startup+430.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 94868 0 0 0 42797 208 0 0 25 0 1 0 806241188 278630400 56771 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 68025 56771 300 300 0 67725 0 vsize: 272100 [startup+440.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 94877 0 0 0 43797 208 0 0 25 0 1 0 806241188 278630400 56780 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 68025 56780 300 300 0 67725 0 vsize: 272100 [startup+450.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 94888 0 0 0 44797 208 0 0 25 0 1 0 806241188 278630400 56791 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 68025 56791 300 300 0 67725 0 vsize: 272100 [startup+460.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 96044 0 0 0 45795 211 0 0 25 0 1 0 806241188 279556096 56972 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 68251 56972 300 300 0 67951 0 vsize: 273004 [startup+470.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 96134 0 0 0 46795 211 0 0 25 0 1 0 806241188 279687168 57029 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 68283 57029 300 300 0 67983 0 vsize: 273132 [startup+480.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 97396 0 0 0 47792 214 0 0 25 0 1 0 806241188 283529216 57719 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 69221 57719 300 300 0 68921 0 vsize: 276884 [startup+490.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 97781 0 0 0 48792 215 0 0 25 0 1 0 806241188 284454912 57940 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 69447 57940 300 300 0 69147 0 vsize: 277788 [startup+500.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 98693 0 0 0 49790 217 0 0 25 0 1 0 806241188 286904320 58491 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 70045 58491 300 300 0 69745 0 vsize: 280180 [startup+510.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 99859 0 0 0 50787 220 0 0 25 0 1 0 806241188 290615296 59069 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 70951 59069 300 300 0 70651 0 vsize: 283804 [startup+520.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 101127 0 0 0 51784 223 0 0 25 0 1 0 806241188 291803136 59231 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 71241 59231 300 300 0 70941 0 vsize: 284964 [startup+530.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 101841 0 0 0 52782 225 0 0 25 0 1 0 806241188 293642240 59555 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 71690 59555 300 300 0 71390 0 vsize: 286760 [startup+540.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 101852 0 0 0 53782 225 0 0 25 0 1 0 806241188 293642240 59566 4294967295 134512640 135726644 3221224592 3221223072 134729041 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 71690 59566 300 300 0 71390 0 vsize: 286760 [startup+550.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 102058 0 0 0 54781 226 0 0 25 0 1 0 806241188 294297600 59610 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 71850 59610 300 300 0 71550 0 vsize: 287400 [startup+560.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 102071 0 0 0 55781 226 0 0 25 0 1 0 806241188 294297600 59623 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 71850 59623 300 300 0 71550 0 vsize: 287400 [startup+570.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 102084 0 0 0 56781 226 0 0 25 0 1 0 806241188 294297600 59636 4294967295 134512640 135726644 3221224592 3221223184 134760407 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 71850 59636 300 300 0 71550 0 vsize: 287400 [startup+580.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 102096 0 0 0 57782 226 0 0 25 0 1 0 806241188 294297600 59648 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 71850 59648 300 300 0 71550 0 vsize: 287400 [startup+590.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 102106 0 0 0 58782 226 0 0 25 0 1 0 806241188 294297600 59658 4294967295 134512640 135726644 3221224592 3221223196 134744139 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 71850 59658 300 300 0 71550 0 vsize: 287400 [startup+600.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 102122 0 0 0 59782 226 0 0 25 0 1 0 806241188 294297600 59674 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 71850 59674 300 300 0 71550 0 vsize: 287400 [startup+610.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 103287 0 0 0 60779 229 0 0 25 0 1 0 806241188 295223296 59864 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72076 59864 300 300 0 71776 0 vsize: 288304 [startup+620.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 103447 0 0 0 61779 230 0 0 25 0 1 0 806241188 295751680 59959 4294967295 134512640 135726644 3221224592 3221223184 134759908 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72205 59959 300 300 0 71905 0 vsize: 288820 [startup+630.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 103448 0 0 0 62779 230 0 0 25 0 1 0 806241188 295751680 59960 4294967295 134512640 135726644 3221224592 3221223200 134741173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72205 59960 300 300 0 71905 0 vsize: 288820 [startup+640.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 103449 0 0 0 63779 230 0 0 25 0 1 0 806241188 295751680 59961 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72205 59961 300 300 0 71905 0 vsize: 288820 [startup+650.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 103449 0 0 0 64779 230 0 0 25 0 1 0 806241188 295751680 59961 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72205 59961 300 300 0 71905 0 vsize: 288820 [startup+660.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 103450 0 0 0 65779 230 0 0 25 0 1 0 806241188 295751680 59962 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72205 59962 300 300 0 71905 0 vsize: 288820 [startup+670.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 104406 0 0 0 66777 233 0 0 25 0 1 0 806241188 296017920 60041 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72270 60041 300 300 0 71970 0 vsize: 289080 [startup+680.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 104407 0 0 0 67777 233 0 0 25 0 1 0 806241188 296017920 60042 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72270 60042 300 300 0 71970 0 vsize: 289080 [startup+690.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 104407 0 0 0 68777 233 0 0 25 0 1 0 806241188 296017920 60042 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 72270 60042 300 300 0 71970 0 vsize: 289080 [startup+700.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 104410 0 0 0 69777 233 0 0 25 0 1 0 806241188 296017920 60045 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72270 60045 300 300 0 71970 0 vsize: 289080 [startup+710.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 104563 0 0 0 70776 233 0 0 25 0 1 0 806241188 296411136 60100 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72366 60100 300 300 0 72066 0 vsize: 289464 [startup+720.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 104564 0 0 0 71776 233 0 0 25 0 1 0 806241188 296411136 60101 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72366 60101 300 300 0 72066 0 vsize: 289464 [startup+730.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 105442 0 0 0 72774 236 0 0 25 0 1 0 806241188 296411136 60102 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72366 60102 300 300 0 72066 0 vsize: 289464 [startup+740.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 105665 0 0 0 73774 237 0 0 25 0 1 0 806241188 297213952 60292 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72562 60292 300 300 0 72262 0 vsize: 290248 [startup+750.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 105666 0 0 0 74774 237 0 0 25 0 1 0 806241188 297213952 60293 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72562 60293 300 300 0 72262 0 vsize: 290248 [startup+760.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 105666 0 0 0 75774 237 0 0 25 0 1 0 806241188 297213952 60293 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72562 60293 300 300 0 72262 0 vsize: 290248 [startup+770.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 105667 0 0 0 76774 237 0 0 25 0 1 0 806241188 297213952 60294 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72562 60294 300 300 0 72262 0 vsize: 290248 [startup+780.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 105668 0 0 0 77774 237 0 0 25 0 1 0 806241188 297213952 60295 4294967295 134512640 135726644 3221224592 3221223088 134744223 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72562 60295 300 300 0 72262 0 vsize: 290248 [startup+790.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 105669 0 0 0 78774 237 0 0 25 0 1 0 806241188 297213952 60296 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72562 60296 300 300 0 72262 0 vsize: 290248 [startup+800.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 106546 0 0 0 79772 239 0 0 25 0 1 0 806241188 300806144 61173 4294967295 134512640 135726644 3221224592 3221222736 134765185 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 73439 61173 300 300 0 73139 0 vsize: 293756 [startup+810.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 106547 0 0 0 80772 240 0 0 25 0 1 0 806241188 297213952 60297 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72562 60297 300 300 0 72262 0 vsize: 290248 [startup+820.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 106548 0 0 0 81772 240 0 0 25 0 1 0 806241188 297213952 60298 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72562 60298 300 300 0 72262 0 vsize: 290248 [startup+830.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 106549 0 0 0 82772 240 0 0 25 0 1 0 806241188 297213952 60299 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72562 60299 300 300 0 72262 0 vsize: 290248 [startup+840.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 106550 0 0 0 83772 240 0 0 25 0 1 0 806241188 297213952 60300 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72562 60300 300 300 0 72262 0 vsize: 290248 [startup+850.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 107428 0 0 0 84770 242 0 0 25 0 1 0 806241188 297213952 60301 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72562 60301 300 300 0 72262 0 vsize: 290248 [startup+860.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 107428 0 0 0 85770 242 0 0 25 0 1 0 806241188 297213952 60301 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72562 60301 300 300 0 72262 0 vsize: 290248 [startup+870.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 107429 0 0 0 86770 242 0 0 25 0 1 0 806241188 297213952 60302 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72562 60302 300 300 0 72262 0 vsize: 290248 [startup+880.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 107434 0 0 0 87770 243 0 0 25 0 1 0 806241188 297213952 60307 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72562 60307 300 300 0 72262 0 vsize: 290248 [startup+890.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 107445 0 0 0 88771 243 0 0 25 0 1 0 806241188 297213952 60318 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72562 60318 300 300 0 72262 0 vsize: 290248 [startup+900.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 107458 0 0 0 89771 243 0 0 25 0 1 0 806241188 297213952 60331 4294967295 134512640 135726644 3221224592 3221223088 134744048 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72562 60331 300 300 0 72262 0 vsize: 290248 [startup+910.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 108344 0 0 0 90769 245 0 0 25 0 1 0 806241188 297213952 60340 4294967295 134512640 135726644 3221224592 3221223216 134779655 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72562 60340 300 300 0 72262 0 vsize: 290248 [startup+920.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 108344 0 0 0 91769 245 0 0 25 0 1 0 806241188 297213952 60340 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72562 60340 300 300 0 72262 0 vsize: 290248 [startup+930.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 108345 0 0 0 92769 245 0 0 25 0 1 0 806241188 297213952 60341 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72562 60341 300 300 0 72262 0 vsize: 290248 [startup+940.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 108346 0 0 0 93769 245 0 0 25 0 1 0 806241188 297213952 60342 4294967295 134512640 135726644 3221224592 3221223248 134745073 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72562 60342 300 300 0 72262 0 vsize: 290248 [startup+950.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 108346 0 0 0 94769 245 0 0 25 0 1 0 806241188 297213952 60342 4294967295 134512640 135726644 3221224592 3221223184 134760410 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72562 60342 300 300 0 72262 0 vsize: 290248 [startup+960.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 108347 0 0 0 95769 245 0 0 25 0 1 0 806241188 297213952 60343 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72562 60343 300 300 0 72262 0 vsize: 290248 [startup+970.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 109225 0 0 0 96768 247 0 0 25 0 1 0 806241188 297213952 60344 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72562 60344 300 300 0 72262 0 vsize: 290248 [startup+980.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 109309 0 0 0 97768 247 0 0 25 0 1 0 806241188 297345024 60395 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72594 60395 300 300 0 72294 0 vsize: 290376 [startup+990.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 109309 0 0 0 98768 247 0 0 25 0 1 0 806241188 297345024 60395 4294967295 134512640 135726644 3221224592 3221223136 134736726 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72594 60395 300 300 0 72294 0 vsize: 290376 [startup+1000.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 109310 0 0 0 99768 247 0 0 25 0 1 0 806241188 297345024 60396 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72594 60396 300 300 0 72294 0 vsize: 290376 [startup+1010.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 109311 0 0 0 100768 247 0 0 25 0 1 0 806241188 297345024 60397 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72594 60397 300 300 0 72294 0 vsize: 290376 [startup+1020.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 109330 0 0 0 101768 247 0 0 25 0 1 0 806241188 297345024 60416 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72594 60416 300 300 0 72294 0 vsize: 290376 [startup+1030.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 110360 0 0 0 102766 249 0 0 25 0 1 0 806241188 297869312 60440 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72722 60440 300 300 0 72422 0 vsize: 290888 [startup+1040.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 110361 0 0 0 103766 249 0 0 25 0 1 0 806241188 297869312 60441 4294967295 134512640 135726644 3221224592 3221222912 134728909 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72722 60441 300 300 0 72422 0 vsize: 290888 [startup+1050.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 110361 0 0 0 104767 249 0 0 25 0 1 0 806241188 297869312 60441 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72722 60441 300 300 0 72422 0 vsize: 290888 [startup+1060.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 110362 0 0 0 105767 249 0 0 25 0 1 0 806241188 297869312 60442 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72722 60442 300 300 0 72422 0 vsize: 290888 [startup+1070.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 110362 0 0 0 106767 249 0 0 25 0 1 0 806241188 297869312 60442 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72722 60442 300 300 0 72422 0 vsize: 290888 [startup+1080.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 110363 0 0 0 107767 249 0 0 25 0 1 0 806241188 297869312 60443 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72722 60443 300 300 0 72422 0 vsize: 290888 [startup+1090.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 110364 0 0 0 108767 249 0 0 25 0 1 0 806241188 297869312 60444 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72722 60444 300 300 0 72422 0 vsize: 290888 [startup+1100.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 111241 0 0 0 109766 251 0 0 25 0 1 0 806241188 297869312 60444 4294967295 134512640 135726644 3221224592 3221223280 134744989 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72722 60444 300 300 0 72422 0 vsize: 290888 [startup+1110.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 111242 0 0 0 110766 251 0 0 25 0 1 0 806241188 297869312 60445 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72722 60445 300 300 0 72422 0 vsize: 290888 [startup+1120.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 111243 0 0 0 111766 251 0 0 25 0 1 0 806241188 297869312 60446 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72722 60446 300 300 0 72422 0 vsize: 290888 [startup+1130.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 111243 0 0 0 112766 251 0 0 25 0 1 0 806241188 297869312 60446 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72722 60446 300 300 0 72422 0 vsize: 290888 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 111245 0 0 0 113767 251 0 0 25 0 1 0 806241188 297869312 60448 4294967295 134512640 135726644 3221224592 3221223088 134744041 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72722 60448 300 300 0 72422 0 vsize: 290888 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 111258 0 0 0 114767 251 0 0 25 0 1 0 806241188 297869312 60461 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72722 60461 300 300 0 72422 0 vsize: 290888 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 112144 0 0 0 115765 253 0 0 25 0 1 0 806241188 297869312 60470 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72722 60470 300 300 0 72422 0 vsize: 290888 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 112155 0 0 0 116765 254 0 0 25 0 1 0 806241188 297869312 60481 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72722 60481 300 300 0 72422 0 vsize: 290888 [startup+1180.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 112168 0 0 0 117765 254 0 0 25 0 1 0 806241188 297869312 60494 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72722 60494 300 300 0 72422 0 vsize: 290888 [startup+1190.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 112364 0 0 0 118765 254 0 0 25 0 1 0 806241188 298663936 60625 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72916 60625 300 300 0 72616 0 vsize: 291664 [startup+1200.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18384 Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 112410 0 0 0 119765 254 0 0 25 0 1 0 806241188 298663936 60671 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72916 60671 300 300 0 72616 0 vsize: 291664 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1201.96 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 18384 Raw data (stat): 18384 (pb2sat) Z 18383 7266 7265 0 -1 12 112411 0 0 0 119946 266 0 0 25 0 1 0 806241188 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 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 status: 0 Real time (s): 1201.96 CPU time (s): 1202.13 CPU user time (s): 1199.46 CPU system time (s): 2.66959 CPU usage (%): 100.014 Max. virtual memory (Kb): 293756 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####