Name | normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb |
MD5SUM | 46f4eb904b1c96b45521a6459aa5d49d |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 130 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 512 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 109757 |
Total number of constraints | 313451 |
Number of constraints which are clauses | 295929 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 17522 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-06-16 01:04:50 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25377 boxname=wulflinc6 idbench=279 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 46f4eb904b1c96b45521a6459aa5d49d /oldhome/oroussel/tmp/wulflinc6/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb IDLAUNCH: 25377 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 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: 733588 kB Buffers: 34016 kB Cached: 243552 kB SwapCached: 1028 kB Active: 75676 kB Inactive: 204120 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 733336 kB SwapTotal: 2097136 kB SwapFree: 2095200 kB Dirty: 4 kB Writeback: 0 kB Mapped: 5088 kB Slab: 15596 kB Committed_AS: 63844 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 01:24:54 (client local time) WITH STATUS 0 IN 1201.82 SECONDS stats: 25377 7 1201.82 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 19530/460151 Time: 19.0141/86400 c Decision: 19530/460151 Time: 36.2625/86400 c Decision: 19530/460151 Time: 50.4253/86400 c Decision: 19531/460151 Time: 70.2333/86400 c Decision: 19531/460151 Time: 86.6138/86400 c Decision: 19536/460151 Time: 108.761/86400 c Decision: 19555/460151 Time: 134.223/86400 c Decision: 19555/460151 Time: 154.011/86400 c Decision: 19808/460151 Time: 182.757/86400 c Decision: 19808/460151 Time: 202.941/86400 c Decision: 19811/460151 Time: 230.978/86400 c Decision: 19823/460151 Time: 269.888/86400 c Decision: 19829/460151 Time: 307.897/86400 c Decision: 19830/460151 Time: 332.729/86400 c Decision: 19836/460151 Time: 360.542/86400 c Decision: 19836/460151 Time: 381.04/86400 c Decision: 19836/460151 Time: 402.644/86400 c Decision: 19837/460151 Time: 430.81/86400 c Decision: 19840/460151 Time: 460.238/86400 c Decision: 19843/460151 Time: 482.725/86400 c Decision: 19843/460151 Time: 501.306/86400 c Decision: 19843/460151 Time: 521.744/86400 c Decision: 19843/460151 Time: 544.841/86400 c Decision: 19875/460151 Time: 593.155/86400 c Decision: 19875/460151 Time: 615.463/86400 c Decision: 19875/460151 Time: 639.274/86400 c Decision: 19878/460151 Time: 661.372/86400 c Decision: 19878/460151 Time: 682.402/86400 c Decision: 21052/460151 Time: 705.076/86400 c Decision: 21052/460151 Time: 723.916/86400 c Decision: 21052/460151 Time: 745.078/86400 c Decision: 21170/460151 Time: 766.912/86400 c Decision: 21170/460151 Time: 786.652/86400 c Decision: 21170/460151 Time: 803.377/86400 c Decision: 21170/460151 Time: 818.891/86400 c Decision: 21464/460151 Time: 846.78/86400 c Decision: 21464/460151 Time: 869.305/86400 c Decision: 21464/460151 Time: 892.317/86400 c Decision: 23036/460151 Time: 907.995/86400 c Decision: 23036/460151 Time: 929.991/86400 c Decision: 23039/460151 Time: 975.853/86400 c Decision: 23039/460151 Time: 995.748/86400 c Decision: 23039/460151 Time: 1015.7/86400 c Decision: 23039/460151 Time: 1042.77/86400 c Decision: 23039/460151 Time: 1065.26/86400 c Decision: 25608/460151 Time: 1117.27/86400 c Decision: 25608/460151 Time: 1145.97/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.80 0.89 0.89 1/54 13055 Raw data (stat): 13055 (runsolver) R 13054 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 966661555 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.0009 s] Raw data (loadavg): 0.83 0.90 0.89 2/54 13055 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 5061 0 0 0 987 12 0 0 25 0 1 0 966661555 17326080 3135 4294967295 134512640 135730672 3221224560 3221221568 134850943 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4230 3135 301 301 0 3929 0 vsize: 16920 [startup+20.001 s] Raw data (loadavg): 0.85 0.90 0.89 2/54 13055 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 10000 0 0 0 1975 24 0 0 25 0 1 0 966661555 33234944 6054 4294967295 134512640 135730672 3221224560 3221221376 134776216 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8114 6054 301 301 0 7813 0 vsize: 32456 [startup+30.0008 s] Raw data (loadavg): 0.88 0.90 0.89 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 13844 0 0 0 2964 35 0 0 25 0 1 0 966661555 42905600 8328 4294967295 134512640 135730672 3221224560 3221221760 134577614 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10475 8329 301 301 0 10174 0 vsize: 41900 [startup+40.0014 s] Raw data (loadavg): 0.89 0.91 0.89 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 36328 0 0 0 3913 86 0 0 25 0 1 0 966661555 132767744 24895 4294967295 134512640 135730672 3221224560 3221214912 134776110 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 32414 24895 301 301 0 32113 0 vsize: 129656 [startup+50.0015 s] Raw data (loadavg): 0.91 0.91 0.89 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 51932 0 0 0 4876 124 0 0 25 0 1 0 966661555 158666752 29564 4294967295 134512640 135730672 3221224560 3221215332 135282202 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38737 29565 301 301 0 38436 0 vsize: 154948 [startup+60.0017 s] Raw data (loadavg): 0.92 0.91 0.89 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 56716 0 0 0 5864 136 0 0 25 0 1 0 966661555 172597248 33403 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42138 33403 301 301 0 41837 0 vsize: 168552 [startup+70.0018 s] Raw data (loadavg): 0.93 0.91 0.90 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 57934 0 0 0 6861 139 0 0 25 0 1 0 966661555 174014464 33722 4294967295 134512640 135730672 3221224560 3221222888 134739217 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42484 33722 301 301 0 42183 0 vsize: 169936 [startup+80.0029 s] Raw data (loadavg): 0.94 0.92 0.90 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 58727 0 0 0 7858 142 0 0 25 0 1 0 966661555 177922048 34515 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43438 34515 301 301 0 43137 0 vsize: 173752 [startup+90.0032 s] Raw data (loadavg): 0.95 0.92 0.90 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 60096 0 0 0 8855 146 0 0 25 0 1 0 966661555 180240384 34985 4294967295 134512640 135730672 3221224560 3221223216 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44004 34985 301 301 0 43703 0 vsize: 176016 [startup+100.003 s] Raw data (loadavg): 0.96 0.92 0.90 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 60361 0 0 0 9854 147 0 0 25 0 1 0 966661555 181518336 35250 4294967295 134512640 135730672 3221224560 3221222976 134741558 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44316 35250 301 301 0 44015 0 vsize: 177264 [startup+110.003 s] Raw data (loadavg): 0.97 0.92 0.90 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 61469 0 0 0 10850 151 0 0 25 0 1 0 966661555 182460416 35426 4294967295 134512640 135730672 3221224560 3221223216 134734780 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44546 35426 301 301 0 44245 0 vsize: 178184 [startup+120.004 s] Raw data (loadavg): 0.97 0.92 0.90 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 62663 0 0 0 11847 155 0 0 25 0 1 0 966661555 187359232 36620 4294967295 134512640 135730672 3221224560 3221222720 134768821 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45742 36620 301 301 0 45441 0 vsize: 182968 [startup+130.005 s] Raw data (loadavg): 0.97 0.93 0.90 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 62716 0 0 0 12846 157 0 0 25 0 1 0 966661555 183947264 35774 4294967295 134512640 135730672 3221224560 3221222880 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44909 35774 301 301 0 44608 0 vsize: 179636 [startup+140.005 s] Raw data (loadavg): 0.98 0.93 0.90 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 63809 0 0 0 13842 160 0 0 25 0 1 0 966661555 185225216 35968 4294967295 134512640 135730672 3221224560 3221223056 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45221 35968 301 301 0 44920 0 vsize: 180884 [startup+150.005 s] Raw data (loadavg): 0.98 0.93 0.90 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 64049 0 0 0 14840 163 0 0 25 0 1 0 966661555 186437632 36175 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45517 36175 301 301 0 45216 0 vsize: 182068 [startup+160.005 s] Raw data (loadavg): 0.98 0.93 0.90 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 65093 0 0 0 15837 166 0 0 25 0 1 0 966661555 187113472 36320 4294967295 134512640 135730672 3221224560 3221223056 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45682 36320 301 301 0 45381 0 vsize: 182728 [startup+170.005 s] Raw data (loadavg): 0.98 0.93 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 65290 0 0 0 16836 167 0 0 25 0 1 0 966661555 188051456 36484 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45911 36484 301 301 0 45610 0 vsize: 183644 [startup+180.005 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 65522 0 0 0 17835 169 0 0 25 0 1 0 966661555 189128704 36683 4294967295 134512640 135730672 3221224560 3221222896 134739215 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46174 36683 301 301 0 45873 0 vsize: 184696 [startup+190.005 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 66516 0 0 0 18831 173 0 0 25 0 1 0 966661555 189394944 36745 4294967295 134512640 135730672 3221224560 3221223184 134748138 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46239 36745 301 301 0 45938 0 vsize: 184956 [startup+200.005 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 66865 0 0 0 19830 174 0 0 25 0 1 0 966661555 190316544 36896 4294967295 134512640 135730672 3221224560 3221223056 134747460 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46464 36896 301 301 0 46163 0 vsize: 185856 [startup+210.006 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 68064 0 0 0 20827 178 0 0 25 0 1 0 966661555 191246336 37064 4294967295 134512640 135730672 3221224560 3221222880 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46691 37064 301 301 0 46390 0 vsize: 186764 [startup+220.006 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 68253 0 0 0 21826 179 0 0 25 0 1 0 966661555 192045056 37187 4294967295 134512640 135730672 3221224560 3221223212 134748060 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46886 37187 301 301 0 46585 0 vsize: 187544 [startup+230.006 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 68385 0 0 0 22825 180 0 0 25 0 1 0 966661555 192307200 37253 4294967295 134512640 135730672 3221224560 3221223216 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46950 37253 301 301 0 46649 0 vsize: 187800 [startup+240.006 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 69548 0 0 0 23822 184 0 0 25 0 1 0 966661555 193363968 37385 4294967295 134512640 135730672 3221224560 3221223216 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47208 37385 301 301 0 46907 0 vsize: 188832 [startup+250.007 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 69650 0 0 0 24821 185 0 0 25 0 1 0 966661555 193904640 37487 4294967295 134512640 135730672 3221224560 3221223216 134734835 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47340 37487 301 301 0 47039 0 vsize: 189360 [startup+260.007 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 70690 0 0 0 25818 188 0 0 25 0 1 0 966661555 194306048 37595 4294967295 134512640 135730672 3221224560 3221223056 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47438 37595 301 301 0 47137 0 vsize: 189752 [startup+270.008 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 70828 0 0 0 26818 189 0 0 25 0 1 0 966661555 194707456 37700 4294967295 134512640 135730672 3221224560 3221223056 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47536 37700 301 301 0 47235 0 vsize: 190144 [startup+280.009 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 71760 0 0 0 27815 191 0 0 25 0 1 0 966661555 198389760 38632 4294967295 134512640 135730672 3221224560 3221222696 134765477 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48435 38632 301 301 0 48134 0 vsize: 193740 [startup+290.008 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 71811 0 0 0 28815 192 0 0 25 0 1 0 966661555 194904064 37784 4294967295 134512640 135730672 3221224560 3221223248 134748554 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47584 37784 301 301 0 47283 0 vsize: 190336 [startup+300.009 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 71956 0 0 0 29813 194 0 0 25 0 1 0 966661555 195649536 37929 4294967295 134512640 135730672 3221224560 3221223056 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47766 37929 301 301 0 47465 0 vsize: 191064 [startup+310.009 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 71999 0 0 0 30813 195 0 0 25 0 1 0 966661555 195919872 37972 4294967295 134512640 135730672 3221224560 3221223056 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47832 37972 301 301 0 47531 0 vsize: 191328 [startup+320.009 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 72901 0 0 0 31810 198 0 0 25 0 1 0 966661555 199602176 38874 4294967295 134512640 135730672 3221224560 3221222696 134765477 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48731 38874 301 301 0 48430 0 vsize: 194924 [startup+330.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 72981 0 0 0 32810 199 0 0 25 0 1 0 966661555 196182016 37989 4294967295 134512640 135730672 3221224560 3221223216 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47896 37989 301 301 0 47595 0 vsize: 191584 [startup+340.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 73019 0 0 0 33808 200 0 0 25 0 1 0 966661555 196317184 38027 4294967295 134512640 135730672 3221224560 3221223056 134747741 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47929 38027 301 301 0 47628 0 vsize: 191716 [startup+350.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 73055 0 0 0 34808 201 0 0 25 0 1 0 966661555 196317184 38063 4294967295 134512640 135730672 3221224560 3221222880 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47929 38063 301 301 0 47628 0 vsize: 191716 [startup+360.01 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 73981 0 0 0 35805 204 0 0 25 0 1 0 966661555 196317184 38090 4294967295 134512640 135730672 3221224560 3221223056 134747823 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47929 38090 301 301 0 47628 0 vsize: 191716 [startup+370.01 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 74103 0 0 0 36804 205 0 0 25 0 1 0 966661555 196849664 38179 4294967295 134512640 135730672 3221224560 3221223056 134747647 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48059 38179 301 301 0 47758 0 vsize: 192236 [startup+380.01 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 74116 0 0 0 37803 207 0 0 25 0 1 0 966661555 196849664 38192 4294967295 134512640 135730672 3221224560 3221223056 134747463 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48059 38192 301 301 0 47758 0 vsize: 192236 [startup+390.01 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 75055 0 0 0 38801 209 0 0 25 0 1 0 966661555 196984832 38232 4294967295 134512640 135730672 3221224560 3221223072 135283010 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48092 38232 301 301 0 47791 0 vsize: 192368 [startup+400.01 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 75065 0 0 0 39800 210 0 0 25 0 1 0 966661555 196984832 38242 4294967295 134512640 135730672 3221224560 3221222880 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48092 38242 301 301 0 47791 0 vsize: 192368 [startup+410.01 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 75075 0 0 0 40799 212 0 0 25 0 1 0 966661555 196984832 38252 4294967295 134512640 135730672 3221224560 3221222976 134741588 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48092 38252 301 301 0 47791 0 vsize: 192368 [startup+420.011 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 76029 0 0 0 41797 214 0 0 25 0 1 0 966661555 197251072 38307 4294967295 134512640 135730672 3221224560 3221223216 134734835 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48157 38307 301 301 0 47856 0 vsize: 192628 [startup+430.011 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 77000 0 0 0 42794 217 0 0 25 0 1 0 966661555 201064448 39245 4294967295 134512640 135730672 3221224560 3221222696 134765477 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49088 39245 301 301 0 48787 0 vsize: 196352 [startup+440.011 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 77002 0 0 0 43794 218 0 0 25 0 1 0 966661555 197382144 38348 4294967295 134512640 135730672 3221224560 3221222892 134739224 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48189 38348 301 301 0 47888 0 vsize: 192756 [startup+450.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 77057 0 0 0 44794 218 0 0 25 0 1 0 966661555 197513216 38370 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48221 38370 301 301 0 47920 0 vsize: 192884 [startup+460.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 77957 0 0 0 45791 221 0 0 25 0 1 0 966661555 197513216 38371 4294967295 134512640 135730672 3221224560 3221223056 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48221 38371 301 301 0 47920 0 vsize: 192884 [startup+470.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 77962 0 0 0 46790 222 0 0 25 0 1 0 966661555 197513216 38376 4294967295 134512640 135730672 3221224560 3221223056 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48221 38376 301 301 0 47920 0 vsize: 192884 [startup+480.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 78116 0 0 0 47789 223 0 0 25 0 1 0 966661555 198176768 38497 4294967295 134512640 135730672 3221224560 3221223072 134745860 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48383 38497 301 301 0 48082 0 vsize: 193532 [startup+490.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 79036 0 0 0 48787 226 0 0 25 0 1 0 966661555 198176768 38518 4294967295 134512640 135730672 3221224560 3221223216 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48383 38518 301 301 0 48082 0 vsize: 193532 [startup+500.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 79259 0 0 0 49786 228 0 0 25 0 1 0 966661555 198836224 38642 4294967295 134512640 135730672 3221224560 3221223056 134747657 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48544 38642 301 301 0 48243 0 vsize: 194176 [startup+510.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 80259 0 0 0 50783 231 0 0 25 0 1 0 966661555 202915840 39609 4294967295 134512640 135730672 3221224560 3221222712 134765477 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49540 39609 301 301 0 49239 0 vsize: 198160 [startup+520.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 80271 0 0 0 51782 232 0 0 25 0 1 0 966661555 199233536 38722 4294967295 134512640 135730672 3221224560 3221223184 134748145 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48641 38722 301 301 0 48340 0 vsize: 194564 [startup+530.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 80282 0 0 0 52781 233 0 0 25 0 1 0 966661555 199233536 38733 4294967295 134512640 135730672 3221224560 3221223216 134734761 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48641 38733 301 301 0 48340 0 vsize: 194564 [startup+540.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 81215 0 0 0 53779 235 0 0 25 0 1 0 966661555 199368704 38767 4294967295 134512640 135730672 3221224560 3221223056 134747970 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48674 38767 301 301 0 48373 0 vsize: 194696 [startup+550.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 82127 0 0 0 54777 238 0 0 25 0 1 0 966661555 203051008 39679 4294967295 134512640 135730672 3221224560 3221222736 134772793 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49573 39679 301 301 0 49272 0 vsize: 198292 [startup+560.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 82130 0 0 0 55776 239 0 0 25 0 1 0 966661555 199368704 38783 4294967295 134512640 135730672 3221224560 3221223056 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48674 38783 301 301 0 48373 0 vsize: 194696 [startup+570.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 82139 0 0 0 56775 240 0 0 25 0 1 0 966661555 199368704 38792 4294967295 134512640 135730672 3221224560 3221223216 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48674 38792 301 301 0 48373 0 vsize: 194696 [startup+580.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 83052 0 0 0 57773 243 0 0 25 0 1 0 966661555 199368704 38806 4294967295 134512640 135730672 3221224560 3221223180 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48674 38806 301 301 0 48373 0 vsize: 194696 [startup+590.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 83165 0 0 0 58772 245 0 0 25 0 1 0 966661555 199630848 38853 4294967295 134512640 135730672 3221224560 3221223056 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48738 38853 301 301 0 48437 0 vsize: 194952 [startup+600.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 84070 0 0 0 59769 247 0 0 25 0 1 0 966661555 199630848 38859 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48738 38859 301 301 0 48437 0 vsize: 194952 [startup+610.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 84139 0 0 0 60769 248 0 0 25 0 1 0 966661555 199761920 38895 4294967295 134512640 135730672 3221224560 3221222884 134732444 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48770 38895 301 301 0 48469 0 vsize: 195080 [startup+620.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 84331 0 0 0 61766 251 0 0 25 0 1 0 966661555 200290304 38988 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48899 38988 301 301 0 48598 0 vsize: 195596 [startup+630.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 84357 0 0 0 62766 252 0 0 25 0 1 0 966661555 200290304 39014 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48899 39014 301 301 0 48598 0 vsize: 195596 [startup+640.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 84372 0 0 0 63765 253 0 0 25 0 1 0 966661555 200290304 39029 4294967295 134512640 135730672 3221224560 3221223056 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48899 39029 301 301 0 48598 0 vsize: 195596 [startup+650.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 85321 0 0 0 64762 256 0 0 25 0 1 0 966661555 200421376 39046 4294967295 134512640 135730672 3221224560 3221223056 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48931 39046 301 301 0 48630 0 vsize: 195724 [startup+660.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 85382 0 0 0 65761 257 0 0 25 0 1 0 966661555 200753152 39107 4294967295 134512640 135730672 3221224560 3221222880 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49012 39107 301 301 0 48711 0 vsize: 196048 [startup+670.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 86316 0 0 0 66758 261 0 0 25 0 1 0 966661555 200916992 39142 4294967295 134512640 135730672 3221224560 3221223216 134734780 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49052 39142 301 301 0 48751 0 vsize: 196208 [startup+680.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 86382 0 0 0 67757 263 0 0 25 0 1 0 966661555 201080832 39208 4294967295 134512640 135730672 3221224560 3221223216 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49092 39208 301 301 0 48791 0 vsize: 196368 [startup+690.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 87289 0 0 0 68753 266 0 0 25 0 1 0 966661555 201080832 39216 4294967295 134512640 135730672 3221224560 3221223056 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49092 39216 301 301 0 48791 0 vsize: 196368 [startup+700.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 87386 0 0 0 69752 268 0 0 25 0 1 0 966661555 201342976 39247 4294967295 134512640 135730672 3221224560 3221223216 134734835 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49156 39247 301 301 0 48855 0 vsize: 196624 [startup+710.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 87458 0 0 0 70750 270 0 0 25 0 1 0 966661555 201670656 39319 4294967295 134512640 135730672 3221224560 3221223056 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49236 39319 301 301 0 48935 0 vsize: 196944 [startup+720.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 88384 0 0 0 71747 273 0 0 25 0 1 0 966661555 201859072 39346 4294967295 134512640 135730672 3221224560 3221223180 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49282 39346 301 301 0 48981 0 vsize: 197128 [startup+730.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 88387 0 0 0 72746 275 0 0 25 0 1 0 966661555 201859072 39349 4294967295 134512640 135730672 3221224560 3221222880 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49282 39349 301 301 0 48981 0 vsize: 197128 [startup+740.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 89309 0 0 0 73743 278 0 0 25 0 1 0 966661555 201859072 39372 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49282 39372 301 301 0 48981 0 vsize: 197128 [startup+750.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 89341 0 0 0 74742 279 0 0 25 0 1 0 966661555 201994240 39404 4294967295 134512640 135730672 3221224560 3221223216 134734837 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49315 39404 301 301 0 49014 0 vsize: 197260 [startup+760.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 90293 0 0 0 75738 283 0 0 25 0 1 0 966661555 202264576 39457 4294967295 134512640 135730672 3221224560 3221222880 134732479 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49381 39457 301 301 0 49080 0 vsize: 197524 [startup+770.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 90298 0 0 0 76737 284 0 0 25 0 1 0 966661555 202395648 39462 4294967295 134512640 135730672 3221224560 3221223248 134748554 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49413 39462 301 301 0 49112 0 vsize: 197652 [startup+780.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 91210 0 0 0 77734 287 0 0 25 0 1 0 966661555 202395648 39475 4294967295 134512640 135730672 3221224560 3221222880 134732837 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49413 39475 301 301 0 49112 0 vsize: 197652 [startup+790.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 91232 0 0 0 78733 288 0 0 25 0 1 0 966661555 202395648 39497 4294967295 134512640 135730672 3221224560 3221223056 134747519 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49413 39497 301 301 0 49112 0 vsize: 197652 [startup+800.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 92162 0 0 0 79730 292 0 0 25 0 1 0 966661555 202530816 39528 4294967295 134512640 135730672 3221224560 3221223208 134748061 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49446 39528 301 301 0 49145 0 vsize: 197784 [startup+810.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 92182 0 0 0 80730 293 0 0 25 0 1 0 966661555 202665984 39548 4294967295 134512640 135730672 3221224560 3221223056 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49479 39548 301 301 0 49178 0 vsize: 197916 [startup+820.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 93089 0 0 0 81726 296 0 0 25 0 1 0 966661555 202665984 39556 4294967295 134512640 135730672 3221224560 3221222896 134739213 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49479 39556 301 301 0 49178 0 vsize: 197916 [startup+830.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 93132 0 0 0 82725 298 0 0 25 0 1 0 966661555 202977280 39599 4294967295 134512640 135730672 3221224560 3221222880 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49555 39599 301 301 0 49254 0 vsize: 198220 [startup+840.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 94038 0 0 0 83722 301 0 0 25 0 1 0 966661555 202977280 39606 4294967295 134512640 135730672 3221224560 3221222896 134739213 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49555 39606 301 301 0 49254 0 vsize: 198220 [startup+850.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 94046 0 0 0 84721 302 0 0 25 0 1 0 966661555 202977280 39614 4294967295 134512640 135730672 3221224560 3221223160 134747441 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49555 39614 301 301 0 49254 0 vsize: 198220 [startup+860.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 94947 0 0 0 85719 305 0 0 25 0 1 0 966661555 202977280 39616 4294967295 134512640 135730672 3221224560 3221223056 134747610 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49555 39616 301 301 0 49254 0 vsize: 198220 [startup+870.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 95904 0 0 0 86716 307 0 0 25 0 1 0 966661555 203108352 39641 4294967295 134512640 135730672 3221224560 3221223056 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49587 39641 301 301 0 49286 0 vsize: 198348 [startup+880.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 95912 0 0 0 87716 309 0 0 25 0 1 0 966661555 203108352 39649 4294967295 134512640 135730672 3221224560 3221223180 134730931 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49587 39649 301 301 0 49286 0 vsize: 198348 [startup+890.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 95946 0 0 0 88714 310 0 0 25 0 1 0 966661555 203243520 39683 4294967295 134512640 135730672 3221224560 3221223056 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49620 39683 301 301 0 49319 0 vsize: 198480 [startup+900.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 96856 0 0 0 89711 313 0 0 25 0 1 0 966661555 203243520 39694 4294967295 134512640 135730672 3221224560 3221223056 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49620 39694 301 301 0 49319 0 vsize: 198480 [startup+910.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 96914 0 0 0 90711 315 0 0 25 0 1 0 966661555 203374592 39719 4294967295 134512640 135730672 3221224560 3221223056 134747823 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49652 39719 301 301 0 49351 0 vsize: 198608 [startup+920.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 97899 0 0 0 91708 317 0 0 25 0 1 0 966661555 203702272 39772 4294967295 134512640 135730672 3221224560 3221223056 134747570 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49732 39772 301 301 0 49431 0 vsize: 198928 [startup+930.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 97901 0 0 0 92708 318 0 0 25 0 1 0 966661555 203702272 39774 4294967295 134512640 135730672 3221224560 3221223056 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49732 39774 301 301 0 49431 0 vsize: 198928 [startup+940.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 97911 0 0 0 93708 319 0 0 25 0 1 0 966661555 203849728 39784 4294967295 134512640 135730672 3221224560 3221223056 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49768 39784 301 301 0 49467 0 vsize: 199072 [startup+950.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 98819 0 0 0 94705 322 0 0 25 0 1 0 966661555 203849728 39793 4294967295 134512640 135730672 3221224560 3221223216 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49768 39793 301 301 0 49467 0 vsize: 199072 [startup+960.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 99729 0 0 0 95703 324 0 0 25 0 1 0 966661555 203849728 39804 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49768 39804 301 301 0 49467 0 vsize: 199072 [startup+970.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 99743 0 0 0 96703 325 0 0 25 0 1 0 966661555 203849728 39818 4294967295 134512640 135730672 3221224560 3221223056 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49768 39818 301 301 0 49467 0 vsize: 199072 [startup+980.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 100662 0 0 0 97700 328 0 0 25 0 1 0 966661555 207667200 40737 4294967295 134512640 135730672 3221224560 3221222720 134768808 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50700 40737 301 301 0 50399 0 vsize: 202800 [startup+990.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 100663 0 0 0 98700 328 0 0 25 0 1 0 966661555 203984896 39839 4294967295 134512640 135730672 3221224560 3221223056 134747608 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49801 39839 301 301 0 49500 0 vsize: 199204 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 100666 0 0 0 99700 329 0 0 25 0 1 0 966661555 203984896 39842 4294967295 134512640 135730672 3221224560 3221223180 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49801 39842 301 301 0 49500 0 vsize: 199204 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 100708 0 0 0 100699 330 0 0 25 0 1 0 966661555 204251136 39884 4294967295 134512640 135730672 3221224560 3221223180 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49866 39884 301 301 0 49565 0 vsize: 199464 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 100751 0 0 0 101698 331 0 0 25 0 1 0 966661555 204447744 39927 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49914 39927 301 301 0 49613 0 vsize: 199656 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 101699 0 0 0 102696 334 0 0 25 0 1 0 966661555 204578816 39943 4294967295 134512640 135730672 3221224560 3221223056 134747592 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49946 39943 301 301 0 49645 0 vsize: 199784 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 101713 0 0 0 103695 335 0 0 25 0 1 0 966661555 204578816 39957 4294967295 134512640 135730672 3221224560 3221223180 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49946 39957 301 301 0 49645 0 vsize: 199784 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 102628 0 0 0 104693 338 0 0 25 0 1 0 966661555 204578816 39973 4294967295 134512640 135730672 3221224560 3221223216 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49946 39973 301 301 0 49645 0 vsize: 199784 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 102651 0 0 0 105692 338 0 0 25 0 1 0 966661555 204578816 39996 4294967295 134512640 135730672 3221224560 3221223152 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49946 39996 301 301 0 49645 0 vsize: 199784 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 103577 0 0 0 106690 341 0 0 25 0 1 0 966661555 204578816 40023 4294967295 134512640 135730672 3221224560 3221222880 134732515 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49946 40023 301 301 0 49645 0 vsize: 199784 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 103596 0 0 0 107690 341 0 0 25 0 1 0 966661555 204578816 40042 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49946 40042 301 301 0 49645 0 vsize: 199784 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 103608 0 0 0 108690 342 0 0 25 0 1 0 966661555 204578816 40054 4294967295 134512640 135730672 3221224560 3221223056 134747808 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49946 40054 301 301 0 49645 0 vsize: 199784 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 104555 0 0 0 109687 345 0 0 25 0 1 0 966661555 204775424 40102 4294967295 134512640 135730672 3221224560 3221223056 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49994 40102 301 301 0 49693 0 vsize: 199976 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 104589 0 0 0 110687 346 0 0 25 0 1 0 966661555 204775424 40136 4294967295 134512640 135730672 3221224560 3221223056 134747516 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49994 40136 301 301 0 49693 0 vsize: 199976 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 105511 0 0 0 111684 349 0 0 25 0 1 0 966661555 204972032 40159 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50042 40159 301 301 0 49741 0 vsize: 200168 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 105548 0 0 0 112683 350 0 0 25 0 1 0 966661555 204972032 40196 4294967295 134512640 135730672 3221224560 3221223216 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50042 40196 301 301 0 49741 0 vsize: 200168 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 105572 0 0 0 113683 350 0 0 25 0 1 0 966661555 204972032 40220 4294967295 134512640 135730672 3221224560 3221222880 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50042 40220 301 301 0 49741 0 vsize: 200168 [startup+1150.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 105627 0 0 0 114682 352 0 0 25 0 1 0 966661555 205103104 40242 4294967295 134512640 135730672 3221224560 3221223056 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50074 40242 301 301 0 49773 0 vsize: 200296 [startup+1160.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 105637 0 0 0 115682 352 0 0 25 0 1 0 966661555 205103104 40252 4294967295 134512640 135730672 3221224560 3221223056 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50074 40252 301 301 0 49773 0 vsize: 200296 [startup+1170.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 106581 0 0 0 116680 354 0 0 25 0 1 0 966661555 205234176 40264 4294967295 134512640 135730672 3221224560 3221222808 135284754 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50106 40264 301 301 0 49805 0 vsize: 200424 [startup+1180.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 106674 0 0 0 117679 356 0 0 25 0 1 0 966661555 205496320 40291 4294967295 134512640 135730672 3221224560 3221223056 134747587 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50170 40291 301 301 0 49869 0 vsize: 200680 [startup+1190.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 106756 0 0 0 118678 357 0 0 25 0 1 0 966661555 206057472 40340 4294967295 134512640 135730672 3221224560 3221223180 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50307 40340 301 301 0 50006 0 vsize: 201228 [startup+1200.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13057 Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 107702 0 0 0 119675 360 0 0 25 0 1 0 966661555 206323712 40387 4294967295 134512640 135730672 3221224560 3221222880 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50372 40387 301 301 0 50071 0 vsize: 201488 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1201.49 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 13057 Raw data (stat): 13055 (pb2sat-v2) Z 13054 25568 25567 0 -1 12 107704 0 0 0 119812 368 0 0 25 0 1 0 966661555 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 0 Real time (s): 1201.49 CPU time (s): 1201.82 CPU user time (s): 1198.13 CPU system time (s): 3.68844 CPU usage (%): 100.027 Max. virtual memory (Kb): 202800 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####