Name | normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.6.accl.ucl.opb |
MD5SUM | f306f9e77db4c563a096b79aebdedeaa |
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 | 71 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 261 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 23621 |
Total number of constraints | 67526 |
Number of constraints which are clauses | 65126 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2400 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 13 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-06-16 01:20:03 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25397 boxname=wulflinc5 idbench=299 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: f306f9e77db4c563a096b79aebdedeaa /oldhome/oroussel/tmp/wulflinc5/normalized-ooo.burch_dill.6.accl.ucl.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-ooo.burch_dill.6.accl.ucl.opb IDLAUNCH: 25397 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 814248 kB Buffers: 34212 kB Cached: 162696 kB SwapCached: 700 kB Active: 74852 kB Inactive: 124200 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 813996 kB SwapTotal: 2097136 kB SwapFree: 2095508 kB Dirty: 4 kB Writeback: 0 kB Mapped: 5156 kB Slab: 15540 kB Committed_AS: 63716 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 01:40:06 (client local time) WITH STATUS 0 IN 1200.48 SECONDS stats: 25397 7 1200.48 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 2445/71607 Time: 12.6101/86400 c Decision: 2445/71607 Time: 20.6089/86400 c Decision: 2446/71607 Time: 30.0024/86400 c Decision: 2458/71607 Time: 48.7246/86400 c Decision: 2458/71607 Time: 56.6824/86400 c Decision: 2458/71607 Time: 66.8358/86400 c Decision: 2458/71607 Time: 76.8683/86400 c Decision: 2458/71607 Time: 85.223/86400 c Decision: 2458/71607 Time: 95.1215/86400 c Decision: 2458/71607 Time: 104.895/86400 c Decision: 2458/71607 Time: 114.261/86400 c Decision: 2460/71607 Time: 130.095/86400 c Decision: 2470/71607 Time: 147.153/86400 c Decision: 2470/71607 Time: 164.113/86400 c Decision: 2470/71607 Time: 178.478/86400 c Decision: 3566/71607 Time: 193.403/86400 c Decision: 5259/71607 Time: 211.182/86400 c Decision: 5431/71607 Time: 236.876/86400 c Decision: 5440/71607 Time: 291.305/86400 c Decision: 5440/71607 Time: 308.215/86400 c Decision: 5440/71607 Time: 327.375/86400 c Decision: 5471/71607 Time: 379.543/86400 c Decision: 5471/71607 Time: 396.631/86400 c Decision: 5471/71607 Time: 413.77/86400 c Decision: 5471/71607 Time: 429.497/86400 c Decision: 5471/71607 Time: 439.175/86400 c Decision: 5471/71607 Time: 449.441/86400 c Decision: 5471/71607 Time: 458.072/86400 c Decision: 5471/71607 Time: 470.843/86400 c Decision: 5471/71607 Time: 483.271/86400 c Decision: 5471/71607 Time: 495.118/86400 c Decision: 5471/71607 Time: 503.762/86400 c Decision: 5471/71607 Time: 511.308/86400 c Decision: 5471/71607 Time: 517.953/86400 c Decision: 5471/71607 Time: 526.008/86400 c Decision: 5471/71607 Time: 533.463/86400 c Decision: 5471/71607 Time: 543.446/86400 c Decision: 5471/71607 Time: 549.714/86400 c Decision: 5471/71607 Time: 558.073/86400 c Decision: 5471/71607 Time: 564.452/86400 c Decision: 5475/71607 Time: 579.251/86400 c Decision: 5475/71607 Time: 587.674/86400 c Decision: 5475/71607 Time: 595.71/86400 c Decision: 7435/71607 Time: 604.019/86400 c Decision: 7435/71607 Time: 612.156/86400 c Decision: 7435/71607 Time: 621.76/86400 c Decision: 7435/71607 Time: 630.19/86400 c Decision: 7435/71607 Time: 638.155/86400 c Decision: 7436/71607 Time: 649.555/86400 c Decision: 7436/71607 Time: 658.182/86400 c Decision: 7436/71607 Time: 666.723/86400 c Decision: 7436/71607 Time: 676.181/86400 c Decision: 7436/71607 Time: 684.707/86400 c Decision: 7436/71607 Time: 692.753/86400 c Decision: 7436/71607 Time: 703.756/86400 c Decision: 7436/71607 Time: 711.018/86400 c Decision: 7436/71607 Time: 723.021/86400 c Decision: 7436/71607 Time: 734.931/86400 c Decision: 7436/71607 Time: 745.902/86400 c Decision: 7436/71607 Time: 757.68/86400 c Decision: 7436/71607 Time: 768.865/86400 c Decision: 7436/71607 Time: 779.115/86400 c Decision: 7436/71607 Time: 791.466/86400 c Decision: 7445/71607 Time: 811.98/86400 c Decision: 7445/71607 Time: 829.129/86400 c Decision: 7461/71607 Time: 878.279/86400 c Decision: 7461/71607 Time: 903.571/86400 c Decision: 7461/71607 Time: 928.369/86400 c Decision: 7461/71607 Time: 946.379/86400 c Decision: 7461/71607 Time: 965.094/86400 c Decision: 7461/71607 Time: 982.443/86400 c Decision: 7461/71607 Time: 1003.35/86400 c Decision: 7461/71607 Time: 1029.14/86400 c Decision: 7464/71607 Time: 1067.52/86400 c Decision: 7464/71607 Time: 1090.01/86400 c Decision: 7464/71607 Time: 1111.29/86400 c Decision: 7464/71607 Time: 1129.91/86400 c Decision: 7464/71607 Time: 1152.51/86400 c Decision: 7464/71607 Time: 1172.35/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.64 0.81 0.86 2/54 6774 Raw data (stat): 6774 (runsolver) R 6773 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 966753857 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.0012 s] Raw data (loadavg): 0.70 0.82 0.86 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 9668 0 0 0 976 22 0 0 25 0 1 0 966753857 30076928 5614 4294967295 134512640 135730672 3221224576 3221223264 134748426 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7343 5614 301 301 0 7042 0 vsize: 29372 [startup+20.0015 s] Raw data (loadavg): 0.74 0.82 0.86 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 10462 0 0 0 1973 25 0 0 25 0 1 0 966753857 33738752 6408 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8237 6408 301 301 0 7936 0 vsize: 32948 [startup+30.0025 s] Raw data (loadavg): 0.78 0.83 0.86 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 11096 0 0 0 2972 27 0 0 25 0 1 0 966753857 35573760 6762 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8685 6762 301 301 0 8384 0 vsize: 34740 [startup+40.0018 s] Raw data (loadavg): 0.81 0.83 0.86 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 11459 0 0 0 3970 29 0 0 25 0 1 0 966753857 36556800 6985 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8925 6985 301 301 0 8624 0 vsize: 35700 [startup+50.0026 s] Raw data (loadavg): 0.84 0.84 0.87 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 11834 0 0 0 4969 31 0 0 25 0 1 0 966753857 38559744 7360 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 9414 7360 301 301 0 9113 0 vsize: 37656 [startup+60.0028 s] Raw data (loadavg): 0.87 0.84 0.87 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 12131 0 0 0 5966 33 0 0 25 0 1 0 966753857 39235584 7517 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9579 7517 301 301 0 9278 0 vsize: 38316 [startup+70.0031 s] Raw data (loadavg): 0.89 0.85 0.87 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 12363 0 0 0 6964 35 0 0 25 0 1 0 966753857 39505920 7609 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 9645 7609 301 301 0 9344 0 vsize: 38580 [startup+80.0038 s] Raw data (loadavg): 0.90 0.85 0.87 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 12614 0 0 0 7963 36 0 0 25 0 1 0 966753857 40108032 7720 4294967295 134512640 135730672 3221224576 3221223232 134748661 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 9792 7720 301 301 0 9491 0 vsize: 39168 [startup+90.0039 s] Raw data (loadavg): 0.92 0.86 0.87 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 12807 0 0 0 8961 38 0 0 25 0 1 0 966753857 40378368 7773 4294967295 134512640 135730672 3221224576 3221222896 134732816 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 9858 7773 301 301 0 9557 0 vsize: 39432 [startup+100.004 s] Raw data (loadavg): 0.93 0.86 0.87 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 12975 0 0 0 9960 40 0 0 25 0 1 0 966753857 40378368 7801 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 9858 7801 301 301 0 9557 0 vsize: 39432 [startup+110.004 s] Raw data (loadavg): 0.94 0.86 0.87 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 13139 0 0 0 10958 42 0 0 25 0 1 0 966753857 40378368 7825 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 9858 7825 301 301 0 9557 0 vsize: 39432 [startup+120.004 s] Raw data (loadavg): 0.95 0.87 0.87 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 13382 0 0 0 11956 44 0 0 25 0 1 0 966753857 40648704 7928 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 9924 7928 301 301 0 9623 0 vsize: 39696 [startup+130.004 s] Raw data (loadavg): 0.96 0.87 0.87 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 13602 0 0 0 12954 46 0 0 25 0 1 0 966753857 41054208 8008 4294967295 134512640 135730672 3221224576 3221223072 134747618 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10023 8008 301 301 0 9722 0 vsize: 40092 [startup+140.004 s] Raw data (loadavg): 0.96 0.88 0.87 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 13816 0 0 0 13953 47 0 0 25 0 1 0 966753857 41324544 8082 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10089 8082 301 301 0 9788 0 vsize: 40356 [startup+150.005 s] Raw data (loadavg): 0.97 0.88 0.88 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 13847 0 0 0 14951 49 0 0 25 0 1 0 966753857 41459712 8113 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10122 8113 301 301 0 9821 0 vsize: 40488 [startup+160.005 s] Raw data (loadavg): 0.97 0.88 0.88 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 14031 0 0 0 15950 50 0 0 25 0 1 0 966753857 41594880 8157 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10155 8157 301 301 0 9854 0 vsize: 40620 [startup+170.005 s] Raw data (loadavg): 0.98 0.89 0.88 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 14045 0 0 0 16949 51 0 0 25 0 1 0 966753857 41594880 8171 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10155 8171 301 301 0 9854 0 vsize: 40620 [startup+180.006 s] Raw data (loadavg): 0.98 0.89 0.88 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 14214 0 0 0 17949 52 0 0 25 0 1 0 966753857 41730048 8200 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10188 8200 301 301 0 9887 0 vsize: 40752 [startup+190.006 s] Raw data (loadavg): 0.98 0.89 0.88 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 14394 0 0 0 18947 54 0 0 25 0 1 0 966753857 41865216 8240 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10221 8240 301 301 0 9920 0 vsize: 40884 [startup+200.006 s] Raw data (loadavg): 0.98 0.90 0.88 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 14408 0 0 0 19945 56 0 0 25 0 1 0 966753857 41865216 8254 4294967295 134512640 135730672 3221224576 3221223200 134748208 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10221 8254 301 301 0 9920 0 vsize: 40884 [startup+210.006 s] Raw data (loadavg): 0.99 0.90 0.88 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 14575 0 0 0 20944 57 0 0 25 0 1 0 966753857 42000384 8281 4294967295 134512640 135730672 3221224576 3221222960 134763180 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10254 8281 301 301 0 9953 0 vsize: 41016 [startup+220.005 s] Raw data (loadavg): 0.99 0.90 0.88 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 14717 0 0 0 21943 59 0 0 25 0 1 0 966753857 42573824 8423 4294967295 134512640 135730672 3221224576 3221222736 134769210 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10394 8423 301 301 0 10093 0 vsize: 41576 [startup+230.005 s] Raw data (loadavg): 0.99 0.90 0.88 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 14748 0 0 0 22941 60 0 0 25 0 1 0 966753857 42135552 8314 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10287 8314 301 301 0 9986 0 vsize: 41148 [startup+240.005 s] Raw data (loadavg): 0.99 0.91 0.88 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 14770 0 0 0 23941 61 0 0 25 0 1 0 966753857 42270720 8336 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10320 8336 301 301 0 10019 0 vsize: 41280 [startup+250.005 s] Raw data (loadavg): 0.99 0.91 0.89 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 14937 0 0 0 24939 63 0 0 25 0 1 0 966753857 42405888 8363 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10353 8363 301 301 0 10052 0 vsize: 41412 [startup+260.006 s] Raw data (loadavg): 0.99 0.91 0.89 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 14940 0 0 0 25938 64 0 0 25 0 1 0 966753857 42405888 8366 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10353 8366 301 301 0 10052 0 vsize: 41412 [startup+270.006 s] Raw data (loadavg): 0.99 0.91 0.89 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 14942 0 0 0 26937 66 0 0 25 0 1 0 966753857 42405888 8368 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10353 8368 301 301 0 10052 0 vsize: 41412 [startup+280.007 s] Raw data (loadavg): 0.99 0.92 0.89 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 14952 0 0 0 27936 67 0 0 25 0 1 0 966753857 42405888 8378 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10353 8378 301 301 0 10052 0 vsize: 41412 [startup+290.007 s] Raw data (loadavg): 0.99 0.92 0.89 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 14968 0 0 0 28934 68 0 0 25 0 1 0 966753857 42405888 8394 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10353 8394 301 301 0 10052 0 vsize: 41412 [startup+300.014 s] Raw data (loadavg): 0.99 0.92 0.89 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 15018 0 0 0 29934 70 0 0 25 0 1 0 966753857 42979328 8444 4294967295 134512640 135730672 3221224576 3221222912 134767241 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10493 8454 301 301 0 10192 0 vsize: 41972 [startup+310.015 s] Raw data (loadavg): 0.99 0.92 0.89 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 15132 0 0 0 30931 72 0 0 25 0 1 0 966753857 42405888 8418 4294967295 134512640 135730672 3221224576 3221223072 134747618 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10353 8418 301 301 0 10052 0 vsize: 41412 [startup+320.014 s] Raw data (loadavg): 0.99 0.92 0.89 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 15289 0 0 0 31930 73 0 0 25 0 1 0 966753857 42405888 8435 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10353 8435 301 301 0 10052 0 vsize: 41412 [startup+330.015 s] Raw data (loadavg): 0.99 0.93 0.89 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 15322 0 0 0 32929 74 0 0 25 0 1 0 966753857 46735360 8468 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11410 8468 301 301 0 11109 0 vsize: 45640 [startup+340.015 s] Raw data (loadavg): 0.99 0.93 0.89 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 15333 0 0 0 33928 75 0 0 25 0 1 0 966753857 46735360 8479 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11410 8479 301 301 0 11109 0 vsize: 45640 [startup+350.016 s] Raw data (loadavg): 0.99 0.93 0.89 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 15336 0 0 0 34927 76 0 0 25 0 1 0 966753857 46735360 8482 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11410 8482 301 301 0 11109 0 vsize: 45640 [startup+360.016 s] Raw data (loadavg): 0.99 0.93 0.90 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 15338 0 0 0 35926 78 0 0 25 0 1 0 966753857 46735360 8484 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11410 8484 301 301 0 11109 0 vsize: 45640 [startup+370.017 s] Raw data (loadavg): 0.99 0.93 0.90 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 15341 0 0 0 36925 79 0 0 25 0 1 0 966753857 46735360 8487 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11410 8487 301 301 0 11109 0 vsize: 45640 [startup+380.017 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 15352 0 0 0 37923 82 0 0 25 0 1 0 966753857 46735360 8498 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11410 8498 301 301 0 11109 0 vsize: 45640 [startup+390.017 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 15504 0 0 0 38921 84 0 0 25 0 1 0 966753857 46735360 8510 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11410 8510 301 301 0 11109 0 vsize: 45640 [startup+400.018 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 15516 0 0 0 39920 85 0 0 25 0 1 0 966753857 46735360 8522 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11410 8522 301 301 0 11109 0 vsize: 45640 [startup+410.017 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 15670 0 0 0 40918 87 0 0 25 0 1 0 966753857 46735360 8536 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11410 8536 301 301 0 11109 0 vsize: 45640 [startup+420.017 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 15692 0 0 0 41917 88 0 0 25 0 1 0 966753857 46735360 8558 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11410 8558 301 301 0 11109 0 vsize: 45640 [startup+430.018 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 15857 0 0 0 42915 90 0 0 25 0 1 0 966753857 46735360 8583 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11410 8583 301 301 0 11109 0 vsize: 45640 [startup+440.017 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 16045 0 0 0 43913 92 0 0 25 0 1 0 966753857 46735360 8631 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11410 8631 301 301 0 11109 0 vsize: 45640 [startup+450.017 s] Raw data (loadavg): 0.99 0.95 0.90 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 16371 0 0 0 44912 94 0 0 25 0 1 0 966753857 46735360 8817 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11410 8817 301 301 0 11109 0 vsize: 45640 [startup+460.017 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 16530 0 0 0 45910 96 0 0 25 0 1 0 966753857 46735360 8836 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11410 8836 301 301 0 11109 0 vsize: 45640 [startup+470.017 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 16680 0 0 0 46909 97 0 0 25 0 1 0 966753857 46735360 8846 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11410 8846 301 301 0 11109 0 vsize: 45640 [startup+480.017 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 16872 0 0 0 47908 99 0 0 25 0 1 0 966753857 46735360 8898 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11410 8898 301 301 0 11109 0 vsize: 45640 [startup+490.017 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 16972 0 0 0 48906 101 0 0 25 0 1 0 966753857 46735360 8998 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11410 8998 301 301 0 11109 0 vsize: 45640 [startup+500.018 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 17221 0 0 0 49903 103 0 0 25 0 1 0 966753857 46870528 9107 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11443 9107 301 301 0 11142 0 vsize: 45772 [startup+510.018 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 17450 0 0 0 50901 105 0 0 25 0 1 0 966753857 46870528 9196 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11443 9196 301 301 0 11142 0 vsize: 45772 [startup+520.018 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 17740 0 0 0 51900 107 0 0 25 0 1 0 966753857 47443968 9346 4294967295 134512640 135730672 3221224576 3221222736 134768818 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11583 9346 301 301 0 11282 0 vsize: 46332 [startup+530.018 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 17885 0 0 0 52899 108 0 0 25 0 1 0 966753857 46870528 9211 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11443 9211 301 301 0 11142 0 vsize: 45772 [startup+540.019 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 18141 0 0 0 53897 111 0 0 25 0 1 0 966753857 46870528 9327 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11443 9327 301 301 0 11142 0 vsize: 45772 [startup+550.02 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 18312 0 0 0 54896 112 0 0 25 0 1 0 966753857 47005696 9358 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11476 9358 301 301 0 11175 0 vsize: 45904 [startup+560.019 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 18609 0 0 0 55893 114 0 0 25 0 1 0 966753857 47153152 9375 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11512 9375 301 301 0 11211 0 vsize: 46048 [startup+570.019 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 18755 0 0 0 56892 116 0 0 25 0 1 0 966753857 47153152 9381 4294967295 134512640 135730672 3221224576 3221223072 134747908 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11512 9381 301 301 0 11211 0 vsize: 46048 [startup+580.019 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 19040 0 0 0 57890 118 0 0 25 0 1 0 966753857 47558656 9526 4294967295 134512640 135730672 3221224576 3221222908 134739224 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11611 9526 301 301 0 11310 0 vsize: 46444 [startup+590.019 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 19237 0 0 0 58888 120 0 0 25 0 1 0 966753857 47558656 9583 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11611 9583 301 301 0 11310 0 vsize: 46444 [startup+600.019 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 19414 0 0 0 59887 121 0 0 25 0 1 0 966753857 47697920 9620 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11645 9620 301 301 0 11344 0 vsize: 46580 [startup+610.02 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 19590 0 0 0 60886 123 0 0 25 0 1 0 966753857 47833088 9656 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11678 9656 301 301 0 11377 0 vsize: 46712 [startup+620.02 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 19754 0 0 0 61884 124 0 0 25 0 1 0 966753857 47968256 9680 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11711 9680 301 301 0 11410 0 vsize: 46844 [startup+630.019 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 19908 0 0 0 62883 126 0 0 25 0 1 0 966753857 47968256 9694 4294967295 134512640 135730672 3221224576 3221223088 134746539 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11711 9694 301 301 0 11410 0 vsize: 46844 [startup+640.019 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 20217 0 0 0 63881 128 0 0 25 0 1 0 966753857 48103424 9723 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11744 9723 301 301 0 11443 0 vsize: 46976 [startup+650.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 21898 0 0 0 64877 132 0 0 25 0 1 0 966753857 54394880 9727 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13280 9727 301 301 0 12979 0 vsize: 53120 [startup+660.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 22052 0 0 0 65875 134 0 0 25 0 1 0 966753857 54517760 9741 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13310 9741 301 301 0 13009 0 vsize: 53240 [startup+670.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 22212 0 0 0 66874 135 0 0 25 0 1 0 966753857 54517760 9761 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13310 9761 301 301 0 13009 0 vsize: 53240 [startup+680.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 22368 0 0 0 67873 137 0 0 25 0 1 0 966753857 54517760 9777 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13310 9777 301 301 0 13009 0 vsize: 53240 [startup+690.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 22521 0 0 0 68871 139 0 0 25 0 1 0 966753857 54697984 9790 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13354 9790 301 301 0 13053 0 vsize: 53416 [startup+700.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 22675 0 0 0 69870 141 0 0 25 0 1 0 966753857 54697984 9804 4294967295 134512640 135730672 3221224576 3221223184 134744757 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13354 9804 301 301 0 13053 0 vsize: 53416 [startup+710.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 22841 0 0 0 70868 142 0 0 25 0 1 0 966753857 54833152 9830 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13387 9830 301 301 0 13086 0 vsize: 53548 [startup+720.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 23131 0 0 0 71867 144 0 0 25 0 1 0 966753857 54833152 9840 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13387 9840 301 301 0 13086 0 vsize: 53548 [startup+730.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 23145 0 0 0 72866 145 0 0 25 0 1 0 966753857 54951936 9854 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13416 9854 301 301 0 13115 0 vsize: 53664 [startup+740.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 23331 0 0 0 73865 146 0 0 25 0 1 0 966753857 55222272 9900 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13482 9900 301 301 0 13181 0 vsize: 53928 [startup+750.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 23475 0 0 0 74865 147 0 0 25 0 1 0 966753857 55222272 9904 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13482 9904 301 301 0 13181 0 vsize: 53928 [startup+760.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 23618 0 0 0 75863 149 0 0 25 0 1 0 966753857 55222272 9907 4294967295 134512640 135730672 3221224576 3221223072 134747701 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13482 9907 301 301 0 13181 0 vsize: 53928 [startup+770.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 23763 0 0 0 76862 150 0 0 25 0 1 0 966753857 55222272 9912 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13482 9912 301 301 0 13181 0 vsize: 53928 [startup+780.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 23911 0 0 0 77860 152 0 0 25 0 1 0 966753857 55222272 9920 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13482 9920 301 301 0 13181 0 vsize: 53928 [startup+790.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24069 0 0 0 78858 154 0 0 25 0 1 0 966753857 55361536 9938 4294967295 134512640 135730672 3221224576 3221223072 134747624 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13516 9938 301 301 0 13215 0 vsize: 54064 [startup+800.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24078 0 0 0 79858 154 0 0 25 0 1 0 966753857 55361536 9947 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13516 9947 301 301 0 13215 0 vsize: 54064 [startup+810.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24091 0 0 0 80856 156 0 0 25 0 1 0 966753857 55361536 9960 4294967295 134512640 135730672 3221224576 3221223072 134747856 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13516 9960 301 301 0 13215 0 vsize: 54064 [startup+820.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24103 0 0 0 81855 157 0 0 25 0 1 0 966753857 55361536 9972 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13516 9972 301 301 0 13215 0 vsize: 54064 [startup+830.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24260 0 0 0 82855 158 0 0 25 0 1 0 966753857 55517184 9989 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13554 9989 301 301 0 13253 0 vsize: 54216 [startup+840.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24412 0 0 0 83854 159 0 0 25 0 1 0 966753857 55517184 10001 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13554 10001 301 301 0 13253 0 vsize: 54216 [startup+850.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24419 0 0 0 84853 160 0 0 25 0 1 0 966753857 55517184 10008 4294967295 134512640 135730672 3221224576 3221223072 134747832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13554 10008 301 301 0 13253 0 vsize: 54216 [startup+860.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24444 0 0 0 85851 162 0 0 25 0 1 0 966753857 55652352 10033 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13587 10033 301 301 0 13286 0 vsize: 54348 [startup+870.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24447 0 0 0 86850 164 0 0 25 0 1 0 966753857 55652352 10036 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13587 10036 301 301 0 13286 0 vsize: 54348 [startup+880.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24455 0 0 0 87849 164 0 0 25 0 1 0 966753857 55652352 10044 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13587 10044 301 301 0 13286 0 vsize: 54348 [startup+890.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24600 0 0 0 88848 166 0 0 25 0 1 0 966753857 55652352 10049 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13587 10049 301 301 0 13286 0 vsize: 54348 [startup+900.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24606 0 0 0 89846 168 0 0 25 0 1 0 966753857 55652352 10055 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13587 10055 301 301 0 13286 0 vsize: 54348 [startup+910.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24611 0 0 0 90845 169 0 0 25 0 1 0 966753857 55652352 10060 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13587 10060 301 301 0 13286 0 vsize: 54348 [startup+920.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24754 0 0 0 91843 171 0 0 25 0 1 0 966753857 55762944 10063 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13614 10063 301 301 0 13313 0 vsize: 54456 [startup+930.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24759 0 0 0 92842 172 0 0 25 0 1 0 966753857 55762944 10068 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13614 10068 301 301 0 13313 0 vsize: 54456 [startup+940.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24909 0 0 0 93841 174 0 0 25 0 1 0 966753857 55762944 10078 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13614 10078 301 301 0 13313 0 vsize: 54456 [startup+950.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24915 0 0 0 94839 175 0 0 25 0 1 0 966753857 55762944 10084 4294967295 134512640 135730672 3221224576 3221223000 134730069 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13614 10084 301 301 0 13313 0 vsize: 54456 [startup+960.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 25060 0 0 0 95839 176 0 0 25 0 1 0 966753857 55762944 10089 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13614 10089 301 301 0 13313 0 vsize: 54456 [startup+970.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 25063 0 0 0 96838 177 0 0 25 0 1 0 966753857 55762944 10092 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13614 10092 301 301 0 13313 0 vsize: 54456 [startup+980.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 25226 0 0 0 97837 178 0 0 25 0 1 0 966753857 55898112 10115 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13647 10115 301 301 0 13346 0 vsize: 54588 [startup+990.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 25235 0 0 0 98836 179 0 0 25 0 1 0 966753857 56057856 10124 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13686 10124 301 301 0 13385 0 vsize: 54744 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 25389 0 0 0 99835 181 0 0 25 0 1 0 966753857 56057856 10138 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13686 10138 301 301 0 13385 0 vsize: 54744 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 25391 0 0 0 100834 182 0 0 25 0 1 0 966753857 56057856 10140 4294967295 134512640 135730672 3221224576 3221223264 134748570 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13686 10140 301 301 0 13385 0 vsize: 54744 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 25533 0 0 0 101833 183 0 0 25 0 1 0 966753857 56057856 10142 4294967295 134512640 135730672 3221224576 3221223232 134748656 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13686 10142 301 301 0 13385 0 vsize: 54744 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 25534 0 0 0 102832 184 0 0 25 0 1 0 966753857 56057856 10143 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13686 10143 301 301 0 13385 0 vsize: 54744 [startup+1040.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 25694 0 0 0 103831 186 0 0 25 0 1 0 966753857 56193024 10163 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13719 10163 301 301 0 13418 0 vsize: 54876 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 25696 0 0 0 104829 187 0 0 25 0 1 0 966753857 56193024 10165 4294967295 134512640 135730672 3221224576 3221223200 134748255 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13719 10165 301 301 0 13418 0 vsize: 54876 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 25698 0 0 0 105829 188 0 0 25 0 1 0 966753857 56193024 10167 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13719 10167 301 301 0 13418 0 vsize: 54876 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 25700 0 0 0 106828 189 0 0 25 0 1 0 966753857 56193024 10169 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13719 10169 301 301 0 13418 0 vsize: 54876 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 25843 0 0 0 107826 191 0 0 25 0 1 0 966753857 56193024 10172 4294967295 134512640 135730672 3221224576 3221223072 134747811 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13719 10172 301 301 0 13418 0 vsize: 54876 [startup+1090.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 25846 0 0 0 108825 192 0 0 25 0 1 0 966753857 56193024 10175 4294967295 134512640 135730672 3221224576 3221223072 134747811 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13719 10175 301 301 0 13418 0 vsize: 54876 [startup+1100.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 25989 0 0 0 109825 193 0 0 25 0 1 0 966753857 56193024 10178 4294967295 134512640 135730672 3221224576 3221222824 135284587 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13719 10178 301 301 0 13418 0 vsize: 54876 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 25996 0 0 0 110823 194 0 0 25 0 1 0 966753857 56193024 10185 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13719 10185 301 301 0 13418 0 vsize: 54876 [startup+1120.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 26142 0 0 0 111823 195 0 0 25 0 1 0 966753857 56193024 10191 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13719 10191 301 301 0 13418 0 vsize: 54876 [startup+1130.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 26152 0 0 0 112821 197 0 0 25 0 1 0 966753857 56315904 10201 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13749 10201 301 301 0 13448 0 vsize: 54996 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 26296 0 0 0 113820 199 0 0 25 0 1 0 966753857 56315904 10205 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13749 10205 301 301 0 13448 0 vsize: 54996 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 26303 0 0 0 114819 199 0 0 25 0 1 0 966753857 56315904 10212 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13749 10212 301 301 0 13448 0 vsize: 54996 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 26314 0 0 0 115818 200 0 0 25 0 1 0 966753857 56315904 10223 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13749 10223 301 301 0 13448 0 vsize: 54996 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 26469 0 0 0 116817 202 0 0 25 0 1 0 966753857 56315904 10238 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13749 10238 301 301 0 13448 0 vsize: 54996 [startup+1180.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 26505 0 0 0 117815 204 0 0 25 0 1 0 966753857 56315904 10274 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13749 10274 301 301 0 13448 0 vsize: 54996 [startup+1190.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 26667 0 0 0 118814 205 0 0 25 0 1 0 966753857 56315904 10296 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13749 10296 301 301 0 13448 0 vsize: 54996 [startup+1200.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6774 Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 26687 0 0 0 119813 206 0 0 25 0 1 0 966753857 56315904 10316 4294967295 134512640 135730672 3221224576 3221223072 134747939 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13749 10316 301 301 0 13448 0 vsize: 54996 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.31 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 6774 Raw data (stat): 6774 (pb2sat-v2) Z 6773 7266 7265 0 -1 12 26689 0 0 0 119838 208 0 0 25 0 1 0 966753857 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.31 CPU time (s): 1200.48 CPU user time (s): 1198.39 CPU system time (s): 2.08968 CPU usage (%): 100.014 Max. virtual memory (Kb): 54996 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####