Name | normalized-opb/submitted/manquinho/ttp/normalized-circ6_3.opb |
MD5SUM | 509cfdb6810b13d9963718243e9046cd |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 66 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 180 |
Biggest coefficient in the objective function | 3 |
Number of bits for the biggest coefficient in the objective function | 2 |
Sum of the numbers in the objective function | 324 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 16 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 324 |
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 | 1175.98 |
Number of variables | 540 |
Total number of constraints | 4476 |
Number of constraints which are clauses | 2532 |
Number of constraints which are cardinality constraints (but not clauses) | 264 |
Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 20 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc29 THE 2005-05-28 11:11:16 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=24184 boxname=wulflinc29 idbench=258 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 509cfdb6810b13d9963718243e9046cd /oldhome/oroussel/tmp/wulflinc29/normalized-circ6_3.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc29/normalized-circ6_3.opb IDLAUNCH: 24184 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.020 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.020 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: 633868 kB Buffers: 36296 kB Cached: 338228 kB SwapCached: 632 kB Active: 43372 kB Inactive: 333260 kB HighTotal: 131008 kB HighFree: 48104 kB LowTotal: 903652 kB LowFree: 585764 kB SwapTotal: 2097892 kB SwapFree: 2096372 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5136 kB Slab: 18652 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-28 11:31:18 (client local time) WITH STATUS 0 IN 1200.34 SECONDS stats: 24184 7 1200.34 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... Decision: 15947/40273 Time: 23.9294/86400 Decision: 15947/40273 Time: 27.0069/86400 Decision: 15947/40273 Time: 30.1234/86400 Decision: 16139/40273 Time: 40.0329/86400 Decision: 16139/40273 Time: 50.0994/86400 Decision: 16141/40273 Time: 66.3479/86400 Decision: 16141/40273 Time: 70.7652/86400 Decision: 16141/40273 Time: 80.2708/86400 Decision: 16141/40273 Time: 90.2813/86400 Decision: 16141/40273 Time: 97.9611/86400 Decision: 16141/40273 Time: 107.692/86400 Decision: 16141/40273 Time: 117.869/86400 Decision: 16141/40273 Time: 128.197/86400 Decision: 16141/40273 Time: 140.151/86400 Decision: 16141/40273 Time: 152.228/86400 Decision: 16141/40273 Time: 160.624/86400 Decision: 16141/40273 Time: 171.611/86400 Decision: 16141/40273 Time: 179.931/86400 Decision: 16141/40273 Time: 188.329/86400 Decision: 16141/40273 Time: 197.04/86400 Decision: 16141/40273 Time: 205.5/86400 Decision: 16141/40273 Time: 216.011/86400 Decision: 16141/40273 Time: 226.78/86400 Decision: 16141/40273 Time: 233.892/86400 Decision: 16141/40273 Time: 247.228/86400 Decision: 16141/40273 Time: 256.983/86400 Decision: 16141/40273 Time: 267.137/86400 Decision: 16141/40273 Time: 272.637/86400 Decision: 16141/40273 Time: 281.79/86400 Decision: 16145/40273 Time: 295.089/86400 Decision: 16145/40273 Time: 304.799/86400 Decision: 16145/40273 Time: 310.762/86400 Decision: 16145/40273 Time: 319.721/86400 Decision: 16145/40273 Time: 326.876/86400 Decision: 16145/40273 Time: 335.34/86400 Decision: 16145/40273 Time: 342.019/86400 Decision: 16145/40273 Time: 352.627/86400 Decision: 16145/40273 Time: 361.275/86400 Decision: 16145/40273 Time: 371.371/86400 Decision: 16145/40273 Time: 382.319/86400 Decision: 16145/40273 Time: 386.682/86400 Decision: 16145/40273 Time: 397.825/86400 Decision: 16145/40273 Time: 403.324/86400 Decision: 16145/40273 Time: 413.134/86400 Decision: 16145/40273 Time: 418.811/86400 Decision: 16145/40273 Time: 429.012/86400 Decision: 16145/40273 Time: 435.71/86400 Decision: 16145/40273 Time: 445.781/86400 Decision: 16145/40273 Time: 458.323/86400 Decision: 16145/40273 Time: 467.23/86400 Decision: 16145/40273 Time: 473.274/86400 Decision: 16145/40273 Time: 484.677/86400 Decision: 16145/40273 Time: 492.174/86400 Decision: 16145/40273 Time: 502.047/86400 Decision: 16145/40273 Time: 512.291/86400 Decision: 16145/40273 Time: 520.877/86400 Decision: 16145/40273 Time: 530.702/86400 Decision: 16151/40273 Time: 538.715/86400 Decision: 16151/40273 Time: 548.594/86400 Decision: 16151/40273 Time: 556.885/86400 Decision: 16151/40273 Time: 567.472/86400 Decision: 16151/40273 Time: 577.709/86400 Decision: 16151/40273 Time: 586.805/86400 Decision: 16151/40273 Time: 595.382/86400 Decision: 16151/40273 Time: 604.217/86400 Decision: 16151/40273 Time: 615.063/86400 Decision: 16151/40273 Time: 625.382/86400 Decision: 16151/40273 Time: 634.072/86400 Decision: 16151/40273 Time: 643.148/86400 Decision: 16151/40273 Time: 650.814/86400 Decision: 16151/40273 Time: 660.512/86400 Decision: 16151/40273 Time: 666.41/86400 Decision: 16151/40273 Time: 674.869/86400 Decision: 16151/40273 Time: 685.282/86400 Decision: 16151/40273 Time: 692.627/86400 Decision: 16151/40273 Time: 704.063/86400 Decision: 16151/40273 Time: 711.319/86400 Decision: 16151/40273 Time: 721.523/86400 Decision: 16153/40273 Time: 731.727/86400 Decision: 16153/40273 Time: 738.842/86400 Decision: 16153/40273 Time: 746.61/86400 Decision: 16153/40273 Time: 756.943/86400 Decision: 16153/40273 Time: 763.489/86400 Decision: 16153/40273 Time: 772.071/86400 Decision: 16153/40273 Time: 777.855/86400 Decision: 16153/40273 Time: 784.8/86400 Decision: 16153/40273 Time: 793.999/86400 Decision: 16153/40273 Time: 803.742/86400 Decision: 16153/40273 Time: 809.942/86400 Decision: 16153/40273 Time: 818.673/86400 Decision: 16153/40273 Time: 827.876/86400 Decision: 16153/40273 Time: 835.109/86400 Decision: 16155/40273 Time: 845.299/86400 Decision: 16155/40273 Time: 855.206/86400 Decision: 16155/40273 Time: 861.649/86400 Decision: 16155/40273 Time: 870.251/86400 Decision: 16155/40273 Time: 878.995/86400 Decision: 16155/40273 Time: 887.246/86400 Decision: 16155/40273 Time: 896.329/86400 Decision: 16155/40273 Time: 905.918/86400 Decision: 16155/40273 Time: 916.071/86400 Decision: 16155/40273 Time: 922.256/86400 Decision: 16155/40273 Time: 931.187/86400 Decision: 16155/40273 Time: 941.515/86400 Decision: 16155/40273 Time: 945.999/86400 Decision: 16155/40273 Time: 952.987/86400 Decision: 16155/40273 Time: 962.321/86400 Decision: 16155/40273 Time: 974.334/86400 Decision: 16155/40273 Time: 986.673/86400 Decision: 16155/40273 Time: 993.365/86400 Decision: 16155/40273 Time: 1004.1/86400 Decision: 16155/40273 Time: 1017/86400 Decision: 16155/40273 Time: 1028.16/86400 Decision: 16155/40273 Time: 1034.57/86400 Decision: 16155/40273 Time: 1044.08/86400 Decision: 16155/40273 Time: 1050.97/86400 Decision: 16155/40273 Time: 1062.79/86400 Decision: 16155/40273 Time: 1072.8/86400 Decision: 16155/40273 Time: 1080.66/86400 Decision: 16155/40273 Time: 1092.92/86400 Decision: 16155/40273 Time: 1106.78/86400 Decision: 16155/40273 Time: 1117.91/86400 Decision: 16155/40273 Time: 1127.74/86400 Decision: 16155/40273 Time: 1139.13/86400 Decision: 16155/40273 Time: 1148.7/86400 Decision: 16155/40273 Time: 1155.52/86400 Decision: 16155/40273 Time: 1168.92/86400 Decision: 16155/40273 Time: 1182.05/86400 Decision: 16155/40273 Time: 1189.04/86400 Decision: 16155/40273 Time: 1195.53/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.99 0.99 0.91 2/54 27057 Raw data (stat): 27057 (runsolver) R 27056 20001 20000 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864336327 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0093 s] Raw data (loadavg): 0.99 0.99 0.91 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 5952 0 0 0 986 14 0 0 25 0 1 0 864336327 20393984 3208 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4979 3208 300 300 0 4679 0 vsize: 19916 [startup+20.0146 s] Raw data (loadavg): 0.99 0.99 0.91 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 6155 0 0 0 1984 16 0 0 25 0 1 0 864336327 20819968 3411 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5083 3411 300 300 0 4783 0 vsize: 20332 [startup+30.015 s] Raw data (loadavg): 0.99 0.99 0.91 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 6505 0 0 0 2983 18 0 0 25 0 1 0 864336327 21098496 3603 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5151 3603 300 300 0 4851 0 vsize: 20604 [startup+40.0151 s] Raw data (loadavg): 0.99 0.99 0.91 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 7069 0 0 0 3980 21 0 0 25 0 1 0 864336327 23158784 4088 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5654 4088 300 300 0 5354 0 vsize: 22616 [startup+50.016 s] Raw data (loadavg): 1.07 1.00 0.92 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 7329 0 0 0 4978 22 0 0 25 0 1 0 864336327 23683072 4269 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5782 4269 300 300 0 5482 0 vsize: 23128 [startup+60.0163 s] Raw data (loadavg): 1.06 1.00 0.92 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 7563 0 0 0 5976 24 0 0 25 0 1 0 864336327 24207360 4424 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5910 4424 300 300 0 5610 0 vsize: 23640 [startup+70.0165 s] Raw data (loadavg): 1.05 1.00 0.92 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 7730 0 0 0 6976 25 0 0 25 0 1 0 864336327 24403968 4512 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5958 4512 300 300 0 5658 0 vsize: 23832 [startup+80.0173 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 7904 0 0 0 7975 25 0 0 25 0 1 0 864336327 24797184 4607 4294967295 134512640 135726644 3221224592 3221223244 134744472 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6054 4607 300 300 0 5754 0 vsize: 24216 [startup+90.0177 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 8100 0 0 0 8974 27 0 0 25 0 1 0 864336327 25387008 4724 4294967295 134512640 135726644 3221224592 3221223088 134744059 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6198 4724 300 300 0 5898 0 vsize: 24792 [startup+100.018 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 8199 0 0 0 9973 28 0 0 25 0 1 0 864336327 25583616 4744 4294967295 134512640 135726644 3221224592 3221223104 134742476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6246 4744 300 300 0 5946 0 vsize: 24984 [startup+110.019 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 8397 0 0 0 10972 29 0 0 25 0 1 0 864336327 25583616 4784 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6246 4784 300 300 0 5946 0 vsize: 24984 [startup+120.018 s] Raw data (loadavg): 1.09 1.02 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 8566 0 0 0 11971 30 0 0 25 0 1 0 864336327 26112000 4874 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6375 4874 300 300 0 6075 0 vsize: 25500 [startup+130.024 s] Raw data (loadavg): 1.08 1.02 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 8600 0 0 0 12971 30 0 0 25 0 1 0 864336327 26308608 4908 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6423 4908 300 300 0 6123 0 vsize: 25692 [startup+140.026 s] Raw data (loadavg): 1.07 1.01 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 8753 0 0 0 13969 32 0 0 25 0 1 0 864336327 26701824 4982 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6519 4982 300 300 0 6219 0 vsize: 26076 [startup+150.025 s] Raw data (loadavg): 1.06 1.01 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 8851 0 0 0 14967 34 0 0 25 0 1 0 864336327 26701824 5001 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6519 5001 300 300 0 6219 0 vsize: 26076 [startup+160.025 s] Raw data (loadavg): 1.05 1.01 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 8953 0 0 0 15967 35 0 0 25 0 1 0 864336327 26701824 5024 4294967295 134512640 135726644 3221224592 3221223200 134744634 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6519 5024 300 300 0 6219 0 vsize: 26076 [startup+170.025 s] Raw data (loadavg): 1.04 1.01 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 9039 0 0 0 16966 35 0 0 25 0 1 0 864336327 26701824 5031 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6519 5031 300 300 0 6219 0 vsize: 26076 [startup+180.026 s] Raw data (loadavg): 1.03 1.01 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 9158 0 0 0 17966 36 0 0 25 0 1 0 864336327 26898432 5071 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6567 5071 300 300 0 6267 0 vsize: 26268 [startup+190.026 s] Raw data (loadavg): 1.03 1.01 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 9245 0 0 0 18965 37 0 0 25 0 1 0 864336327 26898432 5079 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6567 5079 300 300 0 6267 0 vsize: 26268 [startup+200.026 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 9416 0 0 0 19964 38 0 0 25 0 1 0 864336327 27095040 5092 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6615 5092 300 300 0 6315 0 vsize: 26460 [startup+210.026 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 9535 0 0 0 20963 39 0 0 25 0 1 0 864336327 27095040 5132 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6615 5132 300 300 0 6315 0 vsize: 26460 [startup+220.026 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 9650 0 0 0 21962 40 0 0 25 0 1 0 864336327 27230208 5168 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6648 5168 300 300 0 6348 0 vsize: 26592 [startup+230.034 s] Raw data (loadavg): 1.01 1.01 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 9779 0 0 0 22962 41 0 0 25 0 1 0 864336327 27426816 5218 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6696 5218 300 300 0 6396 0 vsize: 26784 [startup+240.034 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 9958 0 0 0 23962 42 0 0 25 0 1 0 864336327 31899648 5318 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7788 5318 300 300 0 7488 0 vsize: 31152 [startup+250.033 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 10069 0 0 0 24960 43 0 0 25 0 1 0 864336327 31899648 5350 4294967295 134512640 135726644 3221224592 3221223088 134743877 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7788 5350 300 300 0 7488 0 vsize: 31152 [startup+260.034 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 10210 0 0 0 25960 44 0 0 25 0 1 0 864336327 31899648 5412 4294967295 134512640 135726644 3221224592 3221223216 134744578 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7788 5412 300 300 0 7488 0 vsize: 31152 [startup+270.033 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 10325 0 0 0 26959 44 0 0 25 0 1 0 864336327 32034816 5448 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7821 5448 300 300 0 7521 0 vsize: 31284 [startup+280.033 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 10450 0 0 0 27959 45 0 0 25 0 1 0 864336327 32034816 5494 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7821 5494 300 300 0 7521 0 vsize: 31284 [startup+290.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 10633 0 0 0 28958 46 0 0 25 0 1 0 864336327 32174080 5598 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7855 5598 300 300 0 7555 0 vsize: 31420 [startup+300.033 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 10791 0 0 0 29957 47 0 0 25 0 1 0 864336327 32174080 5677 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7855 5677 300 300 0 7555 0 vsize: 31420 [startup+310.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 10916 0 0 0 30957 48 0 0 25 0 1 0 864336327 32309248 5723 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7888 5723 300 300 0 7588 0 vsize: 31552 [startup+320.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 11003 0 0 0 31956 49 0 0 25 0 1 0 864336327 32309248 5731 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7888 5731 300 300 0 7588 0 vsize: 31552 [startup+330.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 11183 0 0 0 32955 49 0 0 25 0 1 0 864336327 32444416 5753 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7921 5753 300 300 0 7621 0 vsize: 31684 [startup+340.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 11285 0 0 0 33955 50 0 0 25 0 1 0 864336327 32444416 5776 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7921 5776 300 300 0 7621 0 vsize: 31684 [startup+350.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 11428 0 0 0 34954 51 0 0 25 0 1 0 864336327 32587776 5840 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7956 5840 300 300 0 7656 0 vsize: 31824 [startup+360.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 11530 0 0 0 35954 51 0 0 25 0 1 0 864336327 32587776 5863 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7956 5863 300 300 0 7656 0 vsize: 31824 [startup+370.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 11685 0 0 0 36953 52 0 0 25 0 1 0 864336327 32751616 5939 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7996 5939 300 300 0 7696 0 vsize: 31984 [startup+380.036 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 11840 0 0 0 37953 53 0 0 25 0 1 0 864336327 32751616 6015 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7996 6015 300 300 0 7696 0 vsize: 31984 [startup+390.036 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 12075 0 0 0 38952 54 0 0 25 0 1 0 864336327 32935936 6092 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8041 6092 300 300 0 7741 0 vsize: 32164 [startup+400.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 12173 0 0 0 39951 55 0 0 25 0 1 0 864336327 32935936 6111 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8041 6111 300 300 0 7741 0 vsize: 32164 [startup+410.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 12274 0 0 0 40951 55 0 0 25 0 1 0 864336327 33071104 6133 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8074 6133 300 300 0 7774 0 vsize: 32296 [startup+420.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 12362 0 0 0 41951 56 0 0 25 0 1 0 864336327 33071104 6142 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8074 6142 300 300 0 7774 0 vsize: 32296 [startup+430.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 12497 0 0 0 42950 57 0 0 25 0 1 0 864336327 33071104 6198 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8074 6198 300 300 0 7774 0 vsize: 32296 [startup+440.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 12685 0 0 0 43949 58 0 0 25 0 1 0 864336327 33218560 6228 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8110 6228 300 300 0 7810 0 vsize: 32440 [startup+450.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 12782 0 0 0 44948 59 0 0 25 0 1 0 864336327 33218560 6246 4294967295 134512640 135726644 3221224592 3221223236 134744672 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8110 6246 300 300 0 7810 0 vsize: 32440 [startup+460.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 12827 0 0 0 45948 60 0 0 25 0 1 0 864336327 33353728 6291 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8143 6291 300 300 0 7843 0 vsize: 32572 [startup+470.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 13074 0 0 0 46947 61 0 0 25 0 1 0 864336327 33353728 6380 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8143 6380 300 300 0 7843 0 vsize: 32572 [startup+480.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 13216 0 0 0 47946 62 0 0 25 0 1 0 864336327 33488896 6443 4294967295 134512640 135726644 3221224592 3221223088 134744025 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8176 6443 300 300 0 7876 0 vsize: 32704 [startup+490.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 13313 0 0 0 48945 63 0 0 25 0 1 0 864336327 33488896 6461 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8176 6461 300 300 0 7876 0 vsize: 32704 [startup+500.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 13410 0 0 0 49945 63 0 0 25 0 1 0 864336327 33624064 6479 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8209 6479 300 300 0 7909 0 vsize: 32836 [startup+510.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 13503 0 0 0 50944 64 0 0 25 0 1 0 864336327 33624064 6493 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8209 6493 300 300 0 7909 0 vsize: 32836 [startup+520.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 13649 0 0 0 51944 64 0 0 25 0 1 0 864336327 33624064 6560 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8209 6560 300 300 0 7909 0 vsize: 32836 [startup+530.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 13761 0 0 0 52944 65 0 0 25 0 1 0 864336327 33624064 6593 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8209 6593 300 300 0 7909 0 vsize: 32836 [startup+540.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 13845 0 0 0 53943 65 0 0 25 0 1 0 864336327 33624064 6598 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8209 6598 300 300 0 7909 0 vsize: 32836 [startup+550.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 13954 0 0 0 54942 66 0 0 25 0 1 0 864336327 33763328 6628 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8243 6628 300 300 0 7943 0 vsize: 32972 [startup+560.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 14152 0 0 0 55942 67 0 0 25 0 1 0 864336327 33763328 6668 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8243 6668 300 300 0 7943 0 vsize: 32972 [startup+570.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 14293 0 0 0 56941 69 0 0 25 0 1 0 864336327 33763328 6730 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8243 6730 300 300 0 7943 0 vsize: 32972 [startup+580.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 14384 0 0 0 57940 69 0 0 25 0 1 0 864336327 33898496 6742 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8276 6742 300 300 0 7976 0 vsize: 33104 [startup+590.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 14477 0 0 0 58940 69 0 0 25 0 1 0 864336327 33898496 6756 4294967295 134512640 135726644 3221224592 3221222504 134784091 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8276 6757 300 300 0 7976 0 vsize: 33104 [startup+600.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 14630 0 0 0 59940 70 0 0 25 0 1 0 864336327 34033664 6830 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8309 6830 300 300 0 8009 0 vsize: 33236 [startup+610.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 14805 0 0 0 60940 70 0 0 25 0 1 0 864336327 34033664 6926 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8309 6926 300 300 0 8009 0 vsize: 33236 [startup+620.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 14916 0 0 0 61938 72 0 0 25 0 1 0 864336327 34033664 6958 4294967295 134512640 135726644 3221224592 3221223088 134744260 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8309 6958 300 300 0 8009 0 vsize: 33236 [startup+630.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 15006 0 0 0 62937 73 0 0 25 0 1 0 864336327 34033664 6969 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8309 6969 300 300 0 8009 0 vsize: 33236 [startup+640.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 15100 0 0 0 63937 73 0 0 25 0 1 0 864336327 34181120 6984 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8345 6984 300 300 0 8045 0 vsize: 33380 [startup+650.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 15269 0 0 0 64937 74 0 0 25 0 1 0 864336327 34181120 7074 4294967295 134512640 135726644 3221224592 3221223216 134744570 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8345 7074 300 300 0 8045 0 vsize: 33380 [startup+660.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 15449 0 0 0 65936 74 0 0 25 0 1 0 864336327 42717184 7175 4294967295 134512640 135726644 3221224592 3221223216 134744550 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10429 7175 300 300 0 10129 0 vsize: 41716 [startup+670.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 15654 0 0 0 66936 75 0 0 25 0 1 0 864336327 42717184 7222 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10429 7222 300 300 0 10129 0 vsize: 41716 [startup+680.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 15772 0 0 0 67935 76 0 0 25 0 1 0 864336327 42717184 7261 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10429 7261 300 300 0 10129 0 vsize: 41716 [startup+690.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 15949 0 0 0 68935 77 0 0 25 0 1 0 864336327 42860544 7359 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10464 7359 300 300 0 10164 0 vsize: 41856 [startup+700.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 16116 0 0 0 69934 77 0 0 25 0 1 0 864336327 42860544 7447 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10464 7447 300 300 0 10164 0 vsize: 41856 [startup+710.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 16253 0 0 0 70934 78 0 0 25 0 1 0 864336327 43008000 7505 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10500 7505 300 300 0 10200 0 vsize: 42000 [startup+720.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 16369 0 0 0 71933 79 0 0 25 0 1 0 864336327 43008000 7542 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10500 7542 300 300 0 10200 0 vsize: 42000 [startup+730.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 16540 0 0 0 72932 80 0 0 25 0 1 0 864336327 43147264 7634 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10534 7634 300 300 0 10234 0 vsize: 42136 [startup+740.045 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 16706 0 0 0 73932 80 0 0 25 0 1 0 864336327 43147264 7721 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10534 7721 300 300 0 10234 0 vsize: 42136 [startup+750.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 16942 0 0 0 74932 81 0 0 25 0 1 0 864336327 43286528 7799 4294967295 134512640 135726644 3221224592 3221223088 134744140 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10568 7799 300 300 0 10268 0 vsize: 42272 [startup+760.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 17034 0 0 0 75931 81 0 0 25 0 1 0 864336327 43286528 7812 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10568 7812 300 300 0 10268 0 vsize: 42272 [startup+770.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 17132 0 0 0 76931 81 0 0 25 0 1 0 864336327 43286528 7831 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10568 7831 300 300 0 10268 0 vsize: 42272 [startup+780.045 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 17312 0 0 0 77931 82 0 0 25 0 1 0 864336327 43421696 7853 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10601 7853 300 300 0 10301 0 vsize: 42404 [startup+790.045 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 17417 0 0 0 78930 83 0 0 25 0 1 0 864336327 43421696 7879 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10601 7879 300 300 0 10301 0 vsize: 42404 [startup+800.045 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 17517 0 0 0 79930 83 0 0 25 0 1 0 864336327 43569152 7900 4294967295 134512640 135726644 3221224592 3221223200 134744639 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10637 7900 300 300 0 10337 0 vsize: 42548 [startup+810.045 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 17621 0 0 0 80929 84 0 0 25 0 1 0 864336327 43716608 7925 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10673 7925 300 300 0 10373 0 vsize: 42692 [startup+820.045 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 17724 0 0 0 81929 85 0 0 25 0 1 0 864336327 43716608 7949 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10673 7949 300 300 0 10373 0 vsize: 42692 [startup+830.046 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 17896 0 0 0 82929 85 0 0 25 0 1 0 864336327 43851776 7963 4294967295 134512640 135726644 3221224592 3221223088 134744043 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10706 7963 300 300 0 10406 0 vsize: 42824 [startup+840.046 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 17996 0 0 0 83929 85 0 0 25 0 1 0 864336327 43851776 7984 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10706 7984 300 300 0 10406 0 vsize: 42824 [startup+850.046 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 18107 0 0 0 84929 85 0 0 25 0 1 0 864336327 43851776 8016 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10706 8016 300 300 0 10406 0 vsize: 42824 [startup+860.047 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 18279 0 0 0 85928 86 0 0 25 0 1 0 864336327 43991040 8109 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10740 8109 300 300 0 10440 0 vsize: 42960 [startup+870.046 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 18449 0 0 0 86928 87 0 0 25 0 1 0 864336327 43991040 8200 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10740 8200 300 300 0 10440 0 vsize: 42960 [startup+880.047 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 18560 0 0 0 87928 87 0 0 25 0 1 0 864336327 43991040 8232 4294967295 134512640 135726644 3221224592 3221222912 134728895 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10740 8232 300 300 0 10440 0 vsize: 42960 [startup+890.047 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 18738 0 0 0 88927 87 0 0 25 0 1 0 864336327 44138496 8252 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10776 8252 300 300 0 10476 0 vsize: 43104 [startup+900.046 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 18840 0 0 0 89927 88 0 0 25 0 1 0 864336327 44138496 8275 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10776 8275 300 300 0 10476 0 vsize: 43104 [startup+910.047 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 18997 0 0 0 90927 88 0 0 25 0 1 0 864336327 44298240 8353 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10815 8353 300 300 0 10515 0 vsize: 43260 [startup+920.047 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 19158 0 0 0 91926 89 0 0 25 0 1 0 864336327 44462080 8435 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10855 8435 300 300 0 10555 0 vsize: 43420 [startup+930.048 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 19256 0 0 0 92926 89 0 0 25 0 1 0 864336327 44462080 8454 4294967295 134512640 135726644 3221224592 3221223088 134744252 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10855 8454 300 300 0 10555 0 vsize: 43420 [startup+940.048 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 19362 0 0 0 93925 90 0 0 25 0 1 0 864336327 44462080 8481 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10855 8481 300 300 0 10555 0 vsize: 43420 [startup+950.048 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 19623 0 0 0 94925 91 0 0 25 0 1 0 864336327 44621824 8584 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10894 8584 300 300 0 10594 0 vsize: 43576 [startup+960.048 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 19768 0 0 0 95924 92 0 0 25 0 1 0 864336327 44761088 8650 4294967295 134512640 135726644 3221224592 3221223216 134744612 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10928 8650 300 300 0 10628 0 vsize: 43712 [startup+970.049 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 19853 0 0 0 96923 93 0 0 25 0 1 0 864336327 44761088 8656 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10928 8656 300 300 0 10628 0 vsize: 43712 [startup+980.051 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 19941 0 0 0 97922 94 0 0 25 0 1 0 864336327 44761088 8665 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10928 8665 300 300 0 10628 0 vsize: 43712 [startup+990.051 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 20042 0 0 0 98921 95 0 0 25 0 1 0 864336327 44761088 8687 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10928 8687 300 300 0 10628 0 vsize: 43712 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 20143 0 0 0 99920 96 0 0 25 0 1 0 864336327 44920832 8709 4294967295 134512640 135726644 3221224592 3221223088 134744223 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10967 8709 300 300 0 10667 0 vsize: 43868 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 20247 0 0 0 100920 96 0 0 25 0 1 0 864336327 45060096 8734 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11001 8734 300 300 0 10701 0 vsize: 44004 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 20330 0 0 0 101919 97 0 0 25 0 1 0 864336327 45060096 8738 4294967295 134512640 135726644 3221224592 3221222928 134735629 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11001 8738 300 300 0 10701 0 vsize: 44004 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 20338 0 0 0 102919 98 0 0 25 0 1 0 864336327 45060096 8746 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11001 8746 300 300 0 10701 0 vsize: 44004 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 20511 0 0 0 103917 99 0 0 25 0 1 0 864336327 45060096 8761 4294967295 134512640 135726644 3221224592 3221222912 134729277 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11001 8761 300 300 0 10701 0 vsize: 44004 [startup+1050.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 20606 0 0 0 104916 100 0 0 25 0 1 0 864336327 45219840 8777 4294967295 134512640 135726644 3221224592 3221223200 134744646 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11040 8777 300 300 0 10740 0 vsize: 44160 [startup+1060.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 20714 0 0 0 105915 101 0 0 25 0 1 0 864336327 45219840 8806 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11040 8806 300 300 0 10740 0 vsize: 44160 [startup+1070.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 20814 0 0 0 106914 102 0 0 25 0 1 0 864336327 45219840 8827 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11040 8827 300 300 0 10740 0 vsize: 44160 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 20919 0 0 0 107913 103 0 0 25 0 1 0 864336327 45383680 8853 4294967295 134512640 135726644 3221224592 3221223088 134744020 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11080 8853 300 300 0 10780 0 vsize: 44320 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 21021 0 0 0 108912 105 0 0 25 0 1 0 864336327 45522944 8876 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11114 8876 300 300 0 10814 0 vsize: 44456 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 21124 0 0 0 109910 106 0 0 25 0 1 0 864336327 45522944 8900 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11114 8900 300 300 0 10814 0 vsize: 44456 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 21238 0 0 0 110910 107 0 0 25 0 1 0 864336327 45522944 8935 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11114 8935 300 300 0 10814 0 vsize: 44456 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 21323 0 0 0 111909 108 0 0 25 0 1 0 864336327 45522944 8941 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11114 8941 300 300 0 10814 0 vsize: 44456 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 21427 0 0 0 112908 109 0 0 25 0 1 0 864336327 45715456 8966 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11161 8966 300 300 0 10861 0 vsize: 44644 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 21475 0 0 0 113907 110 0 0 25 0 1 0 864336327 45715456 9014 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11161 9014 300 300 0 10861 0 vsize: 44644 [startup+1150.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 21618 0 0 0 114907 111 0 0 25 0 1 0 864336327 45715456 9078 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11161 9078 300 300 0 10861 0 vsize: 44644 [startup+1160.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 21848 0 0 0 115907 111 0 0 25 0 1 0 864336327 45715456 9150 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11161 9150 300 300 0 10861 0 vsize: 44644 [startup+1170.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 21858 0 0 0 116906 112 0 0 25 0 1 0 864336327 45862912 9160 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11197 9160 300 300 0 10897 0 vsize: 44788 [startup+1180.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 21947 0 0 0 117906 113 0 0 25 0 1 0 864336327 45862912 9170 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11197 9170 300 300 0 10897 0 vsize: 44788 [startup+1190.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 22057 0 0 0 118905 113 0 0 25 0 1 0 864336327 45998080 9201 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11230 9201 300 300 0 10930 0 vsize: 44920 [startup+1200.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27057 Raw data (stat): 27057 (pb2sat) R 27056 20001 20000 0 -1 0 22310 0 0 0 119904 114 0 0 25 0 1 0 864336327 45998080 9296 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11230 9296 300 300 0 10930 0 vsize: 44920 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.21 s] Raw data (loadavg): 1.00 1.00 0.93 1/54 27057 Raw data (stat): 27057 (pb2sat) Z 27056 20001 20000 0 -1 12 22311 0 0 0 119917 116 0 0 25 0 1 0 864336327 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 0 Real time (s): 1200.21 CPU time (s): 1200.34 CPU user time (s): 1199.18 CPU system time (s): 1.16782 CPU usage (%): 100.011 Max. virtual memory (Kb): 44920 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####