Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb |
MD5SUM | c501a04dd091dbe678ec2743021adc30 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
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 | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 46 |
Number of bits of the biggest sum of numbers | 6 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 15.2037 |
Number of variables | 2970 |
Total number of constraints | 2113 |
Number of constraints which are clauses | 2024 |
Number of constraints which are cardinality constraints (but not clauses) | 89 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 22 |
Maximum length of a constraint | 45 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc19 THE 2005-05-28 10:11:43 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=23982 boxname=wulflinc19 idbench=56 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: c501a04dd091dbe678ec2743021adc30 /oldhome/oroussel/tmp/wulflinc19/normalized-fpga45_44_sat_pb.cnf.cr.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc19/normalized-fpga45_44_sat_pb.cnf.cr.opb IDLAUNCH: 23982 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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: 463448 kB Buffers: 32420 kB Cached: 509260 kB SwapCached: 960 kB Active: 40336 kB Inactive: 503464 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 463196 kB SwapTotal: 2097892 kB SwapFree: 2096060 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4936 kB Slab: 21656 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-28 10:31:46 (client local time) WITH STATUS 0 IN 1200.76 SECONDS stats: 23982 7 1200.76 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... Decision: 2881/8732 Time: 26.405/86400 Decision: 2881/8732 Time: 29.8405/86400 Decision: 2881/8732 Time: 32.685/86400 Decision: 2881/8732 Time: 35.1897/86400 Decision: 2881/8732 Time: 37.7383/86400 Decision: 2881/8732 Time: 41.5607/86400 Decision: 2881/8732 Time: 45.2971/86400 Decision: 2881/8732 Time: 49.2645/86400 Decision: 2881/8732 Time: 53.4819/86400 Decision: 2881/8732 Time: 57.0953/86400 Decision: 2881/8732 Time: 61.2287/86400 Decision: 2881/8732 Time: 63.6033/86400 Decision: 2881/8732 Time: 66.8048/86400 Decision: 2881/8732 Time: 70.4793/86400 Decision: 2881/8732 Time: 74.6856/86400 Decision: 2881/8732 Time: 79.5519/86400 Decision: 2881/8732 Time: 84.0992/86400 Decision: 2881/8732 Time: 87.3827/86400 Decision: 2881/8732 Time: 91.7171/86400 Decision: 2881/8732 Time: 96.3793/86400 Decision: 2881/8732 Time: 99.5849/86400 Decision: 2881/8732 Time: 103.884/86400 Decision: 2881/8732 Time: 108.366/86400 Decision: 2881/8732 Time: 113.116/86400 Decision: 2881/8732 Time: 117.585/86400 Decision: 2881/8732 Time: 121.16/86400 Decision: 2881/8732 Time: 125.8/86400 Decision: 2881/8732 Time: 130.766/86400 Decision: 2881/8732 Time: 134.925/86400 Decision: 2881/8732 Time: 139.723/86400 Decision: 2881/8732 Time: 144.5/86400 Decision: 2881/8732 Time: 149.352/86400 Decision: 2881/8732 Time: 153.828/86400 Decision: 2881/8732 Time: 156.838/86400 Decision: 2881/8732 Time: 161.086/86400 Decision: 2881/8732 Time: 164.862/86400 Decision: 2881/8732 Time: 168.214/86400 Decision: 2881/8732 Time: 172.763/86400 Decision: 2881/8732 Time: 178.711/86400 Decision: 2881/8732 Time: 184.223/86400 Decision: 2881/8732 Time: 189.209/86400 Decision: 2881/8732 Time: 194.497/86400 Decision: 2881/8732 Time: 199.85/86400 Decision: 2881/8732 Time: 205.153/86400 Decision: 2881/8732 Time: 210.747/86400 Decision: 2881/8732 Time: 216.187/86400 Decision: 2881/8732 Time: 220.401/86400 Decision: 2881/8732 Time: 224.835/86400 Decision: 2881/8732 Time: 230.114/86400 Decision: 2881/8732 Time: 235.872/86400 Decision: 2881/8732 Time: 241.545/86400 Decision: 2881/8732 Time: 247.142/86400 Decision: 2881/8732 Time: 252.602/86400 Decision: 2881/8732 Time: 257.921/86400 Decision: 2881/8732 Time: 262.747/86400 Decision: 2881/8732 Time: 267.958/86400 Decision: 2881/8732 Time: 273.297/86400 Decision: 2881/8732 Time: 278.32/86400 Decision: 2881/8732 Time: 283.686/86400 Decision: 2881/8732 Time: 289.341/86400 Decision: 2881/8732 Time: 293.539/86400 Decision: 2881/8732 Time: 297.513/86400 Decision: 2881/8732 Time: 302.192/86400 Decision: 2881/8732 Time: 307.077/86400 Decision: 2881/8732 Time: 312.646/86400 Decision: 2881/8732 Time: 316.296/86400 Decision: 2881/8732 Time: 320.248/86400 Decision: 2881/8732 Time: 325.222/86400 Decision: 2881/8732 Time: 330.911/86400 Decision: 2881/8732 Time: 336.358/86400 Decision: 2881/8732 Time: 340.716/86400 Decision: 2881/8732 Time: 344.395/86400 Decision: 2881/8732 Time: 349.751/86400 Decision: 2881/8732 Time: 353.298/86400 Decision: 2881/8732 Time: 358.015/86400 Decision: 2881/8732 Time: 364.478/86400 Decision: 2881/8732 Time: 370.623/86400 Decision: 2881/8732 Time: 376.02/86400 Decision: 2881/8732 Time: 380.729/86400 Decision: 2881/8732 Time: 384.561/86400 Decision: 2881/8732 Time: 389.748/86400 Decision: 2881/8732 Time: 395.159/86400 Decision: 2881/8732 Time: 398.72/86400 Decision: 2881/8732 Time: 402.415/86400 Decision: 2881/8732 Time: 407.632/86400 Decision: 2881/8732 Time: 411.644/86400 Decision: 2881/8732 Time: 414.957/86400 Decision: 2881/8732 Time: 419.508/86400 Decision: 2881/8732 Time: 423.97/86400 Decision: 2881/8732 Time: 427.617/86400 Decision: 2881/8732 Time: 432.507/86400 Decision: 2881/8732 Time: 438.146/86400 Decision: 2881/8732 Time: 443.875/86400 Decision: 2881/8732 Time: 448.756/86400 Decision: 2881/8732 Time: 453.057/86400 Decision: 2881/8732 Time: 458.787/86400 Decision: 2881/8732 Time: 463.833/86400 Decision: 2881/8732 Time: 469.953/86400 Decision: 2881/8732 Time: 474.069/86400 Decision: 2881/8732 Time: 479.968/86400 Decision: 2881/8732 Time: 486.461/86400 Decision: 2881/8732 Time: 492.874/86400 Decision: 2881/8732 Time: 497.324/86400 Decision: 2881/8732 Time: 503.424/86400 Decision: 2881/8732 Time: 510.182/86400 Decision: 2881/8732 Time: 516.36/86400 Decision: 2881/8732 Time: 522.413/86400 Decision: 2881/8732 Time: 528.913/86400 Decision: 2881/8732 Time: 534.768/86400 Decision: 2881/8732 Time: 541.283/86400 Decision: 2881/8732 Time: 547.233/86400 Decision: 2881/8732 Time: 553.275/86400 Decision: 2881/8732 Time: 558.726/86400 Decision: 2881/8732 Time: 564.719/86400 Decision: 2881/8732 Time: 570.969/86400 Decision: 2881/8732 Time: 577.824/86400 Decision: 2881/8732 Time: 584.854/86400 Decision: 2881/8732 Time: 591.336/86400 Decision: 2881/8732 Time: 598.427/86400 Decision: 2881/8732 Time: 605.788/86400 Decision: 2881/8732 Time: 613.044/86400 Decision: 2881/8732 Time: 620.149/86400 Decision: 2881/8732 Time: 623.367/86400 Decision: 2881/8732 Time: 627.083/86400 Decision: 2881/8732 Time: 632.311/86400 Decision: 2881/8732 Time: 637.405/86400 Decision: 2881/8732 Time: 643.221/86400 Decision: 2881/8732 Time: 648.906/86400 Decision: 2881/8732 Time: 653.366/86400 Decision: 2881/8732 Time: 657.816/86400 Decision: 2881/8732 Time: 663.173/86400 Decision: 2881/8732 Time: 670.163/86400 Decision: 2881/8732 Time: 675.896/86400 Decision: 2881/8732 Time: 681.073/86400 Decision: 2881/8732 Time: 686.643/86400 Decision: 2881/8732 Time: 693.117/86400 Decision: 2881/8732 Time: 699.482/86400 Decision: 2881/8732 Time: 703.86/86400 Decision: 2881/8732 Time: 710.675/86400 Decision: 2881/8732 Time: 717.512/86400 Decision: 2881/8732 Time: 724.622/86400 Decision: 2881/8732 Time: 731.29/86400 Decision: 2881/8732 Time: 735.993/86400 Decision: 2881/8732 Time: 742.449/86400 Decision: 2881/8732 Time: 748.179/86400 Decision: 2881/8732 Time: 753.877/86400 Decision: 2881/8732 Time: 761.276/86400 Decision: 2881/8732 Time: 768.971/86400 Decision: 2881/8732 Time: 776.806/86400 Decision: 2881/8732 Time: 783.776/86400 Decision: 2881/8732 Time: 791.062/86400 Decision: 2881/8732 Time: 798.267/86400 Decision: 2881/8732 Time: 804.214/86400 Decision: 2881/8732 Time: 809.66/86400 Decision: 2881/8732 Time: 815.18/86400 Decision: 2881/8732 Time: 821.866/86400 Decision: 2881/8732 Time: 827.574/86400 Decision: 2881/8732 Time: 833.759/86400 Decision: 2881/8732 Time: 839.848/86400 Decision: 2881/8732 Time: 846.68/86400 Decision: 2881/8732 Time: 850.504/86400 Decision: 2881/8732 Time: 858.123/86400 Decision: 2881/8732 Time: 865.484/86400 Decision: 2881/8732 Time: 871.912/86400 Decision: 2881/8732 Time: 879.093/86400 Decision: 2881/8732 Time: 886.274/86400 Decision: 2881/8732 Time: 892.967/86400 Decision: 2881/8732 Time: 900.778/86400 Decision: 2881/8732 Time: 908.187/86400 Decision: 2881/8732 Time: 913.656/86400 Decision: 2881/8732 Time: 921.516/86400 Decision: 2881/8732 Time: 929.027/86400 Decision: 2881/8732 Time: 936.853/86400 Decision: 2881/8732 Time: 944.363/86400 Decision: 2881/8732 Time: 950.098/86400 Decision: 2881/8732 Time: 954.651/86400 Decision: 2881/8732 Time: 959.807/86400 Decision: 2881/8732 Time: 963.132/86400 Decision: 2881/8732 Time: 966.796/86400 Decision: 2881/8732 Time: 972.356/86400 Decision: 2881/8732 Time: 979.626/86400 Decision: 2881/8732 Time: 986.647/86400 Decision: 2881/8732 Time: 991.167/86400 Decision: 2881/8732 Time: 997.939/86400 Decision: 2881/8732 Time: 1004.62/86400 Decision: 2881/8732 Time: 1011.46/86400 Decision: 2881/8732 Time: 1018.23/86400 Decision: 2881/8732 Time: 1025.63/86400 Decision: 2881/8732 Time: 1032.98/86400 Decision: 2881/8732 Time: 1040.19/86400 Decision: 2881/8732 Time: 1047.11/86400 Decision: 2881/8732 Time: 1052.92/86400 Decision: 2881/8732 Time: 1060.78/86400 Decision: 2881/8732 Time: 1069.31/86400 Decision: 2881/8732 Time: 1076.69/86400 Decision: 2881/8732 Time: 1085.13/86400 Decision: 2881/8732 Time: 1090.06/86400 Decision: 2881/8732 Time: 1096.55/86400 Decision: 2881/8732 Time: 1103.07/86400 Decision: 2881/8732 Time: 1110.46/86400 Decision: 2881/8732 Time: 1116.85/86400 Decision: 2881/8732 Time: 1124.03/86400 Decision: 2881/8732 Time: 1132.86/86400 Decision: 2881/8732 Time: 1141.26/86400 Decision: 2881/8732 Time: 1148.94/86400 Decision: 2881/8732 Time: 1157.17/86400 Decision: 2881/8732 Time: 1164.43/86400 Decision: 2881/8732 Time: 1170.45/86400 Decision: 2881/8732 Time: 1178.51/86400 Decision: 2881/8732 Time: 1183.58/86400 Decision: 2881/8732 Time: 1191.94/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.63 0.21 0.07 2/54 18519 Raw data (stat): 18519 (runsolver) R 18518 10795 10794 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 863976110 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0003 s] Raw data (loadavg): 0.68 0.24 0.08 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 1692 0 0 0 982 16 0 0 25 0 1 0 863976110 7614464 1271 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 1859 1271 300 300 0 1559 0 vsize: 7436 [startup+20.0006 s] Raw data (loadavg): 0.73 0.26 0.09 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 1903 0 0 0 1969 29 0 0 25 0 1 0 863976110 7880704 1482 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 1924 1482 300 300 0 1624 0 vsize: 7696 [startup+30.0013 s] Raw data (loadavg): 0.77 0.29 0.10 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 2111 0 0 0 2959 40 0 0 25 0 1 0 863976110 10113024 1690 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 2469 1690 300 300 0 2169 0 vsize: 9876 [startup+40.0006 s] Raw data (loadavg): 0.81 0.31 0.11 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 2389 0 0 0 3943 54 0 0 25 0 1 0 863976110 10661888 1968 4294967295 134512640 135726644 3221224576 3221223196 135337971 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2603 1968 300 300 0 2303 0 vsize: 10412 [startup+50.0017 s] Raw data (loadavg): 0.84 0.33 0.12 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 2661 0 0 0 4932 66 0 0 25 0 1 0 863976110 11583488 2047 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2828 2047 300 300 0 2528 0 vsize: 11312 [startup+60.0016 s] Raw data (loadavg): 0.86 0.35 0.13 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 2729 0 0 0 5919 79 0 0 25 0 1 0 863976110 11718656 2115 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 2861 2115 300 300 0 2561 0 vsize: 11444 [startup+70.0008 s] Raw data (loadavg): 0.88 0.37 0.14 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 2774 0 0 0 6905 92 0 0 25 0 1 0 863976110 11907072 2160 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2907 2160 300 300 0 2607 0 vsize: 11628 [startup+80.0022 s] Raw data (loadavg): 0.90 0.39 0.15 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 2808 0 0 0 7892 105 0 0 25 0 1 0 863976110 11976704 2194 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2924 2194 300 300 0 2624 0 vsize: 11696 [startup+90.0016 s] Raw data (loadavg): 0.91 0.41 0.15 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 2852 0 0 0 8880 118 0 0 25 0 1 0 863976110 12148736 2238 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2966 2238 300 300 0 2666 0 vsize: 11864 [startup+100.002 s] Raw data (loadavg): 0.93 0.43 0.16 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 2889 0 0 0 9866 131 0 0 25 0 1 0 863976110 12259328 2275 4294967295 134512640 135726644 3221224576 3221223072 134744311 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 2993 2275 300 300 0 2693 0 vsize: 11972 [startup+110.003 s] Raw data (loadavg): 0.94 0.45 0.17 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 2922 0 0 0 10856 141 0 0 25 0 1 0 863976110 12328960 2308 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3010 2308 300 300 0 2710 0 vsize: 12040 [startup+120.003 s] Raw data (loadavg): 0.95 0.47 0.18 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 2946 0 0 0 11845 153 0 0 25 0 1 0 863976110 12414976 2332 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3031 2332 300 300 0 2731 0 vsize: 12124 [startup+130.003 s] Raw data (loadavg): 0.95 0.48 0.19 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 2975 0 0 0 12834 164 0 0 25 0 1 0 863976110 12496896 2361 4294967295 134512640 135726644 3221224576 3221222904 134735633 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3051 2361 300 300 0 2751 0 vsize: 12204 [startup+140.004 s] Raw data (loadavg): 0.96 0.50 0.20 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3000 0 0 0 13822 176 0 0 25 0 1 0 863976110 12562432 2386 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3067 2386 300 300 0 2767 0 vsize: 12268 [startup+150.004 s] Raw data (loadavg): 0.97 0.52 0.20 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3019 0 0 0 14812 187 0 0 25 0 1 0 863976110 12562432 2405 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3067 2405 300 300 0 2767 0 vsize: 12268 [startup+160.004 s] Raw data (loadavg): 0.97 0.53 0.21 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3084 0 0 0 15800 199 0 0 25 0 1 0 863976110 12824576 2470 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3131 2470 300 300 0 2831 0 vsize: 12524 [startup+170.004 s] Raw data (loadavg): 0.98 0.55 0.22 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3148 0 0 0 16788 210 0 0 25 0 1 0 863976110 12939264 2534 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3159 2534 300 300 0 2859 0 vsize: 12636 [startup+180.004 s] Raw data (loadavg): 0.98 0.56 0.23 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3168 0 0 0 17779 220 0 0 25 0 1 0 863976110 12939264 2554 4294967295 134512640 135726644 3221224576 3221223088 134742274 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3159 2554 300 300 0 2859 0 vsize: 12636 [startup+190.005 s] Raw data (loadavg): 0.98 0.58 0.24 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3192 0 0 0 18768 231 0 0 25 0 1 0 863976110 13025280 2578 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3180 2578 300 300 0 2880 0 vsize: 12720 [startup+200.005 s] Raw data (loadavg): 0.98 0.59 0.24 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3203 0 0 0 19759 240 0 0 25 0 1 0 863976110 13025280 2589 4294967295 134512640 135726644 3221224576 3221222912 134762338 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3180 2589 300 300 0 2880 0 vsize: 12720 [startup+210.006 s] Raw data (loadavg): 0.99 0.60 0.25 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3231 0 0 0 20749 251 0 0 25 0 1 0 863976110 13127680 2617 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3205 2617 300 300 0 2905 0 vsize: 12820 [startup+220.005 s] Raw data (loadavg): 0.99 0.61 0.26 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3251 0 0 0 21738 261 0 0 25 0 1 0 863976110 13201408 2637 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3223 2637 300 300 0 2923 0 vsize: 12892 [startup+230.005 s] Raw data (loadavg): 0.99 0.63 0.27 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3304 0 0 0 22729 271 0 0 25 0 1 0 863976110 13336576 2690 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3256 2690 300 300 0 2956 0 vsize: 13024 [startup+240.005 s] Raw data (loadavg): 0.99 0.64 0.27 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3333 0 0 0 23716 284 0 0 25 0 1 0 863976110 13422592 2719 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3277 2719 300 300 0 2977 0 vsize: 13108 [startup+250.005 s] Raw data (loadavg): 0.99 0.65 0.28 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3361 0 0 0 24704 296 0 0 25 0 1 0 863976110 13516800 2747 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3300 2747 300 300 0 3000 0 vsize: 13200 [startup+260.006 s] Raw data (loadavg): 0.99 0.66 0.29 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3760 0 0 0 25692 309 0 0 25 0 1 0 863976110 15155200 2761 4294967295 134512640 135726644 3221224576 3221223184 134741071 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3700 2761 300 300 0 3400 0 vsize: 14800 [startup+270.005 s] Raw data (loadavg): 0.99 0.67 0.30 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3775 0 0 0 26683 317 0 0 25 0 1 0 863976110 15155200 2776 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3700 2776 300 300 0 3400 0 vsize: 14800 [startup+280.005 s] Raw data (loadavg): 0.99 0.68 0.30 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3809 0 0 0 27673 328 0 0 25 0 1 0 863976110 15249408 2810 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3723 2810 300 300 0 3423 0 vsize: 14892 [startup+290.006 s] Raw data (loadavg): 0.99 0.69 0.31 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3822 0 0 0 28662 339 0 0 25 0 1 0 863976110 15249408 2823 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3723 2823 300 300 0 3423 0 vsize: 14892 [startup+300.006 s] Raw data (loadavg): 0.99 0.70 0.32 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3854 0 0 0 29651 350 0 0 25 0 1 0 863976110 15343616 2855 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3746 2855 300 300 0 3446 0 vsize: 14984 [startup+310.006 s] Raw data (loadavg): 0.99 0.71 0.32 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3876 0 0 0 30642 359 0 0 25 0 1 0 863976110 15429632 2877 4294967295 134512640 135726644 3221224576 3221223184 134741266 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3767 2877 300 300 0 3467 0 vsize: 15068 [startup+320.006 s] Raw data (loadavg): 0.99 0.72 0.33 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3908 0 0 0 31632 369 0 0 25 0 1 0 863976110 15507456 2909 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3786 2909 300 300 0 3486 0 vsize: 15144 [startup+330.006 s] Raw data (loadavg): 0.99 0.73 0.34 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3930 0 0 0 32623 378 0 0 25 0 1 0 863976110 15585280 2931 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3805 2931 300 300 0 3505 0 vsize: 15220 [startup+340.006 s] Raw data (loadavg): 0.99 0.74 0.34 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 3950 0 0 0 33613 389 0 0 25 0 1 0 863976110 15659008 2951 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3823 2951 300 300 0 3523 0 vsize: 15292 [startup+350.007 s] Raw data (loadavg): 0.99 0.75 0.35 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4000 0 0 0 34599 402 0 0 25 0 1 0 863976110 15794176 3001 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3856 3001 300 300 0 3556 0 vsize: 15424 [startup+360.008 s] Raw data (loadavg): 0.99 0.75 0.36 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4021 0 0 0 35590 411 0 0 25 0 1 0 863976110 15872000 3022 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3875 3022 300 300 0 3575 0 vsize: 15500 [startup+370.007 s] Raw data (loadavg): 0.99 0.76 0.36 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4033 0 0 0 36581 421 0 0 25 0 1 0 863976110 15872000 3034 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3875 3034 300 300 0 3575 0 vsize: 15500 [startup+380.008 s] Raw data (loadavg): 0.99 0.77 0.37 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4053 0 0 0 37571 431 0 0 25 0 1 0 863976110 15945728 3054 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3893 3054 300 300 0 3593 0 vsize: 15572 [startup+390.008 s] Raw data (loadavg): 0.99 0.78 0.38 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4072 0 0 0 38562 440 0 0 25 0 1 0 863976110 15945728 3073 4294967295 134512640 135726644 3221224576 3221222800 134810448 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3893 3073 300 300 0 3593 0 vsize: 15572 [startup+400.009 s] Raw data (loadavg): 0.99 0.78 0.38 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4097 0 0 0 39552 451 0 0 25 0 1 0 863976110 16023552 3098 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3912 3098 300 300 0 3612 0 vsize: 15648 [startup+410.008 s] Raw data (loadavg): 0.99 0.79 0.39 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4115 0 0 0 40546 457 0 0 25 0 1 0 863976110 16089088 3116 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3928 3116 300 300 0 3628 0 vsize: 15712 [startup+420.008 s] Raw data (loadavg): 0.99 0.80 0.39 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4164 0 0 0 41535 467 0 0 25 0 1 0 863976110 16224256 3165 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3961 3165 300 300 0 3661 0 vsize: 15844 [startup+430.009 s] Raw data (loadavg): 0.99 0.80 0.40 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4184 0 0 0 42525 478 0 0 25 0 1 0 863976110 16224256 3185 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3961 3185 300 300 0 3661 0 vsize: 15844 [startup+440.009 s] Raw data (loadavg): 0.99 0.81 0.40 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4202 0 0 0 43517 486 0 0 25 0 1 0 863976110 16322560 3203 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3985 3203 300 300 0 3685 0 vsize: 15940 [startup+450.01 s] Raw data (loadavg): 0.99 0.81 0.41 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4217 0 0 0 44505 498 0 0 25 0 1 0 863976110 16322560 3218 4294967295 134512640 135726644 3221224576 3221223088 134742274 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3985 3218 300 300 0 3685 0 vsize: 15940 [startup+460.01 s] Raw data (loadavg): 0.99 0.82 0.42 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4241 0 0 0 45494 509 0 0 25 0 1 0 863976110 16420864 3242 4294967295 134512640 135726644 3221224576 3221223200 134779430 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4009 3242 300 300 0 3709 0 vsize: 16036 [startup+470.01 s] Raw data (loadavg): 0.99 0.83 0.42 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4255 0 0 0 46487 517 0 0 25 0 1 0 863976110 16420864 3256 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4009 3256 300 300 0 3709 0 vsize: 16036 [startup+480.011 s] Raw data (loadavg): 0.99 0.83 0.43 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4274 0 0 0 47476 528 0 0 25 0 1 0 863976110 16490496 3275 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4026 3275 300 300 0 3726 0 vsize: 16104 [startup+490.01 s] Raw data (loadavg): 0.99 0.83 0.43 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4291 0 0 0 48465 539 0 0 25 0 1 0 863976110 16490496 3292 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4026 3292 300 300 0 3726 0 vsize: 16104 [startup+500.011 s] Raw data (loadavg): 0.99 0.84 0.44 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4310 0 0 0 49456 548 0 0 25 0 1 0 863976110 16560128 3311 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4043 3311 300 300 0 3743 0 vsize: 16172 [startup+510.012 s] Raw data (loadavg): 0.99 0.84 0.45 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4327 0 0 0 50448 556 0 0 25 0 1 0 863976110 16695296 3328 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4076 3328 300 300 0 3776 0 vsize: 16304 [startup+520.012 s] Raw data (loadavg): 0.99 0.85 0.45 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4364 0 0 0 51440 564 0 0 25 0 1 0 863976110 16695296 3365 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4076 3365 300 300 0 3776 0 vsize: 16304 [startup+530.012 s] Raw data (loadavg): 0.99 0.85 0.46 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4372 0 0 0 52433 571 0 0 25 0 1 0 863976110 16695296 3373 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4076 3373 300 300 0 3776 0 vsize: 16304 [startup+540.012 s] Raw data (loadavg): 0.99 0.86 0.46 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4380 0 0 0 53425 579 0 0 25 0 1 0 863976110 16760832 3381 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4092 3381 300 300 0 3792 0 vsize: 16368 [startup+550.013 s] Raw data (loadavg): 0.99 0.86 0.47 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4399 0 0 0 54415 590 0 0 25 0 1 0 863976110 16760832 3400 4294967295 134512640 135726644 3221224576 3221222960 134759584 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4092 3400 300 300 0 3792 0 vsize: 16368 [startup+560.013 s] Raw data (loadavg): 0.99 0.87 0.47 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4419 0 0 0 55407 598 0 0 25 0 1 0 863976110 16830464 3420 4294967295 134512640 135726644 3221224576 3221222828 135298010 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4109 3420 300 300 0 3809 0 vsize: 16436 [startup+570.012 s] Raw data (loadavg): 0.99 0.87 0.48 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4427 0 0 0 56400 606 0 0 25 0 1 0 863976110 16830464 3428 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4109 3428 300 300 0 3809 0 vsize: 16436 [startup+580.013 s] Raw data (loadavg): 0.99 0.87 0.48 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4440 0 0 0 57390 615 0 0 25 0 1 0 863976110 16900096 3441 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4126 3441 300 300 0 3826 0 vsize: 16504 [startup+590.013 s] Raw data (loadavg): 0.99 0.88 0.49 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4451 0 0 0 58381 624 0 0 25 0 1 0 863976110 16900096 3452 4294967295 134512640 135726644 3221224576 3221223168 134760219 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4126 3452 300 300 0 3826 0 vsize: 16504 [startup+600.013 s] Raw data (loadavg): 0.99 0.88 0.49 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4467 0 0 0 59373 633 0 0 25 0 1 0 863976110 16900096 3468 4294967295 134512640 135726644 3221224576 3221223072 134743990 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4126 3468 300 300 0 3826 0 vsize: 16504 [startup+610.014 s] Raw data (loadavg): 0.99 0.89 0.50 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4479 0 0 0 60362 644 0 0 25 0 1 0 863976110 16986112 3480 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4147 3480 300 300 0 3847 0 vsize: 16588 [startup+620.013 s] Raw data (loadavg): 0.99 0.89 0.50 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4492 0 0 0 61353 653 0 0 25 0 1 0 863976110 16986112 3493 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4147 3493 300 300 0 3847 0 vsize: 16588 [startup+630.014 s] Raw data (loadavg): 0.99 0.89 0.51 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4520 0 0 0 62344 663 0 0 25 0 1 0 863976110 17088512 3521 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4172 3521 300 300 0 3872 0 vsize: 16688 [startup+640.015 s] Raw data (loadavg): 0.99 0.89 0.51 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4535 0 0 0 63336 670 0 0 25 0 1 0 863976110 17088512 3536 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4172 3536 300 300 0 3872 0 vsize: 16688 [startup+650.015 s] Raw data (loadavg): 0.99 0.90 0.52 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4542 0 0 0 64329 678 0 0 25 0 1 0 863976110 17088512 3543 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4172 3543 300 300 0 3872 0 vsize: 16688 [startup+660.015 s] Raw data (loadavg): 0.99 0.90 0.52 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4561 0 0 0 65322 685 0 0 25 0 1 0 863976110 17158144 3562 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4189 3562 300 300 0 3889 0 vsize: 16756 [startup+670.015 s] Raw data (loadavg): 0.99 0.90 0.53 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4577 0 0 0 66316 691 0 0 25 0 1 0 863976110 17158144 3578 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4189 3578 300 300 0 3889 0 vsize: 16756 [startup+680.016 s] Raw data (loadavg): 0.99 0.91 0.53 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4586 0 0 0 67310 697 0 0 25 0 1 0 863976110 17158144 3587 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4189 3587 300 300 0 3889 0 vsize: 16756 [startup+690.016 s] Raw data (loadavg): 0.99 0.91 0.54 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4607 0 0 0 68302 706 0 0 25 0 1 0 863976110 17248256 3608 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4211 3608 300 300 0 3911 0 vsize: 16844 [startup+700.016 s] Raw data (loadavg): 0.99 0.91 0.54 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4620 0 0 0 69293 714 0 0 25 0 1 0 863976110 17248256 3621 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4211 3621 300 300 0 3911 0 vsize: 16844 [startup+710.017 s] Raw data (loadavg): 0.99 0.91 0.54 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4639 0 0 0 70287 721 0 0 25 0 1 0 863976110 17334272 3640 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4232 3640 300 300 0 3932 0 vsize: 16928 [startup+720.017 s] Raw data (loadavg): 0.99 0.92 0.55 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4657 0 0 0 71275 733 0 0 25 0 1 0 863976110 17334272 3658 4294967295 134512640 135726644 3221224576 3221223184 134741254 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4232 3658 300 300 0 3932 0 vsize: 16928 [startup+730.018 s] Raw data (loadavg): 0.99 0.92 0.55 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4665 0 0 0 72269 739 0 0 25 0 1 0 863976110 17334272 3666 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4232 3666 300 300 0 3932 0 vsize: 16928 [startup+740.017 s] Raw data (loadavg): 0.99 0.92 0.56 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4692 0 0 0 73261 747 0 0 25 0 1 0 863976110 17469440 3693 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4265 3693 300 300 0 3965 0 vsize: 17060 [startup+750.018 s] Raw data (loadavg): 0.99 0.92 0.56 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 4708 0 0 0 74252 756 0 0 25 0 1 0 863976110 17469440 3709 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4265 3709 300 300 0 3965 0 vsize: 17060 [startup+760.019 s] Raw data (loadavg): 0.99 0.92 0.56 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5491 0 0 0 75243 766 0 0 25 0 1 0 863976110 20680704 3723 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5049 3723 300 300 0 4749 0 vsize: 20196 [startup+770.018 s] Raw data (loadavg): 0.99 0.93 0.57 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5502 0 0 0 76234 775 0 0 25 0 1 0 863976110 20680704 3734 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5049 3734 300 300 0 4749 0 vsize: 20196 [startup+780.019 s] Raw data (loadavg): 0.99 0.93 0.57 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5516 0 0 0 77222 787 0 0 25 0 1 0 863976110 20746240 3748 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5065 3748 300 300 0 4765 0 vsize: 20260 [startup+790.019 s] Raw data (loadavg): 0.99 0.93 0.58 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5529 0 0 0 78215 795 0 0 25 0 1 0 863976110 20746240 3761 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5065 3761 300 300 0 4765 0 vsize: 20260 [startup+800.02 s] Raw data (loadavg): 0.99 0.93 0.58 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5537 0 0 0 79207 803 0 0 25 0 1 0 863976110 20746240 3769 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5065 3769 300 300 0 4765 0 vsize: 20260 [startup+810.021 s] Raw data (loadavg): 0.99 0.93 0.58 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5553 0 0 0 80200 810 0 0 25 0 1 0 863976110 20819968 3785 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5083 3785 300 300 0 4783 0 vsize: 20332 [startup+820.021 s] Raw data (loadavg): 0.99 0.94 0.59 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5571 0 0 0 81191 819 0 0 25 0 1 0 863976110 20819968 3803 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5083 3803 300 300 0 4783 0 vsize: 20332 [startup+830.021 s] Raw data (loadavg): 0.99 0.94 0.59 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5594 0 0 0 82183 828 0 0 25 0 1 0 863976110 20901888 3826 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5103 3826 300 300 0 4803 0 vsize: 20412 [startup+840.021 s] Raw data (loadavg): 1.07 0.96 0.60 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5606 0 0 0 83175 835 0 0 25 0 1 0 863976110 20901888 3838 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5103 3838 300 300 0 4803 0 vsize: 20412 [startup+850.022 s] Raw data (loadavg): 1.06 0.96 0.61 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5619 0 0 0 84168 843 0 0 25 0 1 0 863976110 20971520 3851 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5120 3851 300 300 0 4820 0 vsize: 20480 [startup+860.023 s] Raw data (loadavg): 1.05 0.96 0.61 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5639 0 0 0 85159 852 0 0 25 0 1 0 863976110 20971520 3871 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5120 3871 300 300 0 4820 0 vsize: 20480 [startup+870.023 s] Raw data (loadavg): 1.12 0.98 0.62 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5645 0 0 0 86153 859 0 0 25 0 1 0 863976110 21037056 3877 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5136 3877 300 300 0 4836 0 vsize: 20544 [startup+880.023 s] Raw data (loadavg): 1.10 0.98 0.62 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5658 0 0 0 87146 866 0 0 25 0 1 0 863976110 21037056 3890 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5136 3890 300 300 0 4836 0 vsize: 20544 [startup+890.023 s] Raw data (loadavg): 1.09 0.98 0.63 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5666 0 0 0 88140 872 0 0 25 0 1 0 863976110 21037056 3898 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5136 3898 300 300 0 4836 0 vsize: 20544 [startup+900.024 s] Raw data (loadavg): 1.07 0.98 0.63 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5679 0 0 0 89131 881 0 0 25 0 1 0 863976110 21102592 3911 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5152 3911 300 300 0 4852 0 vsize: 20608 [startup+910.025 s] Raw data (loadavg): 1.06 0.98 0.63 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5687 0 0 0 90125 887 0 0 25 0 1 0 863976110 21102592 3919 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5152 3919 300 300 0 4852 0 vsize: 20608 [startup+920.024 s] Raw data (loadavg): 1.05 0.98 0.64 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5709 0 0 0 91117 895 0 0 25 0 1 0 863976110 21176320 3941 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5170 3941 300 300 0 4870 0 vsize: 20680 [startup+930.025 s] Raw data (loadavg): 1.04 0.98 0.64 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5724 0 0 0 92109 903 0 0 25 0 1 0 863976110 21176320 3956 4294967295 134512640 135726644 3221224576 3221223184 134741266 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5170 3956 300 300 0 4870 0 vsize: 20680 [startup+940.024 s] Raw data (loadavg): 1.04 0.98 0.64 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5742 0 0 0 93099 914 0 0 25 0 1 0 863976110 21241856 3974 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5186 3974 300 300 0 4886 0 vsize: 20744 [startup+950.026 s] Raw data (loadavg): 1.03 0.98 0.65 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5748 0 0 0 94092 920 0 0 25 0 1 0 863976110 21241856 3980 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5186 3980 300 300 0 4886 0 vsize: 20744 [startup+960.025 s] Raw data (loadavg): 1.02 0.98 0.65 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5776 0 0 0 95085 927 0 0 25 0 1 0 863976110 21307392 4008 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5202 4008 300 300 0 4902 0 vsize: 20808 [startup+970.025 s] Raw data (loadavg): 1.02 0.98 0.65 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5806 0 0 0 96077 936 0 0 25 0 1 0 863976110 21372928 4038 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5218 4038 300 300 0 4918 0 vsize: 20872 [startup+980.025 s] Raw data (loadavg): 1.02 0.98 0.66 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5820 0 0 0 97071 942 0 0 25 0 1 0 863976110 21458944 4052 4294967295 134512640 135726644 3221224576 3221222896 134728940 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5239 4052 300 300 0 4939 0 vsize: 20956 [startup+990.025 s] Raw data (loadavg): 1.01 0.98 0.66 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5834 0 0 0 98064 949 0 0 25 0 1 0 863976110 21458944 4066 4294967295 134512640 135726644 3221224576 3221223184 134741266 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5239 4066 300 300 0 4939 0 vsize: 20956 [startup+1000.03 s] Raw data (loadavg): 1.01 0.98 0.66 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5851 0 0 0 99058 956 0 0 25 0 1 0 863976110 21532672 4083 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5257 4083 300 300 0 4957 0 vsize: 21028 [startup+1010.03 s] Raw data (loadavg): 1.01 0.98 0.66 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5863 0 0 0 100051 963 0 0 25 0 1 0 863976110 21532672 4095 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5257 4095 300 300 0 4957 0 vsize: 21028 [startup+1020.03 s] Raw data (loadavg): 1.01 0.98 0.67 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5877 0 0 0 101044 970 0 0 25 0 1 0 863976110 21532672 4109 4294967295 134512640 135726644 3221224576 3221223184 134741266 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5257 4109 300 300 0 4957 0 vsize: 21028 [startup+1030.03 s] Raw data (loadavg): 1.01 0.98 0.67 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5883 0 0 0 102037 977 0 0 25 0 1 0 863976110 21532672 4115 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5257 4115 300 300 0 4957 0 vsize: 21028 [startup+1040.03 s] Raw data (loadavg): 1.00 0.98 0.67 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5890 0 0 0 103032 983 0 0 25 0 1 0 863976110 21532672 4122 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5257 4122 300 300 0 4957 0 vsize: 21028 [startup+1050.03 s] Raw data (loadavg): 1.00 0.98 0.68 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5910 0 0 0 104026 989 0 0 25 0 1 0 863976110 21618688 4142 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5278 4142 300 300 0 4978 0 vsize: 21112 [startup+1060.03 s] Raw data (loadavg): 1.00 0.98 0.68 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5920 0 0 0 105019 996 0 0 25 0 1 0 863976110 21618688 4152 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5278 4152 300 300 0 4978 0 vsize: 21112 [startup+1070.03 s] Raw data (loadavg): 1.00 0.98 0.68 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5930 0 0 0 106012 1002 0 0 25 0 1 0 863976110 21688320 4162 4294967295 134512640 135726644 3221224576 3221223184 134740875 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5295 4162 300 300 0 4995 0 vsize: 21180 [startup+1080.03 s] Raw data (loadavg): 1.00 0.98 0.68 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5945 0 0 0 107004 1011 0 0 25 0 1 0 863976110 21688320 4177 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5295 4177 300 300 0 4995 0 vsize: 21180 [startup+1090.03 s] Raw data (loadavg): 1.00 0.98 0.69 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5951 0 0 0 107997 1018 0 0 25 0 1 0 863976110 21688320 4183 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5295 4183 300 300 0 4995 0 vsize: 21180 [startup+1100.03 s] Raw data (loadavg): 1.00 0.98 0.69 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5973 0 0 0 108990 1025 0 0 25 0 1 0 863976110 21757952 4205 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5312 4205 300 300 0 5012 0 vsize: 21248 [startup+1110.03 s] Raw data (loadavg): 1.00 0.98 0.69 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 5985 0 0 0 109984 1032 0 0 25 0 1 0 863976110 21757952 4217 4294967295 134512640 135726644 3221224576 3221223184 134741173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5312 4217 300 300 0 5012 0 vsize: 21248 [startup+1120.03 s] Raw data (loadavg): 1.00 0.98 0.70 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 6001 0 0 0 110976 1040 0 0 25 0 1 0 863976110 21835776 4233 4294967295 134512640 135726644 3221224576 3221223120 134736802 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5331 4233 300 300 0 5031 0 vsize: 21324 [startup+1130.03 s] Raw data (loadavg): 1.00 0.98 0.70 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 6012 0 0 0 111971 1046 0 0 25 0 1 0 863976110 21835776 4244 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5331 4244 300 300 0 5031 0 vsize: 21324 [startup+1140.13 s] Raw data (loadavg): 1.08 0.99 0.71 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 6020 0 0 0 112972 1055 0 0 25 0 1 0 863976110 21835776 4252 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5331 4252 300 300 0 5031 0 vsize: 21324 [startup+1150.48 s] Raw data (loadavg): 1.07 0.99 0.71 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 6027 0 0 0 114000 1061 0 0 25 0 1 0 863976110 21901312 4259 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5347 4259 300 300 0 5047 0 vsize: 21388 [startup+1160.49 s] Raw data (loadavg): 1.06 0.99 0.72 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 6034 0 0 0 114994 1068 0 0 25 0 1 0 863976110 21901312 4266 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5347 4266 300 300 0 5047 0 vsize: 21388 [startup+1170.49 s] Raw data (loadavg): 1.05 0.99 0.72 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 6054 0 0 0 115988 1074 0 0 25 0 1 0 863976110 21901312 4286 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5347 4286 300 300 0 5047 0 vsize: 21388 [startup+1180.49 s] Raw data (loadavg): 1.04 0.99 0.72 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 6067 0 0 0 116981 1081 0 0 25 0 1 0 863976110 21987328 4299 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5368 4299 300 300 0 5068 0 vsize: 21472 [startup+1190.49 s] Raw data (loadavg): 1.03 0.99 0.72 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 6078 0 0 0 117976 1086 0 0 25 0 1 0 863976110 21987328 4310 4294967295 134512640 135726644 3221224576 3221223184 134740875 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5368 4310 300 300 0 5068 0 vsize: 21472 [startup+1200.49 s] Raw data (loadavg): 1.03 0.99 0.73 2/54 18519 Raw data (stat): 18519 (pb2sat) R 18518 10795 10794 0 -1 0 6089 0 0 0 118970 1093 0 0 25 0 1 0 863976110 21987328 4321 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5368 4321 300 300 0 5068 0 vsize: 21472 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.61 s] Raw data (loadavg): 1.03 0.99 0.73 1/54 18519 Raw data (stat): 18519 (pb2sat) Z 18518 10795 10794 0 -1 12 6090 0 0 0 118982 1094 0 0 25 0 1 0 863976110 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 0 Real time (s): 1200.61 CPU time (s): 1200.76 CPU user time (s): 1189.82 CPU system time (s): 10.9423 CPU usage (%): 100.012 Max. virtual memory (Kb): 21472 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####