Name | normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb |
MD5SUM | b2c6bc03457d15976fdaf81252d9cdae |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 435 |
Biggest coefficient in the objective function | 282 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 1168 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 282 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 1168 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02284 |
Number of variables | 435 |
Total number of constraints | 935 |
Number of constraints which are clauses | 403 |
Number of constraints which are cardinality constraints (but not clauses) | 532 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 16 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc29 THE 2005-05-28 11:51:36 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=24291 boxname=wulflinc29 idbench=365 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: b2c6bc03457d15976fdaf81252d9cdae /oldhome/oroussel/tmp/wulflinc29/normalized-10:10:4.5:0.95:100.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc29/normalized-10:10:4.5:0.95:100.opb IDLAUNCH: 24291 /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: 632148 kB Buffers: 36848 kB Cached: 339444 kB SwapCached: 632 kB Active: 44360 kB Inactive: 334008 kB HighTotal: 131008 kB HighFree: 46872 kB LowTotal: 903652 kB LowFree: 585276 kB SwapTotal: 2097892 kB SwapFree: 2096372 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5136 kB Slab: 18512 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-28 12:11:38 (client local time) WITH STATUS 0 IN 1200.45 SECONDS stats: 24291 7 1200.45 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... Decision: 70422/122708 Time: 17.8213/86400 Decision: 70422/122708 Time: 29.4975/86400 Decision: 70422/122708 Time: 43.3364/86400 Decision: 70422/122708 Time: 58.4041/86400 Decision: 70422/122708 Time: 71.2972/86400 Decision: 70422/122708 Time: 86.5938/86400 Decision: 70422/122708 Time: 100.932/86400 Decision: 70422/122708 Time: 115.089/86400 Decision: 70422/122708 Time: 129.129/86400 Decision: 70422/122708 Time: 144.823/86400 Decision: 70422/122708 Time: 159.646/86400 Decision: 70422/122708 Time: 175.264/86400 Decision: 70422/122708 Time: 189.402/86400 Decision: 70422/122708 Time: 206.084/86400 Decision: 70422/122708 Time: 223.005/86400 Decision: 70422/122708 Time: 240.553/86400 Decision: 70422/122708 Time: 254.893/86400 Decision: 70422/122708 Time: 273.165/86400 Decision: 70422/122708 Time: 290.437/86400 Decision: 70422/122708 Time: 309.183/86400 Decision: 70422/122708 Time: 328.604/86400 Decision: 70422/122708 Time: 346.55/86400 Decision: 70422/122708 Time: 364.913/86400 Decision: 70422/122708 Time: 384.889/86400 Decision: 70422/122708 Time: 402.352/86400 Decision: 70422/122708 Time: 420.405/86400 Decision: 70422/122708 Time: 440.805/86400 Decision: 70422/122708 Time: 460.147/86400 Decision: 70422/122708 Time: 479.185/86400 Decision: 70422/122708 Time: 498.559/86400 Decision: 70422/122708 Time: 519.13/86400 Decision: 70422/122708 Time: 540.277/86400 Decision: 70422/122708 Time: 559.933/86400 Decision: 70422/122708 Time: 580.568/86400 Decision: 70422/122708 Time: 600.757/86400 Decision: 70422/122708 Time: 619.397/86400 Decision: 70422/122708 Time: 639.989/86400 Decision: 70422/122708 Time: 661.467/86400 Decision: 70422/122708 Time: 681.406/86400 Decision: 70779/122708 Time: 702.988/86400 Decision: 70779/122708 Time: 722.627/86400 Decision: 70779/122708 Time: 741.615/86400 Decision: 70779/122708 Time: 760.112/86400 Decision: 70779/122708 Time: 781.773/86400 Decision: 70779/122708 Time: 800.877/86400 Decision: 70779/122708 Time: 822.729/86400 Decision: 70779/122708 Time: 843.567/86400 Decision: 70779/122708 Time: 866.046/86400 Decision: 70779/122708 Time: 887.903/86400 Decision: 70779/122708 Time: 909.151/86400 Decision: 70779/122708 Time: 929.668/86400 Decision: 70779/122708 Time: 947.821/86400 Decision: 70779/122708 Time: 966.708/86400 Decision: 70779/122708 Time: 987.093/86400 Decision: 70779/122708 Time: 1007.11/86400 Decision: 70779/122708 Time: 1028.09/86400 Decision: 70779/122708 Time: 1047.79/86400 Decision: 70779/122708 Time: 1068.85/86400 Decision: 70779/122708 Time: 1088.43/86400 Decision: 70779/122708 Time: 1107.46/86400 Decision: 70779/122708 Time: 1128.62/86400 Decision: 70779/122708 Time: 1148.35/86400 Decision: 70779/122708 Time: 1168.89/86400 Decision: 70779/122708 Time: 1189.04/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.92 0.98 0.93 2/54 27241 Raw data (stat): 27241 (runsolver) R 27240 20001 20000 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864578352 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.0003 s] Raw data (loadavg): 0.93 0.98 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 16751 0 0 0 960 38 0 0 25 0 1 0 864578352 49262592 10977 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12027 10977 300 300 0 11727 0 vsize: 48108 [startup+20.0014 s] Raw data (loadavg): 0.94 0.98 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 16825 0 0 0 1960 39 0 0 25 0 1 0 864578352 49426432 11051 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12067 11051 300 300 0 11767 0 vsize: 48268 [startup+30.0012 s] Raw data (loadavg): 0.95 0.98 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 17141 0 0 0 2958 40 0 0 25 0 1 0 864578352 49623040 11127 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12115 11127 300 300 0 11815 0 vsize: 48460 [startup+40.0017 s] Raw data (loadavg): 0.96 0.98 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 17448 0 0 0 3957 41 0 0 25 0 1 0 864578352 50016256 11194 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12211 11194 300 300 0 11911 0 vsize: 48844 [startup+50.0019 s] Raw data (loadavg): 0.96 0.98 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 17801 0 0 0 4957 41 0 0 25 0 1 0 864578352 50491392 11307 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12327 11307 300 300 0 12027 0 vsize: 49308 [startup+60.0015 s] Raw data (loadavg): 0.97 0.98 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 17917 0 0 0 5955 42 0 0 25 0 1 0 864578352 51019776 11423 4294967295 134512640 135726644 3221224576 3221223120 134736611 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12456 11423 300 300 0 12156 0 vsize: 49824 [startup+70.002 s] Raw data (loadavg): 0.97 0.98 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 18178 0 0 0 6954 43 0 0 25 0 1 0 864578352 51019776 11444 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12456 11444 300 300 0 12156 0 vsize: 49824 [startup+80.0021 s] Raw data (loadavg): 0.98 0.98 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 18448 0 0 0 7953 44 0 0 25 0 1 0 864578352 51019776 11474 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12456 11474 300 300 0 12156 0 vsize: 49824 [startup+90.0029 s] Raw data (loadavg): 0.98 0.98 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 18477 0 0 0 8954 44 0 0 25 0 1 0 864578352 51019776 11503 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12456 11503 300 300 0 12156 0 vsize: 49824 [startup+100.002 s] Raw data (loadavg): 0.98 0.98 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 18823 0 0 0 9953 45 0 0 25 0 1 0 864578352 51380224 11609 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12544 11609 300 300 0 12244 0 vsize: 50176 [startup+110.002 s] Raw data (loadavg): 0.98 0.98 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 19071 0 0 0 10952 46 0 0 25 0 1 0 864578352 51380224 11617 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12544 11617 300 300 0 12244 0 vsize: 50176 [startup+120.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 19094 0 0 0 11952 46 0 0 25 0 1 0 864578352 51380224 11640 4294967295 134512640 135726644 3221224576 3221223072 134744069 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12544 11640 300 300 0 12244 0 vsize: 50176 [startup+130.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 19375 0 0 0 12952 47 0 0 25 0 1 0 864578352 51576832 11681 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12592 11681 300 300 0 12292 0 vsize: 50368 [startup+140.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 19652 0 0 0 13950 48 0 0 25 0 1 0 864578352 51773440 11718 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12640 11718 300 300 0 12340 0 vsize: 50560 [startup+150.004 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 19936 0 0 0 14950 49 0 0 25 0 1 0 864578352 52756480 12002 4294967295 134512640 135726644 3221224576 3221222732 134761832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12880 12002 300 300 0 12580 0 vsize: 51520 [startup+160.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 19957 0 0 0 15950 49 0 0 25 0 1 0 864578352 51773440 11783 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12640 11783 300 300 0 12340 0 vsize: 50560 [startup+170.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 20207 0 0 0 16949 50 0 0 25 0 1 0 864578352 51773440 11793 4294967295 134512640 135726644 3221224576 3221223196 134744627 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12640 11793 300 300 0 12340 0 vsize: 50560 [startup+180.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 20209 0 0 0 17949 50 0 0 25 0 1 0 864578352 51773440 11795 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12640 11795 300 300 0 12340 0 vsize: 50560 [startup+190.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 20455 0 0 0 18949 50 0 0 25 0 1 0 864578352 51773440 11801 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12640 11801 300 300 0 12340 0 vsize: 50560 [startup+200.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 20715 0 0 0 19948 51 0 0 25 0 1 0 864578352 51773440 11821 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12640 11821 300 300 0 12340 0 vsize: 50560 [startup+210.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 20730 0 0 0 20948 51 0 0 25 0 1 0 864578352 51773440 11836 4294967295 134512640 135726644 3221224576 3221223180 134744139 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12640 11836 300 300 0 12340 0 vsize: 50560 [startup+220.004 s] Raw data (loadavg): 1.07 1.00 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 21013 0 0 0 21948 52 0 0 25 0 1 0 864578352 51908608 11879 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12673 11879 300 300 0 12373 0 vsize: 50692 [startup+230.004 s] Raw data (loadavg): 1.06 1.00 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 21266 0 0 0 22947 53 0 0 25 0 1 0 864578352 51908608 11892 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12673 11892 300 300 0 12373 0 vsize: 50692 [startup+240.005 s] Raw data (loadavg): 1.05 1.00 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 21289 0 0 0 23947 53 0 0 25 0 1 0 864578352 51908608 11915 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12673 11915 300 300 0 12373 0 vsize: 50692 [startup+250.004 s] Raw data (loadavg): 1.04 1.00 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 21538 0 0 0 24946 54 0 0 25 0 1 0 864578352 51908608 11924 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12673 11924 300 300 0 12373 0 vsize: 50692 [startup+260.004 s] Raw data (loadavg): 1.03 1.00 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 21542 0 0 0 25946 55 0 0 25 0 1 0 864578352 51908608 11928 4294967295 134512640 135726644 3221224576 3221223088 134742423 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12673 11928 300 300 0 12373 0 vsize: 50692 [startup+270.005 s] Raw data (loadavg): 1.03 1.00 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 21795 0 0 0 26945 56 0 0 25 0 1 0 864578352 52105216 11941 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12721 11941 300 300 0 12421 0 vsize: 50884 [startup+280.004 s] Raw data (loadavg): 1.02 1.00 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 22037 0 0 0 27944 57 0 0 25 0 1 0 864578352 52105216 11943 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12721 11943 300 300 0 12421 0 vsize: 50884 [startup+290.005 s] Raw data (loadavg): 1.02 1.00 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 22053 0 0 0 28943 58 0 0 25 0 1 0 864578352 52105216 11959 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12721 11959 300 300 0 12421 0 vsize: 50884 [startup+300.005 s] Raw data (loadavg): 1.02 1.00 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 22309 0 0 0 29942 59 0 0 25 0 1 0 864578352 52105216 11975 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12721 11975 300 300 0 12421 0 vsize: 50884 [startup+310.005 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 22339 0 0 0 30942 59 0 0 25 0 1 0 864578352 52240384 12005 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12754 12005 300 300 0 12454 0 vsize: 51016 [startup+320.006 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 22581 0 0 0 31942 60 0 0 25 0 1 0 864578352 52240384 12007 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12754 12007 300 300 0 12454 0 vsize: 51016 [startup+330.007 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 22584 0 0 0 32942 60 0 0 25 0 1 0 864578352 52240384 12010 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12754 12010 300 300 0 12454 0 vsize: 51016 [startup+340.007 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 22827 0 0 0 33941 61 0 0 25 0 1 0 864578352 52240384 12013 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12754 12013 300 300 0 12454 0 vsize: 51016 [startup+350.007 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 22846 0 0 0 34941 61 0 0 25 0 1 0 864578352 52375552 12032 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12787 12032 300 300 0 12487 0 vsize: 51148 [startup+360.007 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 23112 0 0 0 35930 62 0 0 25 0 1 0 864578352 52510720 12058 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12820 12058 300 300 0 12520 0 vsize: 51280 [startup+370.007 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 23114 0 0 0 36930 62 0 0 25 0 1 0 864578352 52510720 12060 4294967295 134512640 135726644 3221224576 3221223088 134742284 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12820 12060 300 300 0 12520 0 vsize: 51280 [startup+380.007 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 23357 0 0 0 37930 63 0 0 25 0 1 0 864578352 52510720 12063 4294967295 134512640 135726644 3221224576 3221223072 134744295 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12820 12063 300 300 0 12520 0 vsize: 51280 [startup+390.007 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 23362 0 0 0 38930 63 0 0 25 0 1 0 864578352 52510720 12068 4294967295 134512640 135726644 3221224576 3221223088 134742265 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12820 12068 300 300 0 12520 0 vsize: 51280 [startup+400.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 23606 0 0 0 39930 63 0 0 25 0 1 0 864578352 52510720 12072 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12820 12072 300 300 0 12520 0 vsize: 51280 [startup+410.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 23859 0 0 0 40929 64 0 0 25 0 1 0 864578352 52510720 12085 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12820 12085 300 300 0 12520 0 vsize: 51280 [startup+420.009 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 23872 0 0 0 41929 65 0 0 25 0 1 0 864578352 52510720 12098 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12820 12098 300 300 0 12520 0 vsize: 51280 [startup+430.009 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 24183 0 0 0 42928 65 0 0 25 0 1 0 864578352 52781056 12169 4294967295 134512640 135726644 3221224576 3221223072 134743996 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12886 12169 300 300 0 12586 0 vsize: 51544 [startup+440.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 24185 0 0 0 43928 65 0 0 25 0 1 0 864578352 52781056 12171 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12886 12171 300 300 0 12586 0 vsize: 51544 [startup+450.011 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 24504 0 0 0 44927 66 0 0 25 0 1 0 864578352 53186560 12250 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12985 12250 300 300 0 12685 0 vsize: 51940 [startup+460.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 24507 0 0 0 45927 67 0 0 25 0 1 0 864578352 53186560 12253 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12985 12253 300 300 0 12685 0 vsize: 51940 [startup+470.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 24750 0 0 0 46926 68 0 0 25 0 1 0 864578352 53186560 12256 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12985 12256 300 300 0 12685 0 vsize: 51940 [startup+480.011 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 24780 0 0 0 47926 68 0 0 25 0 1 0 864578352 53321728 12286 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13018 12286 300 300 0 12718 0 vsize: 52072 [startup+490.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 25039 0 0 0 48926 69 0 0 25 0 1 0 864578352 53456896 12305 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13051 12305 300 300 0 12751 0 vsize: 52204 [startup+500.013 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27241 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 25043 0 0 0 49925 69 0 0 25 0 1 0 864578352 53456896 12309 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13051 12309 300 300 0 12751 0 vsize: 52204 [startup+510.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/57 27251 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 25285 0 0 0 50925 70 0 0 25 0 1 0 864578352 53456896 12311 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13051 12311 300 300 0 12751 0 vsize: 52204 [startup+520.012 s] Raw data (loadavg): 1.07 1.02 0.94 2/54 27294 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 25288 0 0 0 51924 71 0 0 25 0 1 0 864578352 53456896 12314 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13051 12314 300 300 0 12751 0 vsize: 52204 [startup+530.012 s] Raw data (loadavg): 1.06 1.02 0.94 2/54 27294 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 25529 0 0 0 52923 72 0 0 25 0 1 0 864578352 53456896 12315 4294967295 134512640 135726644 3221224576 3221223072 134744011 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13051 12315 300 300 0 12751 0 vsize: 52204 [startup+540.013 s] Raw data (loadavg): 1.05 1.01 0.94 2/54 27294 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 25533 0 0 0 53923 72 0 0 25 0 1 0 864578352 53456896 12319 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13051 12319 300 300 0 12751 0 vsize: 52204 [startup+550.013 s] Raw data (loadavg): 1.04 1.01 0.94 2/54 27294 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 25775 0 0 0 54922 73 0 0 25 0 1 0 864578352 53456896 12321 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13051 12321 300 300 0 12751 0 vsize: 52204 [startup+560.012 s] Raw data (loadavg): 1.04 1.01 0.94 2/54 27294 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 25780 0 0 0 55922 74 0 0 25 0 1 0 864578352 53456896 12326 4294967295 134512640 135726644 3221224576 3221223072 134744311 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13051 12326 300 300 0 12751 0 vsize: 52204 [startup+570.013 s] Raw data (loadavg): 1.03 1.01 0.94 2/54 27294 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 26032 0 0 0 56922 74 0 0 25 0 1 0 864578352 53456896 12338 4294967295 134512640 135726644 3221224576 3221223232 134731190 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13051 12338 300 300 0 12751 0 vsize: 52204 [startup+580.013 s] Raw data (loadavg): 1.02 1.01 0.94 2/54 27296 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 26077 0 0 0 57921 75 0 0 25 0 1 0 864578352 53592064 12383 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13084 12383 300 300 0 12784 0 vsize: 52336 [startup+590.014 s] Raw data (loadavg): 1.02 1.01 0.94 2/54 27296 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 26386 0 0 0 58921 76 0 0 25 0 1 0 864578352 53993472 12452 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13182 12452 300 300 0 12882 0 vsize: 52728 [startup+600.014 s] Raw data (loadavg): 1.02 1.01 0.94 2/54 27296 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 26395 0 0 0 59921 76 0 0 25 0 1 0 864578352 53993472 12461 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13182 12461 300 300 0 12882 0 vsize: 52728 [startup+610.014 s] Raw data (loadavg): 1.01 1.01 0.94 2/54 27296 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 26644 0 0 0 60920 77 0 0 25 0 1 0 864578352 53993472 12470 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13182 12470 300 300 0 12882 0 vsize: 52728 [startup+620.014 s] Raw data (loadavg): 1.01 1.01 0.94 2/54 27296 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 26655 0 0 0 61920 77 0 0 25 0 1 0 864578352 53993472 12481 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13182 12481 300 300 0 12882 0 vsize: 52728 [startup+630.014 s] Raw data (loadavg): 1.01 1.01 0.94 2/54 27296 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 26900 0 0 0 62919 78 0 0 25 0 1 0 864578352 62382080 12486 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15230 12486 300 300 0 14930 0 vsize: 60920 [startup+640.015 s] Raw data (loadavg): 1.01 1.00 0.94 2/54 27296 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 26903 0 0 0 63919 79 0 0 25 0 1 0 864578352 62382080 12489 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15230 12489 300 300 0 14930 0 vsize: 60920 [startup+650.014 s] Raw data (loadavg): 1.01 1.00 0.94 2/54 27296 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 27145 0 0 0 64918 80 0 0 25 0 1 0 864578352 62382080 12491 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15230 12491 300 300 0 14930 0 vsize: 60920 [startup+660.014 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27296 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 27149 0 0 0 65917 80 0 0 25 0 1 0 864578352 62382080 12495 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15230 12495 300 300 0 14930 0 vsize: 60920 [startup+670.015 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27296 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 27400 0 0 0 66918 80 0 0 25 0 1 0 864578352 62382080 12506 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15230 12506 300 300 0 14930 0 vsize: 60920 [startup+680.016 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27296 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 27412 0 0 0 67917 81 0 0 25 0 1 0 864578352 62382080 12518 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15230 12518 300 300 0 14930 0 vsize: 60920 [startup+690.016 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27296 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 27664 0 0 0 68917 81 0 0 25 0 1 0 864578352 62382080 12530 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15230 12530 300 300 0 14930 0 vsize: 60920 [startup+700.018 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27296 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 27676 0 0 0 69917 81 0 0 25 0 1 0 864578352 62382080 12542 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15230 12542 300 300 0 14930 0 vsize: 60920 [startup+710.019 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27296 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 27933 0 0 0 70917 82 0 0 25 0 1 0 864578352 62382080 12559 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15230 12559 300 300 0 14930 0 vsize: 60920 [startup+720.019 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27296 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 27944 0 0 0 71917 83 0 0 25 0 1 0 864578352 62382080 12570 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15230 12570 300 300 0 14930 0 vsize: 60920 [startup+730.019 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27296 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 28191 0 0 0 72916 83 0 0 25 0 1 0 864578352 62382080 12577 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15230 12577 300 300 0 14930 0 vsize: 60920 [startup+740.019 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27296 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 28196 0 0 0 73916 84 0 0 25 0 1 0 864578352 62382080 12582 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15230 12582 300 300 0 14930 0 vsize: 60920 [startup+750.025 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27296 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 28437 0 0 0 74916 85 0 0 25 0 1 0 864578352 62382080 12583 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15230 12583 300 300 0 14930 0 vsize: 60920 [startup+760.025 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27296 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 28443 0 0 0 75915 85 0 0 25 0 1 0 864578352 62382080 12589 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15230 12589 300 300 0 14930 0 vsize: 60920 [startup+770.026 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27296 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 28696 0 0 0 76915 86 0 0 25 0 1 0 864578352 62382080 12602 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15230 12602 300 300 0 14930 0 vsize: 60920 [startup+780.032 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27296 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 28712 0 0 0 77915 86 0 0 25 0 1 0 864578352 62382080 12618 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15230 12618 300 300 0 14930 0 vsize: 60920 [startup+790.033 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27296 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 28965 0 0 0 78914 87 0 0 25 0 1 0 864578352 62382080 12631 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15230 12631 300 300 0 14930 0 vsize: 60920 [startup+800.032 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27296 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 28976 0 0 0 79914 88 0 0 25 0 1 0 864578352 62382080 12642 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15230 12642 300 300 0 14930 0 vsize: 60920 [startup+810.032 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27296 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 29228 0 0 0 80913 89 0 0 25 0 1 0 864578352 62382080 12654 4294967295 134512640 135726644 3221224576 3221223072 134744006 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15230 12654 300 300 0 14930 0 vsize: 60920 [startup+820.033 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27296 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 29240 0 0 0 81913 89 0 0 25 0 1 0 864578352 62382080 12666 4294967295 134512640 135726644 3221224576 3221223072 134744028 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15230 12666 300 300 0 14930 0 vsize: 60920 [startup+830.033 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27296 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 29487 0 0 0 82912 90 0 0 25 0 1 0 864578352 62382080 12673 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15230 12673 300 300 0 14930 0 vsize: 60920 [startup+840.033 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27296 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 29489 0 0 0 83912 90 0 0 25 0 1 0 864578352 62382080 12675 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15230 12675 300 300 0 14930 0 vsize: 60920 [startup+850.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27296 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 29732 0 0 0 84912 91 0 0 25 0 1 0 864578352 62382080 12678 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15230 12678 300 300 0 14930 0 vsize: 60920 [startup+860.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27296 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 29733 0 0 0 85911 92 0 0 25 0 1 0 864578352 62382080 12679 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15230 12679 300 300 0 14930 0 vsize: 60920 [startup+870.035 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27296 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 29735 0 0 0 86911 92 0 0 25 0 1 0 864578352 62382080 12681 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15230 12681 300 300 0 14930 0 vsize: 60920 [startup+880.035 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27298 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 30008 0 0 0 87910 94 0 0 25 0 1 0 864578352 62517248 12714 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15263 12714 300 300 0 14963 0 vsize: 61052 [startup+890.035 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27298 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 30018 0 0 0 88910 94 0 0 25 0 1 0 864578352 62517248 12724 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15263 12724 300 300 0 14963 0 vsize: 61052 [startup+900.042 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27298 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 30267 0 0 0 89909 95 0 0 25 0 1 0 864578352 62517248 12733 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15263 12733 300 300 0 14963 0 vsize: 61052 [startup+910.045 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27298 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 30280 0 0 0 90909 96 0 0 25 0 1 0 864578352 62517248 12746 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15263 12746 300 300 0 14963 0 vsize: 61052 [startup+920.048 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27298 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 30533 0 0 0 91909 97 0 0 25 0 1 0 864578352 62517248 12759 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15263 12759 300 300 0 14963 0 vsize: 61052 [startup+930.047 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27298 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 30544 0 0 0 92908 97 0 0 25 0 1 0 864578352 62517248 12770 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15263 12770 300 300 0 14963 0 vsize: 61052 [startup+940.048 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27298 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 30806 0 0 0 93908 98 0 0 25 0 1 0 864578352 62652416 12792 4294967295 134512640 135726644 3221224576 3221223072 134744006 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15296 12792 300 300 0 14996 0 vsize: 61184 [startup+950.049 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27298 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 30808 0 0 0 94907 99 0 0 25 0 1 0 864578352 62652416 12794 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15296 12794 300 300 0 14996 0 vsize: 61184 [startup+960.049 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27298 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 31050 0 0 0 95906 100 0 0 25 0 1 0 864578352 62652416 12796 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15296 12796 300 300 0 14996 0 vsize: 61184 [startup+970.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27298 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 34126 0 0 0 96898 108 0 0 25 0 1 0 864578352 75235328 12799 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18368 12799 300 300 0 18068 0 vsize: 73472 [startup+980.049 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27298 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 34376 0 0 0 97897 109 0 0 25 0 1 0 864578352 75235328 12809 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18368 12809 300 300 0 18068 0 vsize: 73472 [startup+990.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27298 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 34438 0 0 0 98897 109 0 0 25 0 1 0 864578352 75563008 12871 4294967295 134512640 135726644 3221224576 3221223196 134727347 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18448 12871 300 300 0 18148 0 vsize: 73792 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27298 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 34689 0 0 0 99896 110 0 0 25 0 1 0 864578352 75563008 12882 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18448 12882 300 300 0 18148 0 vsize: 73792 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27298 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 34700 0 0 0 100896 111 0 0 25 0 1 0 864578352 75563008 12893 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18448 12893 300 300 0 18148 0 vsize: 73792 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27298 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 34951 0 0 0 101895 112 0 0 25 0 1 0 864578352 75563008 12904 4294967295 134512640 135726644 3221224576 3221223196 134727347 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18448 12904 300 300 0 18148 0 vsize: 73792 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27298 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 34961 0 0 0 102895 112 0 0 25 0 1 0 864578352 75563008 12914 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18448 12914 300 300 0 18148 0 vsize: 73792 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27298 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 35222 0 0 0 103894 113 0 0 25 0 1 0 864578352 75698176 12935 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18481 12935 300 300 0 18181 0 vsize: 73924 [startup+1050.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27298 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 35224 0 0 0 104894 114 0 0 25 0 1 0 864578352 75698176 12937 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18481 12937 300 300 0 18181 0 vsize: 73924 [startup+1060.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27298 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 35469 0 0 0 105893 115 0 0 25 0 1 0 864578352 75698176 12942 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18481 12942 300 300 0 18181 0 vsize: 73924 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27298 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 35478 0 0 0 106894 115 0 0 25 0 1 0 864578352 75698176 12951 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18481 12951 300 300 0 18181 0 vsize: 73924 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27298 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 35729 0 0 0 107893 116 0 0 25 0 1 0 864578352 75698176 12962 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18481 12962 300 300 0 18181 0 vsize: 73924 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27298 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 35740 0 0 0 108893 116 0 0 25 0 1 0 864578352 75698176 12973 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18481 12973 300 300 0 18181 0 vsize: 73924 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27298 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 35992 0 0 0 109892 117 0 0 25 0 1 0 864578352 75698176 12985 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18481 12985 300 300 0 18181 0 vsize: 73924 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27298 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 36003 0 0 0 110892 117 0 0 25 0 1 0 864578352 75698176 12996 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18481 12996 300 300 0 18181 0 vsize: 73924 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27298 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 36253 0 0 0 111892 118 0 0 25 0 1 0 864578352 75698176 13006 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18481 13006 300 300 0 18181 0 vsize: 73924 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27298 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 36267 0 0 0 112892 118 0 0 25 0 1 0 864578352 75698176 13020 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18481 13020 300 300 0 18181 0 vsize: 73924 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27298 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 36512 0 0 0 113891 119 0 0 25 0 1 0 864578352 75698176 13025 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18481 13025 300 300 0 18181 0 vsize: 73924 [startup+1150.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27298 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 36514 0 0 0 114891 119 0 0 25 0 1 0 864578352 75698176 13027 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18481 13027 300 300 0 18181 0 vsize: 73924 [startup+1160.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27298 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 36756 0 0 0 115890 120 0 0 25 0 1 0 864578352 75698176 13029 4294967295 134512640 135726644 3221224576 3221223072 134744117 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18481 13029 300 300 0 18181 0 vsize: 73924 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27298 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 36758 0 0 0 116890 121 0 0 25 0 1 0 864578352 75698176 13031 4294967295 134512640 135726644 3221224576 3221223072 134744030 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18481 13031 300 300 0 18181 0 vsize: 73924 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27298 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 37002 0 0 0 117890 121 0 0 25 0 1 0 864578352 75698176 13035 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18481 13035 300 300 0 18181 0 vsize: 73924 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27298 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 37008 0 0 0 118890 121 0 0 25 0 1 0 864578352 75698176 13041 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18481 13041 300 300 0 18181 0 vsize: 73924 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 27298 Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 37262 0 0 0 119889 122 0 0 25 0 1 0 864578352 75698176 13055 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18481 13055 300 300 0 18181 0 vsize: 73924 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.4 s] Raw data (loadavg): 1.00 1.00 0.94 1/54 27298 Raw data (stat): 27241 (pb2sat) Z 27240 20001 20000 0 -1 12 37263 0 0 0 119919 125 0 0 25 0 1 0 864578352 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.4 CPU time (s): 1200.45 CPU user time (s): 1199.2 CPU system time (s): 1.25581 CPU usage (%): 100.004 Max. virtual memory (Kb): 73924 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####