Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb |
MD5SUM | 00a81d808a7a59d6e11f17e19e68d826 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -30 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 450 |
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 | 450 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 450 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.04884 |
Number of variables | 450 |
Total number of constraints | 17794 |
Number of constraints which are clauses | 17794 |
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 wulflinc13 THE 2005-05-28 11:16:57 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=24244 boxname=wulflinc13 idbench=318 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 00a81d808a7a59d6e11f17e19e68d826 /oldhome/oroussel/tmp/wulflinc13/normalized-frb30-15-5.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc13/normalized-frb30-15-5.opb IDLAUNCH: 24244 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 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.242 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: 762408 kB Buffers: 35872 kB Cached: 215656 kB SwapCached: 548 kB Active: 20440 kB Inactive: 233040 kB HighTotal: 131008 kB HighFree: 65716 kB LowTotal: 903652 kB LowFree: 696692 kB SwapTotal: 2097136 kB SwapFree: 2095648 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5140 kB Slab: 13100 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-28 11:37:00 (client local time) WITH STATUS 0 IN 1200.71 SECONDS stats: 24244 7 1200.71 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... Decision: 35868/102389 Time: 19.964/86400 Decision: 35868/102389 Time: 34.2168/86400 Decision: 35868/102389 Time: 53.3789/86400 Decision: 38803/102389 Time: 130.891/86400c [startup+277.21 s] setting bit 8 to 0 Decision: 20281/102389 Time: 43.6334/86400 Decision: 21911/102389 Time: 59.287/86400 Decision: 21912/102389 Time: 73.6158/86400 Decision: 21919/102389 Time: 88.0076/86400 Decision: 24014/102389 Time: 103.792/86400 Decision: 24609/102389 Time: 121.499/86400 Decision: 24757/102389 Time: 135.632/86400 Decision: 24757/102389 Time: 148.316/86400 Decision: 26270/102389 Time: 166.772/86400 Decision: 26270/102389 Time: 180.651/86400 Decision: 26270/102389 Time: 194.314/86400 Decision: 26270/102389 Time: 208.626/86400 Decision: 28290/102389 Time: 232.979/86400 Decision: 28291/102389 Time: 247.739/86400 Decision: 28291/102389 Time: 262.873/86400 Decision: 28291/102389 Time: 277.01/86400 Decision: 28291/102389 Time: 290.382/86400 Decision: 29817/102389 Time: 314.357/86400 Decision: 30541/102389 Time: 339.859/86400c [startup+650.952 s] setting bit 7 to 0 Decision: 30031/102389 Time: 41.7567/86400 Decision: 30031/102389 Time: 49.1815/86400 Decision: 30031/102389 Time: 57.9532/86400 Decision: 30031/102389 Time: 68.5576/86400 Decision: 30031/102389 Time: 78.1851/86400 Decision: 30031/102389 Time: 89.5724/86400 Decision: 30098/102389 Time: 117.095/86400 Decision: 30098/102389 Time: 127.717/86400 Decision: 30098/102389 Time: 137.221/86400 Decision: 30098/102389 Time: 149.082/86400 Decision: 30098/102389 Time: 160.431/86400 Decision: 30098/102389 Time: 172.502/86400 Decision: 30098/102389 Time: 184.434/86400 Decision: 30106/102389 Time: 208.186/86400 Decision: 30106/102389 Time: 219.888/86400 Decision: 30106/102389 Time: 232.224/86400 Decision: 31423/102389 Time: 249.139/86400 Decision: 31423/102389 Time: 264.225/86400 Decision: 31423/102389 Time: 278.804/86400c [startup+970.99 s] setting bit 6 to 0 Decision: 28694/102389 Time: 74.9806/86400 Decision: 28694/102389 Time: 81.7136/86400 Decision: 28694/102389 Time: 89.5594/86400 Decision: 28694/102389 Time: 96.0624/86400 Decision: 28694/102389 Time: 104.223/86400 Decision: 28694/102389 Time: 112.215/86400 Decision: 28694/102389 Time: 120.248/86400 Decision: 28694/102389 Time: 128.086/86400 Decision: 28694/102389 Time: 136.506/86400 Decision: 28725/102389 Time: 145.263/86400 Decision: 28725/102389 Time: 154.09/86400 Decision: 28725/102389 Time: 161.776/86400 Decision: 28725/102389 Time: 171.297/86400 Decision: 28725/102389 Time: 179.591/86400 Decision: 28725/102389 Time: 187.602/86400 Decision: 28725/102389 Time: 197.625/86400 Decision: 28725/102389 Time: 206.776/86400 Decision: 28725/102389 Time: 215.162/86400 Decision: 28725/102389 Time: 223.62/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.88 0.95 0.90 2/54 5845 Raw data (stat): 5845 (runsolver) R 5844 1269 1268 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806160299 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0008 s] Raw data (loadavg): 0.90 0.95 0.90 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 15929 0 0 0 960 38 0 0 25 0 1 0 806160299 50274304 10247 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12274 10247 300 300 0 11974 0 vsize: 49096 [startup+20.0019 s] Raw data (loadavg): 0.92 0.95 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 16393 0 0 0 1959 40 0 0 25 0 1 0 806160299 52559872 10711 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12832 10711 300 300 0 12532 0 vsize: 51328 [startup+30.0031 s] Raw data (loadavg): 0.93 0.95 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 17032 0 0 0 2957 41 0 0 25 0 1 0 806160299 54501376 11117 4294967295 134512640 135726644 3221224592 3221223088 134744150 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13306 11117 300 300 0 13006 0 vsize: 53224 [startup+40.0025 s] Raw data (loadavg): 0.94 0.95 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 17363 0 0 0 3955 42 0 0 25 0 1 0 806160299 55033856 11232 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13436 11232 300 300 0 13136 0 vsize: 53744 [startup+50.0028 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 17401 0 0 0 4955 43 0 0 25 0 1 0 806160299 55033856 11270 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13436 11270 300 300 0 13136 0 vsize: 53744 [startup+60.003 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 17622 0 0 0 5954 43 0 0 25 0 1 0 806160299 55033856 11291 4294967295 134512640 135726644 3221224592 3221223164 134736795 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13436 11291 300 300 0 13136 0 vsize: 53744 [startup+70.0035 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 17654 0 0 0 6954 44 0 0 25 0 1 0 806160299 55033856 11323 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13436 11323 300 300 0 13136 0 vsize: 53744 [startup+80.0041 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 17672 0 0 0 7954 44 0 0 25 0 1 0 806160299 55033856 11341 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13436 11341 300 300 0 13136 0 vsize: 53744 [startup+90.0039 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 17700 0 0 0 8954 44 0 0 25 0 1 0 806160299 55033856 11369 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13436 11369 300 300 0 13136 0 vsize: 53744 [startup+100.004 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 17726 0 0 0 9954 44 0 0 25 0 1 0 806160299 55033856 11395 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13436 11395 300 300 0 13136 0 vsize: 53744 [startup+110.005 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 17744 0 0 0 10954 45 0 0 25 0 1 0 806160299 55033856 11413 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13436 11413 300 300 0 13136 0 vsize: 53744 [startup+120.006 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 17807 0 0 0 11954 45 0 0 25 0 1 0 806160299 55345152 11476 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13512 11476 300 300 0 13212 0 vsize: 54048 [startup+130.005 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 17822 0 0 0 12954 45 0 0 25 0 1 0 806160299 55345152 11491 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13512 11491 300 300 0 13212 0 vsize: 54048 [startup+140.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18037 0 0 0 13953 46 0 0 25 0 1 0 806160299 55345152 11506 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13512 11506 300 300 0 13212 0 vsize: 54048 [startup+150.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18053 0 0 0 14953 46 0 0 25 0 1 0 806160299 55345152 11522 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13512 11522 300 300 0 13212 0 vsize: 54048 [startup+160.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18069 0 0 0 15953 46 0 0 25 0 1 0 806160299 55345152 11538 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13512 11538 300 300 0 13212 0 vsize: 54048 [startup+170.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18109 0 0 0 16953 46 0 0 25 0 1 0 806160299 55480320 11578 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13545 11578 300 300 0 13245 0 vsize: 54180 [startup+180.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18126 0 0 0 17953 46 0 0 25 0 1 0 806160299 55480320 11595 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13545 11595 300 300 0 13245 0 vsize: 54180 [startup+190.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18141 0 0 0 18953 47 0 0 25 0 1 0 806160299 55480320 11610 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13545 11610 300 300 0 13245 0 vsize: 54180 [startup+200.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18161 0 0 0 19953 47 0 0 25 0 1 0 806160299 55480320 11630 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13545 11630 300 300 0 13245 0 vsize: 54180 [startup+210.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18178 0 0 0 20953 47 0 0 25 0 1 0 806160299 55480320 11647 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13545 11647 300 300 0 13245 0 vsize: 54180 [startup+220.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18207 0 0 0 21953 47 0 0 25 0 1 0 806160299 55615488 11676 4294967295 134512640 135726644 3221224592 3221223184 134759986 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13578 11676 300 300 0 13278 0 vsize: 54312 [startup+230.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18228 0 0 0 22953 47 0 0 25 0 1 0 806160299 55615488 11697 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13578 11697 300 300 0 13278 0 vsize: 54312 [startup+240.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18251 0 0 0 23953 47 0 0 25 0 1 0 806160299 55615488 11720 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13578 11720 300 300 0 13278 0 vsize: 54312 [startup+250.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18279 0 0 0 24953 48 0 0 25 0 1 0 806160299 55615488 11748 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13578 11748 300 300 0 13278 0 vsize: 54312 [startup+260.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18375 0 0 0 25953 48 0 0 25 0 1 0 806160299 55877632 11779 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13642 11779 300 300 0 13342 0 vsize: 54568 [startup+270.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18401 0 0 0 26953 48 0 0 25 0 1 0 806160299 55877632 11805 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13642 11805 300 300 0 13342 0 vsize: 54568 [startup+280.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18662 0 0 0 27952 50 0 0 25 0 1 0 806160299 56012800 11866 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13675 11866 300 300 0 13375 0 vsize: 54700 [startup+290.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18807 0 0 0 28951 50 0 0 25 0 1 0 806160299 56504320 12011 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13795 12011 300 300 0 13495 0 vsize: 55180 [startup+300.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18880 0 0 0 29950 51 0 0 25 0 1 0 806160299 56668160 12084 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13835 12084 300 300 0 13535 0 vsize: 55340 [startup+310.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18933 0 0 0 30950 51 0 0 25 0 1 0 806160299 56668160 12137 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13835 12137 300 300 0 13535 0 vsize: 55340 [startup+320.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18984 0 0 0 31950 52 0 0 25 0 1 0 806160299 56668160 12188 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13835 12188 300 300 0 13535 0 vsize: 55340 [startup+330.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 19457 0 0 0 32949 53 0 0 25 0 1 0 806160299 58023936 12461 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14166 12461 300 300 0 13866 0 vsize: 56664 [startup+340.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 19708 0 0 0 33948 54 0 0 25 0 1 0 806160299 58355712 12512 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14247 12512 300 300 0 13947 0 vsize: 56988 [startup+350.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 19712 0 0 0 34948 54 0 0 25 0 1 0 806160299 58355712 12516 4294967295 134512640 135726644 3221224592 3221223088 134743967 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14247 12516 300 300 0 13947 0 vsize: 56988 [startup+360.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 20015 0 0 0 35948 55 0 0 25 0 1 0 806160299 58847232 12586 4294967295 134512640 135726644 3221224592 3221223136 134736681 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14367 12586 300 300 0 14067 0 vsize: 57468 [startup+370.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 20248 0 0 0 36947 56 0 0 25 0 1 0 806160299 58847232 12619 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14367 12619 300 300 0 14067 0 vsize: 57468 [startup+380.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 20284 0 0 0 37947 56 0 0 25 0 1 0 806160299 67235840 12655 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16415 12655 300 300 0 16115 0 vsize: 65660 [startup+390.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 20720 0 0 0 38946 57 0 0 25 0 1 0 806160299 68194304 12891 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16649 12891 300 300 0 16349 0 vsize: 66596 [startup+400.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 20944 0 0 0 39945 58 0 0 25 0 1 0 806160299 68194304 12915 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16649 12915 300 300 0 16349 0 vsize: 66596 [startup+410.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 20965 0 0 0 40945 58 0 0 25 0 1 0 806160299 68194304 12936 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16649 12936 300 300 0 16349 0 vsize: 66596 [startup+420.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 21203 0 0 0 41945 59 0 0 25 0 1 0 806160299 68194304 12974 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16649 12974 300 300 0 16349 0 vsize: 66596 [startup+430.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 21450 0 0 0 42944 59 0 0 25 0 1 0 806160299 68194304 13021 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16649 13021 300 300 0 16349 0 vsize: 66596 [startup+440.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 21485 0 0 0 43945 59 0 0 25 0 1 0 806160299 68333568 13056 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16683 13056 300 300 0 16383 0 vsize: 66732 [startup+450.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 21727 0 0 0 44944 60 0 0 25 0 1 0 806160299 68333568 13098 4294967295 134512640 135726644 3221224592 3221223136 134736802 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16683 13098 300 300 0 16383 0 vsize: 66732 [startup+460.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 22001 0 0 0 45943 61 0 0 25 0 1 0 806160299 68468736 13172 4294967295 134512640 135726644 3221224592 3221223216 134744513 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16716 13172 300 300 0 16416 0 vsize: 66864 [startup+470.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 22031 0 0 0 46943 61 0 0 25 0 1 0 806160299 68468736 13202 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16716 13202 300 300 0 16416 0 vsize: 66864 [startup+480.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 22242 0 0 0 47943 62 0 0 25 0 1 0 806160299 68608000 13213 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16750 13213 300 300 0 16450 0 vsize: 67000 [startup+490.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 22462 0 0 0 48942 62 0 0 25 0 1 0 806160299 68608000 13233 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16750 13233 300 300 0 16450 0 vsize: 67000 [startup+500.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 22477 0 0 0 49942 63 0 0 25 0 1 0 806160299 68743168 13248 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16783 13248 300 300 0 16483 0 vsize: 67132 [startup+510.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 22714 0 0 0 50942 64 0 0 25 0 1 0 806160299 69697536 13485 4294967295 134512640 135726644 3221224592 3221222744 134761841 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17016 13485 300 300 0 16716 0 vsize: 68064 [startup+520.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 22725 0 0 0 51942 64 0 0 25 0 1 0 806160299 68878336 13296 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16816 13296 300 300 0 16516 0 vsize: 67264 [startup+530.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 22945 0 0 0 52941 64 0 0 25 0 1 0 806160299 68878336 13316 4294967295 134512640 135726644 3221224592 3221223232 134744477 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16816 13316 300 300 0 16516 0 vsize: 67264 [startup+540.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 23170 0 0 0 53941 65 0 0 25 0 1 0 806160299 69017600 13341 4294967295 134512640 135726644 3221224592 3221223008 134738149 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16850 13341 300 300 0 16550 0 vsize: 67400 [startup+550.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 23206 0 0 0 54941 65 0 0 25 0 1 0 806160299 69017600 13377 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16850 13377 300 300 0 16550 0 vsize: 67400 [startup+560.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 23417 0 0 0 55940 66 0 0 25 0 1 0 806160299 69017600 13388 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16850 13388 300 300 0 16550 0 vsize: 67400 [startup+570.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 23694 0 0 0 56939 67 0 0 25 0 1 0 806160299 69423104 13465 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16949 13465 300 300 0 16649 0 vsize: 67796 [startup+580.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 23862 0 0 0 57939 68 0 0 25 0 1 0 806160299 70316032 13633 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17167 13633 300 300 0 16867 0 vsize: 68668 [startup+590.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 23865 0 0 0 58939 68 0 0 25 0 1 0 806160299 70316032 13636 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17167 13636 300 300 0 16867 0 vsize: 68668 [startup+600.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 24067 0 0 0 59938 68 0 0 25 0 1 0 806160299 70316032 13638 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17167 13638 300 300 0 16867 0 vsize: 68668 [startup+610.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 24072 0 0 0 60938 69 0 0 25 0 1 0 806160299 70316032 13643 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17167 13643 300 300 0 16867 0 vsize: 68668 [startup+620.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 24275 0 0 0 61938 69 0 0 25 0 1 0 806160299 70316032 13646 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17167 13646 300 300 0 16867 0 vsize: 68668 [startup+630.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 24278 0 0 0 62938 69 0 0 25 0 1 0 806160299 70316032 13649 4294967295 134512640 135726644 3221224592 3221223184 134759986 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17167 13649 300 300 0 16867 0 vsize: 68668 [startup+640.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 24280 0 0 0 63938 70 0 0 25 0 1 0 806160299 70316032 13651 4294967295 134512640 135726644 3221224592 3221223184 134760426 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17167 13651 300 300 0 16867 0 vsize: 68668 [startup+650.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 24283 0 0 0 64938 70 0 0 25 0 1 0 806160299 70316032 13654 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17167 13654 300 300 0 16867 0 vsize: 68668 [startup+660.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 24545 0 0 0 65938 70 0 0 25 0 1 0 806160299 70316032 13716 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17167 13716 300 300 0 16867 0 vsize: 68668 [startup+670.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 24614 0 0 0 66938 70 0 0 25 0 1 0 806160299 70316032 13785 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17167 13785 300 300 0 16867 0 vsize: 68668 [startup+680.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 24655 0 0 0 67938 71 0 0 25 0 1 0 806160299 70316032 13826 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17167 13826 300 300 0 16867 0 vsize: 68668 [startup+690.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 24703 0 0 0 68938 71 0 0 25 0 1 0 806160299 70316032 13874 4294967295 134512640 135726644 3221224592 3221222840 135281360 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17167 13874 300 300 0 16867 0 vsize: 68668 [startup+700.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 25120 0 0 0 69936 73 0 0 25 0 1 0 806160299 71274496 14091 4294967295 134512640 135726644 3221224592 3221222728 134761847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17401 14091 300 300 0 17101 0 vsize: 69604 [startup+710.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 25329 0 0 0 70936 73 0 0 25 0 1 0 806160299 70455296 13900 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17201 13900 300 300 0 16901 0 vsize: 68804 [startup+720.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 25750 0 0 0 71934 75 0 0 25 0 1 0 806160299 71315456 14121 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17411 14121 300 300 0 17111 0 vsize: 69644 [startup+730.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 25955 0 0 0 72934 75 0 0 25 0 1 0 806160299 71315456 14126 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17411 14126 300 300 0 17111 0 vsize: 69644 [startup+740.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 26168 0 0 0 73933 76 0 0 25 0 1 0 806160299 71315456 14139 4294967295 134512640 135726644 3221224592 3221223008 134738144 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17411 14139 300 300 0 17111 0 vsize: 69644 [startup+750.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 26212 0 0 0 74933 77 0 0 25 0 1 0 806160299 71315456 14183 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17411 14183 300 300 0 17111 0 vsize: 69644 [startup+760.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 26253 0 0 0 75933 77 0 0 25 0 1 0 806160299 71315456 14224 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17411 14224 300 300 0 17111 0 vsize: 69644 [startup+770.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 26490 0 0 0 76932 78 0 0 25 0 1 0 806160299 71315456 14261 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17411 14261 300 300 0 17111 0 vsize: 69644 [startup+780.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 26733 0 0 0 77931 79 0 0 25 0 1 0 806160299 71450624 14304 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17444 14304 300 300 0 17144 0 vsize: 69776 [startup+790.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 27017 0 0 0 78931 80 0 0 25 0 1 0 806160299 71606272 14388 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17482 14388 300 300 0 17182 0 vsize: 69928 [startup+800.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 27253 0 0 0 79930 80 0 0 25 0 1 0 806160299 71606272 14424 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17482 14424 300 300 0 17182 0 vsize: 69928 [startup+810.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 27285 0 0 0 80930 81 0 0 25 0 1 0 806160299 71606272 14456 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17482 14456 300 300 0 17182 0 vsize: 69928 [startup+820.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 27528 0 0 0 81929 82 0 0 25 0 1 0 806160299 71745536 14499 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17516 14499 300 300 0 17216 0 vsize: 70064 [startup+830.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 27781 0 0 0 82928 83 0 0 25 0 1 0 806160299 71745536 14552 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17516 14552 300 300 0 17216 0 vsize: 70064 [startup+840.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 28029 0 0 0 83928 83 0 0 25 0 1 0 806160299 71745536 14600 4294967295 134512640 135726644 3221224592 3221222916 134728860 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17516 14600 300 300 0 17216 0 vsize: 70064 [startup+850.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 28073 0 0 0 84928 84 0 0 25 0 1 0 806160299 71880704 14644 4294967295 134512640 135726644 3221224592 3221223216 134744591 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17549 14644 300 300 0 17249 0 vsize: 70196 [startup+860.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 28302 0 0 0 85927 84 0 0 25 0 1 0 806160299 71880704 14673 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17549 14673 300 300 0 17249 0 vsize: 70196 [startup+870.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 28332 0 0 0 86927 85 0 0 25 0 1 0 806160299 71880704 14703 4294967295 134512640 135726644 3221224592 3221223184 134759986 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17549 14703 300 300 0 17249 0 vsize: 70196 [startup+880.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 28574 0 0 0 87926 86 0 0 25 0 1 0 806160299 71880704 14745 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17549 14745 300 300 0 17249 0 vsize: 70196 [startup+890.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 28798 0 0 0 88925 87 0 0 25 0 1 0 806160299 72019968 14769 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17583 14769 300 300 0 17283 0 vsize: 70332 [startup+900.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 29007 0 0 0 89925 88 0 0 25 0 1 0 806160299 72019968 14778 4294967295 134512640 135726644 3221224592 3221223008 134738146 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17583 14778 300 300 0 17283 0 vsize: 70332 [startup+910.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 29022 0 0 0 90925 88 0 0 25 0 1 0 806160299 72019968 14793 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17583 14793 300 300 0 17283 0 vsize: 70332 [startup+920.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 29226 0 0 0 91924 89 0 0 25 0 1 0 806160299 72019968 14797 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17583 14797 300 300 0 17283 0 vsize: 70332 [startup+930.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 29446 0 0 0 92924 89 0 0 25 0 1 0 806160299 72019968 14817 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17583 14817 300 300 0 17283 0 vsize: 70332 [startup+940.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 29471 0 0 0 93924 90 0 0 25 0 1 0 806160299 72155136 14842 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17616 14842 300 300 0 17316 0 vsize: 70464 [startup+950.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 29492 0 0 0 94924 90 0 0 25 0 1 0 806160299 72155136 14863 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17616 14863 300 300 0 17316 0 vsize: 70464 [startup+960.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 29512 0 0 0 95923 90 0 0 25 0 1 0 806160299 72155136 14883 4294967295 134512640 135726644 3221224592 3221223088 134744297 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17616 14883 300 300 0 17316 0 vsize: 70464 [startup+970.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 29525 0 0 0 96924 90 0 0 25 0 1 0 806160299 72155136 14896 4294967295 134512640 135726644 3221224592 3221223088 134744048 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17616 14896 300 300 0 17316 0 vsize: 70464 [startup+980.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 29805 0 0 0 97923 92 0 0 25 0 1 0 806160299 72155136 14976 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17616 14976 300 300 0 17316 0 vsize: 70464 [startup+990.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 29918 0 0 0 98922 92 0 0 25 0 1 0 806160299 72155136 15089 4294967295 134512640 135726644 3221224592 3221222840 135282351 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17616 15089 300 300 0 17316 0 vsize: 70464 [startup+1000.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 30018 0 0 0 99922 93 0 0 25 0 1 0 806160299 72286208 15189 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17648 15189 300 300 0 17348 0 vsize: 70592 [startup+1010.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 30099 0 0 0 100922 93 0 0 25 0 1 0 806160299 72286208 15270 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17648 15270 300 300 0 17348 0 vsize: 70592 [startup+1020.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 30187 0 0 0 101922 93 0 0 25 0 1 0 806160299 72286208 15358 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17648 15358 300 300 0 17348 0 vsize: 70592 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 30284 0 0 0 102921 94 0 0 25 0 1 0 806160299 72286208 15455 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17648 15455 300 300 0 17348 0 vsize: 70592 [startup+1040.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 30395 0 0 0 103921 95 0 0 25 0 1 0 806160299 72286208 15566 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17648 15566 300 300 0 17348 0 vsize: 70592 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 30639 0 0 0 104920 95 0 0 25 0 1 0 806160299 72425472 15610 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17682 15610 300 300 0 17382 0 vsize: 70728 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 30930 0 0 0 105920 96 0 0 25 0 1 0 806160299 72425472 15701 4294967295 134512640 135726644 3221224592 3221223104 134742208 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17682 15701 300 300 0 17382 0 vsize: 70728 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 31428 0 0 0 106919 97 0 0 25 0 1 0 806160299 72560640 15799 4294967295 134512640 135726644 3221224592 3221223216 134744555 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17715 15799 300 300 0 17415 0 vsize: 70860 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 31719 0 0 0 107918 98 0 0 25 0 1 0 806160299 72560640 15890 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17715 15890 300 300 0 17415 0 vsize: 70860 [startup+1090.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 32007 0 0 0 108918 99 0 0 25 0 1 0 806160299 72699904 15978 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17749 15978 300 300 0 17449 0 vsize: 70996 [startup+1100.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 32495 0 0 0 109917 100 0 0 25 0 1 0 806160299 72699904 16066 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 17749 16066 300 300 0 17449 0 vsize: 70996 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 32799 0 0 0 110916 101 0 0 25 0 1 0 806160299 89477120 16170 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21845 16170 300 300 0 21545 0 vsize: 87380 [startup+1120.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 32902 0 0 0 111915 102 0 0 25 0 1 0 806160299 89776128 16273 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21918 16273 300 300 0 21618 0 vsize: 87672 [startup+1130.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 33181 0 0 0 112915 102 0 0 25 0 1 0 806160299 89776128 16352 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21918 16352 300 300 0 21618 0 vsize: 87672 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 33263 0 0 0 113915 103 0 0 25 0 1 0 806160299 89776128 16434 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21918 16434 300 300 0 21618 0 vsize: 87672 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 33563 0 0 0 114914 104 0 0 25 0 1 0 806160299 89915392 16534 4294967295 134512640 135726644 3221224592 3221223104 134742591 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21952 16534 300 300 0 21652 0 vsize: 87808 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 34050 0 0 0 115913 105 0 0 25 0 1 0 806160299 89915392 16621 4294967295 134512640 135726644 3221224592 3221223088 134744304 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21952 16621 300 300 0 21652 0 vsize: 87808 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 34338 0 0 0 116912 106 0 0 25 0 1 0 806160299 90054656 16709 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21986 16709 300 300 0 21686 0 vsize: 87944 [startup+1180.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 34632 0 0 0 117912 106 0 0 25 0 1 0 806160299 90202112 16803 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22022 16803 300 300 0 21722 0 vsize: 88088 [startup+1190.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 34908 0 0 0 118911 108 0 0 25 0 1 0 806160299 90202112 16879 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22022 16879 300 300 0 21722 0 vsize: 88088 [startup+1200.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5845 Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 35200 0 0 0 119909 109 0 0 25 0 1 0 806160299 90349568 16971 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22058 16971 300 300 0 21758 0 vsize: 88232 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.55 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 5845 Raw data (stat): 5845 (pb2sat) Z 5844 1269 1268 0 -1 12 35201 0 0 0 119957 113 0 0 25 0 1 0 806160299 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): 1200.54 CPU time (s): 1200.71 CPU user time (s): 1199.57 CPU system time (s): 1.13483 CPU usage (%): 100.014 Max. virtual memory (Kb): 88232 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####