Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x21.opb |
MD5SUM | 0d744fe957d41a18692933adc6be4af7 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1493203 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 5292 |
Biggest coefficient in the objective function | 5242880 |
Number of bits for the biggest coefficient in the objective function | 23 |
Sum of the numbers in the objective function | 1511880035 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 5242880 |
Number of bits of the biggest number in a constraint | 23 |
Biggest sum of numbers in a constraint | 1511880035 |
Number of bits of the biggest sum of numbers | 31 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.04 |
Number of variables | 5292 |
Total number of constraints | 285 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 285 |
Minimum length of a constraint | 21 |
Maximum length of a constraint | 420 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-06-16 19:35:00 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=26183 boxname=wulflinc6 idbench=1483 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 0d744fe957d41a18692933adc6be4af7 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-ran12x21.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-ran12x21.opb IDLAUNCH: 26183 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 654120 kB Buffers: 21104 kB Cached: 336668 kB SwapCached: 996 kB Active: 29828 kB Inactive: 330116 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 653868 kB SwapTotal: 2097136 kB SwapFree: 2095200 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5092 kB Slab: 14880 kB Committed_AS: 63844 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 19:55:03 (client local time) WITH STATUS 0 IN 1200.87 SECONDS stats: 26183 7 1200.87 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 16267/192522 Time: 39.215/86400 c Decision: 16267/192522 Time: 43.8933/86400 c Decision: 16267/192522 Time: 50.6073/86400 c Decision: 16267/192522 Time: 55.8045/86400 c Decision: 16267/192522 Time: 61.1307/86400 c Decision: 16267/192522 Time: 67.0648/86400 c Decision: 16267/192522 Time: 71.0062/86400 c Decision: 16267/192522 Time: 77.4882/86400 c Decision: 16267/192522 Time: 82.2885/86400 c Decision: 16267/192522 Time: 86.8838/86400 c Decision: 16267/192522 Time: 93.5338/86400 c Decision: 16267/192522 Time: 98.753/86400 c Decision: 16267/192522 Time: 104.68/86400 c Decision: 16267/192522 Time: 109.726/86400 c Decision: 16267/192522 Time: 115.262/86400 c Decision: 16267/192522 Time: 120.718/86400 c Decision: 16267/192522 Time: 126.941/86400 c Decision: 16267/192522 Time: 132.634/86400 c Decision: 16267/192522 Time: 137.45/86400 c Decision: 16267/192522 Time: 142.577/86400 c Decision: 16267/192522 Time: 149.409/86400 c Decision: 16267/192522 Time: 155.48/86400 c Decision: 16267/192522 Time: 160.941/86400 c Decision: 16267/192522 Time: 166.489/86400 c Decision: 16267/192522 Time: 171.307/86400 c Decision: 16267/192522 Time: 177.352/86400 c Decision: 16267/192522 Time: 182.446/86400 c Decision: 16267/192522 Time: 187.159/86400 c Decision: 16267/192522 Time: 191.799/86400 c Decision: 16267/192522 Time: 196.41/86400 c Decision: 16267/192522 Time: 201.684/86400 c Decision: 16267/192522 Time: 205.901/86400 c Decision: 16267/192522 Time: 209.952/86400 c Decision: 16267/192522 Time: 216.642/86400 c Decision: 16267/192522 Time: 222.003/86400 c Decision: 16267/192522 Time: 227.171/86400 c Decision: 16267/192522 Time: 231.823/86400 c Decision: 16267/192522 Time: 236.836/86400 c Decision: 16267/192522 Time: 242.65/86400 c Decision: 16267/192522 Time: 247.76/86400 c Decision: 16267/192522 Time: 255.171/86400 c Decision: 16267/192522 Time: 261.305/86400 c Decision: 16267/192522 Time: 265.792/86400 c Decision: 16267/192522 Time: 271.202/86400 c Decision: 16267/192522 Time: 276.322/86400 c Decision: 16267/192522 Time: 281.3/86400 c Decision: 16267/192522 Time: 285.073/86400 c Decision: 16267/192522 Time: 290.569/86400 c Decision: 16267/192522 Time: 296.009/86400 c Decision: 16267/192522 Time: 301.394/86400 c Decision: 16267/192522 Time: 307.581/86400 c Decision: 16267/192522 Time: 313.342/86400 c Decision: 16267/192522 Time: 320.03/86400 c Decision: 16267/192522 Time: 326.378/86400 c Decision: 16267/192522 Time: 331.828/86400 c Decision: 16267/192522 Time: 338.21/86400 c Decision: 16267/192522 Time: 343.898/86400 c Decision: 16267/192522 Time: 349.919/86400 c Decision: 16267/192522 Time: 355.694/86400 c Decision: 16267/192522 Time: 361.25/86400 c Decision: 16267/192522 Time: 367.78/86400 c Decision: 16267/192522 Time: 373.562/86400 c Decision: 16267/192522 Time: 379.056/86400 c Decision: 16267/192522 Time: 383.86/86400 c Decision: 16267/192522 Time: 389.38/86400 c Decision: 16267/192522 Time: 395.854/86400 c Decision: 16267/192522 Time: 401.114/86400 c Decision: 16267/192522 Time: 406.2/86400 c Decision: 16267/192522 Time: 411.794/86400 c Decision: 16267/192522 Time: 416.965/86400 c Decision: 16267/192522 Time: 422.961/86400 c Decision: 16267/192522 Time: 428.331/86400 c Decision: 16267/192522 Time: 433.606/86400 c Decision: 16267/192522 Time: 438.595/86400 c Decision: 16267/192522 Time: 444.878/86400 c Decision: 16267/192522 Time: 452.351/86400 c Decision: 16267/192522 Time: 457.359/86400 c Decision: 16267/192522 Time: 463.149/86400 c Decision: 16267/192522 Time: 468.691/86400 c Decision: 16267/192522 Time: 473.652/86400 c Decision: 16267/192522 Time: 479.419/86400 c Decision: 16267/192522 Time: 485.277/86400 c Decision: 16267/192522 Time: 490.959/86400 c Decision: 16267/192522 Time: 495.911/86400 c Decision: 16267/192522 Time: 501.269/86400 c Decision: 16267/192522 Time: 507.586/86400 c Decision: 16267/192522 Time: 512.93/86400 c Decision: 16267/192522 Time: 518.019/86400 c Decision: 16267/192522 Time: 523.755/86400 c Decision: 16267/192522 Time: 529.733/86400 c Decision: 16267/192522 Time: 536.049/86400 c Decision: 16267/192522 Time: 541.738/86400 c Decision: 16267/192522 Time: 547.626/86400 c Decision: 16267/192522 Time: 552.966/86400 c Decision: 16267/192522 Time: 558.197/86400 c Decision: 16267/192522 Time: 564.448/86400 c Decision: 16267/192522 Time: 570.13/86400 c Decision: 16267/192522 Time: 575.819/86400 c Decision: 16267/192522 Time: 581.382/86400 c Decision: 16267/192522 Time: 586.784/86400 c Decision: 16267/192522 Time: 593.057/86400 c Decision: 16267/192522 Time: 600.057/86400 c Decision: 16267/192522 Time: 607.167/86400 c Decision: 16267/192522 Time: 613.378/86400 c Decision: 16267/192522 Time: 618.689/86400 c Decision: 16267/192522 Time: 626.252/86400 c Decision: 16267/192522 Time: 632.822/86400 c Decision: 16267/192522 Time: 640.711/86400 c Decision: 16267/192522 Time: 646.624/86400 c Decision: 16267/192522 Time: 652.177/86400 c Decision: 16267/192522 Time: 658.907/86400 c Decision: 16267/192522 Time: 664.859/86400 c Decision: 16267/192522 Time: 670.731/86400 c Decision: 16267/192522 Time: 674.993/86400 c Decision: 16267/192522 Time: 680.971/86400 c Decision: 16267/192522 Time: 686.85/86400 c Decision: 16267/192522 Time: 692.096/86400 c Decision: 16267/192522 Time: 698.542/86400 c Decision: 16267/192522 Time: 704.481/86400 c Decision: 16267/192522 Time: 710.905/86400 c Decision: 16267/192522 Time: 717.001/86400 c Decision: 16267/192522 Time: 722.605/86400 c Decision: 16267/192522 Time: 728.473/86400 c Decision: 16267/192522 Time: 734.368/86400 c Decision: 16267/192522 Time: 740.913/86400 c Decision: 16267/192522 Time: 747.72/86400 c Decision: 16267/192522 Time: 753.949/86400 c Decision: 16267/192522 Time: 759.455/86400 c Decision: 16267/192522 Time: 764.628/86400 c Decision: 16267/192522 Time: 769.311/86400 c Decision: 16267/192522 Time: 775.086/86400 c Decision: 16267/192522 Time: 781.031/86400 c Decision: 16267/192522 Time: 787.1/86400 c Decision: 16267/192522 Time: 793.397/86400 c Decision: 16267/192522 Time: 798.422/86400 c Decision: 16267/192522 Time: 804.691/86400 c Decision: 16267/192522 Time: 811.149/86400 c Decision: 16267/192522 Time: 817.262/86400 c Decision: 16267/192522 Time: 822.809/86400 c Decision: 16267/192522 Time: 828.408/86400 c Decision: 16267/192522 Time: 835.28/86400 c Decision: 16267/192522 Time: 841.536/86400 c Decision: 16267/192522 Time: 847.733/86400 c Decision: 16267/192522 Time: 853.307/86400 c Decision: 16267/192522 Time: 859.89/86400 c Decision: 16267/192522 Time: 866.767/86400 c Decision: 16267/192522 Time: 872.659/86400 c Decision: 16267/192522 Time: 879.924/86400 c Decision: 16267/192522 Time: 887.455/86400 c Decision: 16267/192522 Time: 893.492/86400 c Decision: 16267/192522 Time: 900.052/86400 c Decision: 16267/192522 Time: 906.644/86400 c Decision: 16267/192522 Time: 912.79/86400 c Decision: 16267/192522 Time: 919.286/86400 c Decision: 16267/192522 Time: 925.838/86400 c Decision: 16267/192522 Time: 932.075/86400 c Decision: 16267/192522 Time: 938.49/86400 c Decision: 16267/192522 Time: 944.806/86400 c Decision: 16267/192522 Time: 951.567/86400 c Decision: 16267/192522 Time: 958.78/86400 c Decision: 16267/192522 Time: 966.888/86400 c Decision: 16267/192522 Time: 974.779/86400 c Decision: 16267/192522 Time: 982.142/86400 c Decision: 16267/192522 Time: 989.294/86400 c Decision: 16267/192522 Time: 997.164/86400 c Decision: 16267/192522 Time: 1005.28/86400 c Decision: 16267/192522 Time: 1011.48/86400 c Decision: 16267/192522 Time: 1017.65/86400 c Decision: 16267/192522 Time: 1025.22/86400 c Decision: 16267/192522 Time: 1032.12/86400 c Decision: 16267/192522 Time: 1040.2/86400 c Decision: 16267/192522 Time: 1047.31/86400 c Decision: 16267/192522 Time: 1054.96/86400 c Decision: 16267/192522 Time: 1062.54/86400 c Decision: 16267/192522 Time: 1069.66/86400 c Decision: 16267/192522 Time: 1078.13/86400 c Decision: 16267/192522 Time: 1084.67/86400 c Decision: 16267/192522 Time: 1091.69/86400 c Decision: 16267/192522 Time: 1099.16/86400 c Decision: 16267/192522 Time: 1105.98/86400 c Decision: 16267/192522 Time: 1115.23/86400 c Decision: 16267/192522 Time: 1122.16/86400 c Decision: 16267/192522 Time: 1129.27/86400 c Decision: 16267/192522 Time: 1137.64/86400 c Decision: 16267/192522 Time: 1144.96/86400 c Decision: 16267/192522 Time: 1153.29/86400 c Decision: 16267/192522 Time: 1159.86/86400 c Decision: 16267/192522 Time: 1168.73/86400 c Decision: 16267/192522 Time: 1176.55/86400 c Decision: 16267/192522 Time: 1184.27/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.91 0.95 0.90 2/54 25772 Raw data (stat): 25772 (runsolver) R 25771 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 973323458 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+9.99989 s] Raw data (loadavg): 0.93 0.95 0.90 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 25592 0 0 0 943 56 0 0 25 0 1 0 973323458 79003648 14300 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 19288 14300 301 301 0 18987 0 vsize: 77152 [startup+20 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 26616 0 0 0 1938 60 0 0 25 0 1 0 973323458 83111936 15324 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 20291 15324 301 301 0 19990 0 vsize: 81164 [startup+30.0004 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 26869 0 0 0 2937 62 0 0 25 0 1 0 973323458 83890176 15577 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 20481 15577 301 301 0 20180 0 vsize: 81924 [startup+40.0002 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 27046 0 0 0 3935 64 0 0 25 0 1 0 973323458 84529152 15754 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 20637 15754 301 301 0 20336 0 vsize: 82548 [startup+50.0004 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 27650 0 0 0 4932 67 0 0 25 0 1 0 973323458 85258240 15981 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 20815 15981 301 301 0 20514 0 vsize: 83260 [startup+59.9998 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 28834 0 0 0 5929 71 0 0 25 0 1 0 973323458 87162880 16411 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21280 16411 301 301 0 20979 0 vsize: 85120 [startup+69.9998 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 29745 0 0 0 6925 75 0 0 25 0 1 0 973323458 89321472 16945 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21807 16945 301 301 0 21506 0 vsize: 87228 [startup+79.9999 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 30556 0 0 0 7919 80 0 0 25 0 1 0 973323458 87941120 16625 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21470 16625 301 301 0 21169 0 vsize: 85880 [startup+89.9995 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 31094 0 0 0 8917 83 0 0 25 0 1 0 973323458 88645632 16786 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21642 16786 301 301 0 21341 0 vsize: 86568 [startup+99.9992 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 31859 0 0 0 9912 88 0 0 25 0 1 0 973323458 88645632 16797 4294967295 134512640 135730672 3221224576 3221223264 134748440 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21642 16797 301 301 0 21341 0 vsize: 86568 [startup+110 s] Raw data (loadavg): 0.98 0.96 0.91 3/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 32643 0 0 0 10909 92 0 0 25 0 1 0 973323458 88809472 16827 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21682 16827 301 301 0 21381 0 vsize: 86728 [startup+120.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 33452 0 0 0 11905 95 0 0 25 0 1 0 973323458 88944640 16882 4294967295 134512640 135730672 3221224576 3221223072 134747618 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21715 16882 301 301 0 21414 0 vsize: 86860 [startup+130 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 34291 0 0 0 12902 99 0 0 25 0 1 0 973323458 89464832 16967 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21842 16967 301 301 0 21541 0 vsize: 87368 [startup+140 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 34719 0 0 0 13898 103 0 0 25 0 1 0 973323458 89628672 17018 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21882 17018 301 301 0 21581 0 vsize: 87528 [startup+150 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 35550 0 0 0 14894 107 0 0 25 0 1 0 973323458 89956352 17095 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21962 17095 301 301 0 21661 0 vsize: 87848 [startup+160 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 36319 0 0 0 15891 111 0 0 25 0 1 0 973323458 89956352 17110 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21962 17110 301 301 0 21661 0 vsize: 87848 [startup+169.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 37109 0 0 0 16887 115 0 0 25 0 1 0 973323458 90152960 17146 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22010 17146 301 301 0 21709 0 vsize: 88040 [startup+180 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 37878 0 0 0 17883 120 0 0 25 0 1 0 973323458 91697152 17538 4294967295 134512640 135730672 3221224576 3221222732 134765468 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22387 17538 301 301 0 22086 0 vsize: 89548 [startup+189.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 38287 0 0 0 18880 124 0 0 25 0 1 0 973323458 90152960 17193 4294967295 134512640 135730672 3221224576 3221223232 134734771 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22010 17193 301 301 0 21709 0 vsize: 88040 [startup+199.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 39086 0 0 0 19876 127 0 0 25 0 1 0 973323458 90284032 17238 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22042 17238 301 301 0 21741 0 vsize: 88168 [startup+209.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 40266 0 0 0 20871 133 0 0 25 0 1 0 973323458 90439680 17287 4294967295 134512640 135730672 3221224576 3221223200 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22080 17287 301 301 0 21779 0 vsize: 88320 [startup+219.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 41062 0 0 0 21868 136 0 0 25 0 1 0 973323458 90439680 17329 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22080 17329 301 301 0 21779 0 vsize: 88320 [startup+229.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 41487 0 0 0 22865 139 0 0 25 0 1 0 973323458 90583040 17377 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22115 17377 301 301 0 21814 0 vsize: 88460 [startup+239.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 42269 0 0 0 23861 143 0 0 25 0 1 0 973323458 90583040 17405 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22115 17405 301 301 0 21814 0 vsize: 88460 [startup+249.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 43057 0 0 0 24857 148 0 0 25 0 1 0 973323458 90734592 17439 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22152 17439 301 301 0 21851 0 vsize: 88608 [startup+259.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 43854 0 0 0 25852 153 0 0 25 0 1 0 973323458 90886144 17482 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22189 17482 301 301 0 21888 0 vsize: 88756 [startup+269.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 44632 0 0 0 26849 156 0 0 25 0 1 0 973323458 92430336 17883 4294967295 134512640 135730672 3221224576 3221222744 134772706 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22566 17883 301 301 0 22265 0 vsize: 90264 [startup+279.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 45437 0 0 0 27845 160 0 0 25 0 1 0 973323458 92622848 17934 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22613 17934 301 301 0 22312 0 vsize: 90452 [startup+289.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 46228 0 0 0 28843 163 0 0 25 0 1 0 973323458 91078656 17594 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22236 17594 301 301 0 21935 0 vsize: 88944 [startup+299.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 47038 0 0 0 29839 168 0 0 25 0 1 0 973323458 91234304 17650 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22274 17650 301 301 0 21973 0 vsize: 89096 [startup+309.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 47818 0 0 0 30835 172 0 0 25 0 1 0 973323458 92778496 18053 4294967295 134512640 135730672 3221224576 3221222752 134769149 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22651 18053 301 301 0 22350 0 vsize: 90604 [startup+319.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 48220 0 0 0 31832 175 0 0 25 0 1 0 973323458 91234304 17701 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22274 17701 301 301 0 21973 0 vsize: 89096 [startup+329.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 49018 0 0 0 32829 179 0 0 25 0 1 0 973323458 91365376 17745 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22306 17745 301 301 0 22005 0 vsize: 89224 [startup+339.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 49433 0 0 0 33825 183 0 0 25 0 1 0 973323458 91525120 17783 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22345 17783 301 301 0 22044 0 vsize: 89380 [startup+349.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 49834 0 0 0 34821 187 0 0 25 0 1 0 973323458 91525120 17807 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22345 17807 301 301 0 22044 0 vsize: 89380 [startup+359.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 50627 0 0 0 35817 191 0 0 25 0 1 0 973323458 91664384 17846 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22379 17846 301 301 0 22078 0 vsize: 89516 [startup+369.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 51422 0 0 0 36813 196 0 0 25 0 1 0 973323458 93360128 18264 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22793 18264 301 301 0 22492 0 vsize: 91172 [startup+379.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 51833 0 0 0 37810 199 0 0 25 0 1 0 973323458 91815936 17921 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22416 17921 301 301 0 22115 0 vsize: 89664 [startup+389.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 52625 0 0 0 38807 203 0 0 25 0 1 0 973323458 91815936 17959 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22416 17959 301 301 0 22115 0 vsize: 89664 [startup+399.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 53410 0 0 0 39803 207 0 0 25 0 1 0 973323458 91951104 17990 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22449 17990 301 301 0 22148 0 vsize: 89796 [startup+409.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 54190 0 0 0 40799 211 0 0 25 0 1 0 973323458 91951104 18016 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22449 18016 301 301 0 22148 0 vsize: 89796 [startup+419.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 54604 0 0 0 41796 214 0 0 25 0 1 0 973323458 92094464 18053 4294967295 134512640 135730672 3221224576 3221223088 134745795 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22484 18053 301 301 0 22183 0 vsize: 89936 [startup+429.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 55398 0 0 0 42793 218 0 0 25 0 1 0 973323458 92094464 18093 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22484 18093 301 301 0 22183 0 vsize: 89936 [startup+439.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 56173 0 0 0 43789 222 0 0 25 0 1 0 973323458 92225536 18114 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22516 18114 301 301 0 22215 0 vsize: 90064 [startup+449.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 56965 0 0 0 44785 226 0 0 25 0 1 0 973323458 92225536 18152 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22516 18152 301 301 0 22215 0 vsize: 90064 [startup+459.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 57370 0 0 0 45782 229 0 0 25 0 1 0 973323458 92225536 18180 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22516 18180 301 301 0 22215 0 vsize: 90064 [startup+469.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 58154 0 0 0 46779 233 0 0 25 0 1 0 973323458 92356608 18210 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22548 18210 301 301 0 22247 0 vsize: 90192 [startup+479.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 58945 0 0 0 47775 237 0 0 25 0 1 0 973323458 92356608 18247 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22548 18247 301 301 0 22247 0 vsize: 90192 [startup+489.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 59730 0 0 0 48772 241 0 0 25 0 1 0 973323458 92356608 18278 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22548 18278 301 301 0 22247 0 vsize: 90192 [startup+499.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 60518 0 0 0 49768 245 0 0 25 0 1 0 973323458 92512256 18312 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22586 18312 301 301 0 22285 0 vsize: 90344 [startup+509.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 61325 0 0 0 50764 249 0 0 25 0 1 0 973323458 94195712 18742 4294967295 134512640 135730672 3221224576 3221222736 134768838 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22997 18742 301 301 0 22696 0 vsize: 91988 [startup+519.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 61740 0 0 0 51762 252 0 0 25 0 1 0 973323458 92651520 18403 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22620 18403 301 301 0 22319 0 vsize: 90480 [startup+529.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 62532 0 0 0 52758 255 0 0 25 0 1 0 973323458 92782592 18441 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22652 18441 301 301 0 22351 0 vsize: 90608 [startup+539.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 63323 0 0 0 53755 259 0 0 25 0 1 0 973323458 92782592 18478 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22652 18478 301 301 0 22351 0 vsize: 90608 [startup+549.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 63757 0 0 0 54752 262 0 0 25 0 1 0 973323458 92913664 18535 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22684 18535 301 301 0 22383 0 vsize: 90736 [startup+559.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 64542 0 0 0 55748 266 0 0 25 0 1 0 973323458 93044736 18566 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22716 18566 301 301 0 22415 0 vsize: 90864 [startup+569.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 65340 0 0 0 56745 270 0 0 25 0 1 0 973323458 93044736 18610 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22716 18610 301 301 0 22415 0 vsize: 90864 [startup+579.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 66121 0 0 0 57742 274 0 0 25 0 1 0 973323458 93179904 18637 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22749 18637 301 301 0 22448 0 vsize: 90996 [startup+589.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 66916 0 0 0 58738 278 0 0 25 0 1 0 973323458 94724096 19055 4294967295 134512640 135730672 3221224576 3221222736 134769174 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23126 19055 301 301 0 22825 0 vsize: 92504 [startup+599.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 67331 0 0 0 59735 281 0 0 25 0 1 0 973323458 93315072 18716 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22782 18716 301 301 0 22481 0 vsize: 91128 [startup+609.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 68125 0 0 0 60731 285 0 0 25 0 1 0 973323458 93462528 18756 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22818 18756 301 301 0 22517 0 vsize: 91272 [startup+619.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 68528 0 0 0 61729 288 0 0 25 0 1 0 973323458 93462528 18782 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22818 18782 301 301 0 22517 0 vsize: 91272 [startup+629.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 68931 0 0 0 62726 291 0 0 25 0 1 0 973323458 93462528 18808 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22818 18808 301 301 0 22517 0 vsize: 91272 [startup+639.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 69343 0 0 0 63723 295 0 0 25 0 1 0 973323458 93609984 18843 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22854 18843 301 301 0 22553 0 vsize: 91416 [startup+649.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 69746 0 0 0 64720 297 0 0 25 0 1 0 973323458 93609984 18869 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22854 18869 301 301 0 22553 0 vsize: 91416 [startup+659.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 70172 0 0 0 65718 300 0 0 25 0 1 0 973323458 93741056 18918 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22886 18918 301 301 0 22585 0 vsize: 91544 [startup+669.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 70963 0 0 0 66715 304 0 0 25 0 1 0 973323458 93741056 18955 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22886 18955 301 301 0 22585 0 vsize: 91544 [startup+679.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 71765 0 0 0 67712 307 0 0 25 0 1 0 973323458 93933568 19003 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22933 19003 301 301 0 22632 0 vsize: 91732 [startup+689.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 72558 0 0 0 68708 311 0 0 25 0 1 0 973323458 94072832 19042 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22967 19042 301 301 0 22666 0 vsize: 91868 [startup+699.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 72970 0 0 0 69705 315 0 0 25 0 1 0 973323458 94072832 19077 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22967 19077 301 301 0 22666 0 vsize: 91868 [startup+709.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 73754 0 0 0 70701 319 0 0 25 0 1 0 973323458 94203904 19107 4294967295 134512640 135730672 3221224576 3221223072 134747519 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22999 19107 301 301 0 22698 0 vsize: 91996 [startup+719.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 74551 0 0 0 71698 322 0 0 25 0 1 0 973323458 94203904 19150 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22999 19150 301 301 0 22698 0 vsize: 91996 [startup+729.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 74589 0 0 0 72695 326 0 0 25 0 1 0 973323458 94339072 19188 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23032 19188 301 301 0 22731 0 vsize: 92128 [startup+739.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 75378 0 0 0 73691 330 0 0 25 0 1 0 973323458 94339072 19223 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23032 19223 301 301 0 22731 0 vsize: 92128 [startup+749.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 76164 0 0 0 74687 334 0 0 25 0 1 0 973323458 94339072 19255 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23032 19255 301 301 0 22731 0 vsize: 92128 [startup+759.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 76570 0 0 0 75683 338 0 0 25 0 1 0 973323458 94474240 19284 4294967295 134512640 135730672 3221224576 3221223140 135179455 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23065 19284 301 301 0 22764 0 vsize: 92260 [startup+769.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 77338 0 0 0 76680 342 0 0 25 0 1 0 973323458 94474240 19298 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23065 19298 301 301 0 22764 0 vsize: 92260 [startup+779.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 78118 0 0 0 77676 346 0 0 25 0 1 0 973323458 94474240 19324 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23065 19324 301 301 0 22764 0 vsize: 92260 [startup+789.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 78904 0 0 0 78673 349 0 0 25 0 1 0 973323458 94609408 19356 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23098 19356 301 301 0 22797 0 vsize: 92392 [startup+799.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 79321 0 0 0 79670 353 0 0 25 0 1 0 973323458 94744576 19396 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23131 19396 301 301 0 22830 0 vsize: 92524 [startup+809.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 80105 0 0 0 80666 357 0 0 25 0 1 0 973323458 94744576 19426 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23131 19426 301 301 0 22830 0 vsize: 92524 [startup+819.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 80883 0 0 0 81663 361 0 0 25 0 1 0 973323458 94744576 19450 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23131 19450 301 301 0 22830 0 vsize: 92524 [startup+829.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 81302 0 0 0 82660 364 0 0 25 0 1 0 973323458 94875648 19492 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23163 19492 301 301 0 22862 0 vsize: 92652 [startup+839.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 82089 0 0 0 83656 368 0 0 25 0 1 0 973323458 94875648 19525 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23163 19525 301 301 0 22862 0 vsize: 92652 [startup+849.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 82874 0 0 0 84653 371 0 0 25 0 1 0 973323458 96555008 19933 4294967295 134512640 135730672 3221224576 3221222740 134769153 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23573 19933 301 301 0 23272 0 vsize: 94292 [startup+859.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 83285 0 0 0 85651 374 0 0 25 0 1 0 973323458 95010816 19590 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23196 19590 301 301 0 22895 0 vsize: 92784 [startup+869.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 84077 0 0 0 86647 378 0 0 25 0 1 0 973323458 95010816 19628 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23196 19628 301 301 0 22895 0 vsize: 92784 [startup+879.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 84477 0 0 0 87644 381 0 0 25 0 1 0 973323458 95145984 19651 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23229 19651 301 301 0 22928 0 vsize: 92916 [startup+889.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 85259 0 0 0 88641 384 0 0 25 0 1 0 973323458 95145984 19679 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23229 19679 301 301 0 22928 0 vsize: 92916 [startup+899.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 85655 0 0 0 89640 386 0 0 25 0 1 0 973323458 95145984 19698 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23229 19698 301 301 0 22928 0 vsize: 92916 [startup+909.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 86430 0 0 0 90637 389 0 0 25 0 1 0 973323458 95145984 19719 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23229 19719 301 301 0 22928 0 vsize: 92916 [startup+919.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 86827 0 0 0 91634 392 0 0 25 0 1 0 973323458 95277056 19739 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23261 19739 301 301 0 22960 0 vsize: 93044 [startup+929.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 87604 0 0 0 92631 396 0 0 25 0 1 0 973323458 95277056 19762 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23261 19762 301 301 0 22960 0 vsize: 93044 [startup+939.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 88391 0 0 0 93626 401 0 0 25 0 1 0 973323458 96821248 20172 4294967295 134512640 135730672 3221224576 3221222760 134765477 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23638 20172 301 301 0 23337 0 vsize: 94552 [startup+949.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 88802 0 0 0 94625 403 0 0 25 0 1 0 973323458 95408128 19829 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23293 19829 301 301 0 22992 0 vsize: 93172 [startup+959.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 89592 0 0 0 95620 408 0 0 25 0 1 0 973323458 97091584 20242 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23704 20242 301 301 0 23403 0 vsize: 94816 [startup+969.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 89995 0 0 0 96617 411 0 0 25 0 1 0 973323458 95547392 19891 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23327 19891 301 301 0 23026 0 vsize: 93308 [startup+979.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 90393 0 0 0 97615 414 0 0 25 0 1 0 973323458 95547392 19912 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23327 19912 301 301 0 23026 0 vsize: 93308 [startup+989.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 90800 0 0 0 98612 417 0 0 25 0 1 0 973323458 95547392 19942 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23327 19942 301 301 0 23026 0 vsize: 93308 [startup+999.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 91576 0 0 0 99609 421 0 0 25 0 1 0 973323458 95682560 19964 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23360 19964 301 301 0 23059 0 vsize: 93440 [startup+1010 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 91984 0 0 0 100606 424 0 0 25 0 1 0 973323458 95682560 19995 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23360 19995 301 301 0 23059 0 vsize: 93440 [startup+1020 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 92760 0 0 0 101603 427 0 0 25 0 1 0 973323458 97226752 20394 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23737 20394 301 301 0 23436 0 vsize: 94948 [startup+1030 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 93165 0 0 0 102600 431 0 0 25 0 1 0 973323458 95682560 20045 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23360 20045 301 301 0 23059 0 vsize: 93440 [startup+1040 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 93572 0 0 0 103597 434 0 0 25 0 1 0 973323458 95813632 20075 4294967295 134512640 135730672 3221224576 3221223088 134745785 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23392 20075 301 301 0 23091 0 vsize: 93568 [startup+1050 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 94348 0 0 0 104594 437 0 0 25 0 1 0 973323458 95813632 20097 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23392 20097 301 301 0 23091 0 vsize: 93568 [startup+1060 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 94747 0 0 0 105591 440 0 0 25 0 1 0 973323458 95948800 20119 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23425 20119 301 301 0 23124 0 vsize: 93700 [startup+1070 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 95143 0 0 0 106589 443 0 0 25 0 1 0 973323458 95948800 20138 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23425 20138 301 301 0 23124 0 vsize: 93700 [startup+1080 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 95919 0 0 0 107586 446 0 0 25 0 1 0 973323458 95948800 20160 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23425 20160 301 301 0 23124 0 vsize: 93700 [startup+1090 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 96320 0 0 0 108583 449 0 0 25 0 1 0 973323458 95948800 20184 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23425 20184 301 301 0 23124 0 vsize: 93700 [startup+1100 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 97099 0 0 0 109579 454 0 0 25 0 1 0 973323458 97628160 20586 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23835 20586 301 301 0 23534 0 vsize: 95340 [startup+1110 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 97506 0 0 0 110576 457 0 0 25 0 1 0 973323458 96083968 20239 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23458 20239 301 301 0 23157 0 vsize: 93832 [startup+1120 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 97913 0 0 0 111574 459 0 0 25 0 1 0 973323458 96083968 20269 4294967295 134512640 135730672 3221224576 3221223232 134734837 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23458 20269 301 301 0 23157 0 vsize: 93832 [startup+1130 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 98309 0 0 0 112572 462 0 0 25 0 1 0 973323458 96083968 20288 4294967295 134512640 135730672 3221224576 3221223088 134746185 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23458 20288 301 301 0 23157 0 vsize: 93832 [startup+1140 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 99085 0 0 0 113570 464 0 0 25 0 1 0 973323458 96215040 20310 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23490 20310 301 301 0 23189 0 vsize: 93960 [startup+1150 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 99509 0 0 0 114567 467 0 0 25 0 1 0 973323458 96387072 20357 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23532 20357 301 301 0 23231 0 vsize: 94128 [startup+1160 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 99903 0 0 0 115564 471 0 0 25 0 1 0 973323458 96387072 20374 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23532 20374 301 301 0 23231 0 vsize: 94128 [startup+1170 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 100668 0 0 0 116561 474 0 0 25 0 1 0 973323458 96387072 20385 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23532 20385 301 301 0 23231 0 vsize: 94128 [startup+1180 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 101067 0 0 0 117559 477 0 0 25 0 1 0 973323458 96387072 20407 4294967295 134512640 135730672 3221224576 3221223056 134732800 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23532 20407 301 301 0 23231 0 vsize: 94128 [startup+1190 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 101468 0 0 0 118556 480 0 0 25 0 1 0 973323458 96522240 20431 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23565 20431 301 301 0 23264 0 vsize: 94260 [startup+1200 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25772 Raw data (stat): 25772 (pb2sat-v2) R 25771 25568 25567 0 -1 0 101875 0 0 0 119553 484 0 0 25 0 1 0 973323458 96522240 20461 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23565 20461 301 301 0 23264 0 vsize: 94260 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.5 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 25772 Raw data (stat): 25772 (pb2sat-v2) Z 25771 25568 25567 0 -1 12 101877 0 0 0 119597 488 0 0 25 0 1 0 973323458 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.5 CPU time (s): 1200.87 CPU user time (s): 1195.98 CPU system time (s): 4.88626 CPU usage (%): 100.031 Max. virtual memory (Kb): 95340 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####