Name | normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb |
MD5SUM | 552cc7fcebca47ae66a3cb1c13679513 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 103 |
Number of bits of the biggest sum of numbers | 7 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 4602 |
Total number of constraints | 34781 |
Number of constraints which are clauses | 29160 |
Number of constraints which are cardinality constraints (but not clauses) | 5543 |
Number of constraints which are nor clauses,nor cardinality constraints | 78 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 29 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-06-16 04:03:33 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25457 boxname=wulflinc4 idbench=359 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 552cc7fcebca47ae66a3cb1c13679513 /oldhome/oroussel/tmp/wulflinc4/normalized-ppp:1-11,19,21.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-ppp:1-11,19,21.opb IDLAUNCH: 25457 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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 : 2 cpu MHz : 451.169 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: 735832 kB Buffers: 34000 kB Cached: 242632 kB SwapCached: 944 kB Active: 45292 kB Inactive: 233416 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 735580 kB SwapTotal: 2097136 kB SwapFree: 2095208 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4996 kB Slab: 14360 kB Committed_AS: 71872 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 04:23:36 (client local time) WITH STATUS 0 IN 1200.88 SECONDS stats: 25457 7 1200.88 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 7711/28160 Time: 23.6904/86400 c Decision: 7711/28160 Time: 27.3388/86400 c Decision: 7711/28160 Time: 30.8773/86400 c Decision: 7711/28160 Time: 35.0257/86400 c Decision: 7711/28160 Time: 38.9811/86400 c Decision: 7711/28160 Time: 42.5515/86400 c Decision: 7711/28160 Time: 46.4259/86400 c Decision: 7711/28160 Time: 50.5743/86400 c Decision: 7711/28160 Time: 55.1096/86400 c Decision: 7711/28160 Time: 58.1522/86400 c Decision: 7711/28160 Time: 61.5106/86400 c Decision: 7711/28160 Time: 64.4442/86400 c Decision: 7711/28160 Time: 67.8607/86400 c Decision: 7711/28160 Time: 70.9862/86400 c Decision: 7711/28160 Time: 74.1527/86400 c Decision: 7711/28160 Time: 78.5341/86400 c Decision: 7711/28160 Time: 82.2115/86400 c Decision: 7711/28160 Time: 85.8789/86400 c Decision: 7711/28160 Time: 89.0195/86400 c Decision: 7711/28160 Time: 92.6699/86400 c Decision: 7711/28160 Time: 96.4223/86400 c Decision: 7711/28160 Time: 100.863/86400 c Decision: 7711/28160 Time: 105.187/86400 c Decision: 7711/28160 Time: 110.121/86400 c Decision: 7711/28160 Time: 114.766/86400 c Decision: 7711/28160 Time: 119.275/86400 c Decision: 7711/28160 Time: 123.811/86400 c Decision: 7711/28160 Time: 128.281/86400 c Decision: 7711/28160 Time: 132.682/86400 c Decision: 7711/28160 Time: 137.323/86400 c Decision: 7711/28160 Time: 141.941/86400 c Decision: 7711/28160 Time: 146.689/86400 c Decision: 7711/28160 Time: 151.843/86400 c Decision: 7711/28160 Time: 156.612/86400 c Decision: 7711/28160 Time: 162.062/86400 c Decision: 7711/28160 Time: 166.721/86400 c Decision: 7711/28160 Time: 171.855/86400 c Decision: 7711/28160 Time: 177.352/86400 c Decision: 7711/28160 Time: 182.578/86400 c Decision: 7711/28160 Time: 187.978/86400 c Decision: 7711/28160 Time: 193.633/86400 c Decision: 7711/28160 Time: 198.976/86400 c Decision: 7711/28160 Time: 204.019/86400 c Decision: 7711/28160 Time: 210.273/86400 c Decision: 7711/28160 Time: 216.379/86400 c Decision: 7711/28160 Time: 221.89/86400 c Decision: 7711/28160 Time: 228.526/86400 c Decision: 7711/28160 Time: 234.102/86400 c Decision: 7711/28160 Time: 239.976/86400 c Decision: 7711/28160 Time: 245.309/86400 c Decision: 7711/28160 Time: 251.663/86400 c Decision: 7711/28160 Time: 257.704/86400 c Decision: 7711/28160 Time: 263.758/86400 c Decision: 7711/28160 Time: 268.816/86400 c Decision: 7711/28160 Time: 273.043/86400 c Decision: 7711/28160 Time: 277.325/86400 c Decision: 7711/28160 Time: 281.168/86400 c Decision: 7711/28160 Time: 284.155/86400 c Decision: 7711/28160 Time: 288.315/86400 c Decision: 7711/28160 Time: 292.618/86400 c Decision: 7711/28160 Time: 297.287/86400 c Decision: 7711/28160 Time: 301.502/86400 c Decision: 7711/28160 Time: 305.914/86400 c Decision: 7711/28160 Time: 310.018/86400 c Decision: 7711/28160 Time: 315.221/86400 c Decision: 7711/28160 Time: 319.57/86400 c Decision: 7711/28160 Time: 324.3/86400 c Decision: 7711/28160 Time: 329.008/86400 c Decision: 7711/28160 Time: 333.95/86400 c Decision: 7711/28160 Time: 338.459/86400 c Decision: 7711/28160 Time: 344.443/86400 c Decision: 7711/28160 Time: 350.111/86400 c Decision: 7711/28160 Time: 355.924/86400 c Decision: 7711/28160 Time: 360.666/86400 c Decision: 7711/28160 Time: 366.111/86400 c Decision: 7711/28160 Time: 372.157/86400 c Decision: 7711/28160 Time: 377.481/86400 c Decision: 7711/28160 Time: 382.415/86400 c Decision: 7711/28160 Time: 388.095/86400 c Decision: 7711/28160 Time: 393.931/86400 c Decision: 7711/28160 Time: 400.833/86400 c Decision: 7711/28160 Time: 406.792/86400 c Decision: 7711/28160 Time: 413.62/86400 c Decision: 7711/28160 Time: 420.642/86400 c Decision: 7711/28160 Time: 426.086/86400 c Decision: 7711/28160 Time: 431.836/86400 c Decision: 7711/28160 Time: 438.539/86400 c Decision: 7711/28160 Time: 444.304/86400 c Decision: 7711/28160 Time: 450.572/86400 c Decision: 7711/28160 Time: 457.285/86400 c Decision: 7711/28160 Time: 464.054/86400 c Decision: 7711/28160 Time: 471.399/86400 c Decision: 7711/28160 Time: 478.363/86400 c Decision: 7711/28160 Time: 484.279/86400 c Decision: 7711/28160 Time: 490.167/86400 c Decision: 7711/28160 Time: 497.088/86400 c Decision: 7711/28160 Time: 503.737/86400 c Decision: 7711/28160 Time: 510.921/86400 c Decision: 7711/28160 Time: 517.369/86400 c Decision: 7711/28160 Time: 524.2/86400 c Decision: 7711/28160 Time: 531.775/86400 c Decision: 7711/28160 Time: 539.106/86400 c Decision: 7711/28160 Time: 545.906/86400 c Decision: 7711/28160 Time: 553.847/86400 c Decision: 7711/28160 Time: 561.513/86400 c Decision: 7711/28160 Time: 568.254/86400 c Decision: 7711/28160 Time: 574.961/86400 c Decision: 7711/28160 Time: 583.424/86400 c Decision: 7711/28160 Time: 591.207/86400 c Decision: 7711/28160 Time: 600.159/86400 c Decision: 7711/28160 Time: 608.045/86400 c Decision: 7711/28160 Time: 615.818/86400 c Decision: 7711/28160 Time: 624.333/86400 c Decision: 7711/28160 Time: 632.373/86400 c Decision: 7711/28160 Time: 639.455/86400 c Decision: 7711/28160 Time: 646.215/86400 c Decision: 7711/28160 Time: 654.199/86400 c Decision: 7711/28160 Time: 663.787/86400 c Decision: 7711/28160 Time: 673.283/86400 c Decision: 7711/28160 Time: 683.327/86400 c Decision: 7711/28160 Time: 692.595/86400 c Decision: 7711/28160 Time: 702.284/86400 c Decision: 7711/28160 Time: 711.067/86400 c Decision: 7711/28160 Time: 719.348/86400 c Decision: 7711/28160 Time: 727.546/86400 c Decision: 7711/28160 Time: 736.329/86400 c Decision: 7711/28160 Time: 746.29/86400 c Decision: 7711/28160 Time: 755.219/86400 c Decision: 7711/28160 Time: 765.095/86400 c Decision: 7711/28160 Time: 773.234/86400 c Decision: 7711/28160 Time: 782.421/86400 c Decision: 7711/28160 Time: 790.72/86400 c Decision: 7711/28160 Time: 799.489/86400 c Decision: 7711/28160 Time: 810.26/86400 c Decision: 7711/28160 Time: 819.456/86400 c Decision: 7711/28160 Time: 828.154/86400 c Decision: 7711/28160 Time: 838.46/86400 c Decision: 7711/28160 Time: 848.644/86400 c Decision: 7711/28160 Time: 857.831/86400 c Decision: 7711/28160 Time: 868.108/86400 c Decision: 7711/28160 Time: 877.906/86400 c Decision: 7711/28160 Time: 885.637/86400 c Decision: 7711/28160 Time: 894.296/86400 c Decision: 7711/28160 Time: 905.765/86400 c Decision: 7711/28160 Time: 915.223/86400 c Decision: 7711/28160 Time: 924.836/86400 c Decision: 7711/28160 Time: 934.61/86400 c Decision: 7711/28160 Time: 944.614/86400 c Decision: 7711/28160 Time: 952.133/86400 c Decision: 7711/28160 Time: 959.739/86400 c Decision: 7711/28160 Time: 967.41/86400 c Decision: 7711/28160 Time: 974.435/86400 c Decision: 7711/28160 Time: 980.807/86400 c Decision: 7711/28160 Time: 985.74/86400 c Decision: 7711/28160 Time: 990.993/86400 c Decision: 7711/28160 Time: 997.314/86400 c Decision: 7711/28160 Time: 1003.81/86400 c Decision: 7711/28160 Time: 1009.87/86400 c Decision: 7711/28160 Time: 1016.5/86400 c Decision: 7711/28160 Time: 1023.13/86400 c Decision: 7711/28160 Time: 1029.93/86400 c Decision: 7711/28160 Time: 1036.81/86400 c Decision: 7711/28160 Time: 1043.48/86400 c Decision: 7711/28160 Time: 1050.33/86400 c Decision: 7711/28160 Time: 1057.07/86400 c Decision: 7711/28160 Time: 1062.36/86400 c Decision: 7711/28160 Time: 1066.8/86400 c Decision: 7711/28160 Time: 1070.81/86400 c Decision: 7711/28160 Time: 1074.16/86400 c Decision: 7711/28160 Time: 1077.66/86400 c Decision: 7711/28160 Time: 1081.64/86400 c Decision: 7711/28160 Time: 1085.47/86400 c Decision: 7711/28160 Time: 1089.7/86400 c Decision: 7711/28160 Time: 1093.59/86400 c Decision: 7711/28160 Time: 1097.79/86400 c Decision: 7711/28160 Time: 1102.71/86400 c Decision: 7711/28160 Time: 1106.75/86400 c Decision: 7711/28160 Time: 1110.29/86400 c Decision: 7711/28160 Time: 1113.89/86400 c Decision: 7711/28160 Time: 1118.52/86400 c Decision: 7711/28160 Time: 1123.65/86400 c Decision: 7711/28160 Time: 1128.14/86400 c Decision: 7711/28160 Time: 1132.59/86400 c Decision: 7711/28160 Time: 1137.32/86400 c Decision: 7711/28160 Time: 1142.06/86400 c Decision: 7711/28160 Time: 1147.87/86400 c Decision: 7711/28160 Time: 1153.45/86400 c Decision: 7711/28160 Time: 1159.1/86400 c Decision: 7711/28160 Time: 1164.03/86400 c Decision: 7711/28160 Time: 1169.41/86400 c Decision: 7711/28160 Time: 1174.88/86400 c Decision: 7711/28160 Time: 1178.73/86400 c Decision: 7711/28160 Time: 1183.31/86400 c Decision: 7711/28160 Time: 1189.23/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.83 0.92 0.90 1/54 20585 Raw data (stat): 20585 (runsolver) R 20584 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 967724774 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.0012 s] Raw data (loadavg): 0.85 0.92 0.90 2/54 20585 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 4222 0 0 0 986 12 0 0 25 0 1 0 967724774 15306752 2842 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3737 2842 301 301 0 3436 0 vsize: 14948 [startup+20.0022 s] Raw data (loadavg): 0.88 0.92 0.90 2/54 20585 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 4422 0 0 0 1979 19 0 0 25 0 1 0 967724774 15581184 3042 4294967295 134512640 135730672 3221224576 3221223120 134740429 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3804 3042 301 301 0 3503 0 vsize: 15216 [startup+30.0015 s] Raw data (loadavg): 0.89 0.92 0.90 2/54 20585 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 4621 0 0 0 2972 27 0 0 25 0 1 0 967724774 15851520 3185 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3870 3185 301 301 0 3569 0 vsize: 15480 [startup+40.0028 s] Raw data (loadavg): 0.91 0.92 0.90 2/54 20585 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 4879 0 0 0 3964 34 0 0 25 0 1 0 967724774 16121856 3331 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3936 3331 301 301 0 3635 0 vsize: 15744 [startup+50.0037 s] Raw data (loadavg): 0.92 0.93 0.90 2/54 20585 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 5068 0 0 0 4958 41 0 0 25 0 1 0 967724774 16257024 3408 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3969 3408 301 301 0 3668 0 vsize: 15876 [startup+60.0041 s] Raw data (loadavg): 0.93 0.93 0.90 2/54 20585 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 5282 0 0 0 5951 48 0 0 25 0 1 0 967724774 16388096 3454 4294967295 134512640 135730672 3221224576 3221223072 134747597 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4001 3454 301 301 0 3700 0 vsize: 16004 [startup+70.0044 s] Raw data (loadavg): 0.94 0.93 0.91 2/54 20585 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 5521 0 0 0 6944 55 0 0 25 0 1 0 967724774 16519168 3525 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4033 3525 301 301 0 3732 0 vsize: 16132 [startup+80.0053 s] Raw data (loadavg): 0.95 0.93 0.91 2/54 20585 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 5759 0 0 0 7935 64 0 0 25 0 1 0 967724774 16789504 3595 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4099 3595 301 301 0 3798 0 vsize: 16396 [startup+90.0057 s] Raw data (loadavg): 0.96 0.93 0.91 2/54 20585 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 5971 0 0 0 8928 71 0 0 25 0 1 0 967724774 16924672 3639 4294967295 134512640 135730672 3221224576 3221223072 134747802 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4132 3639 301 301 0 3831 0 vsize: 16528 [startup+100.006 s] Raw data (loadavg): 0.96 0.93 0.91 2/54 20585 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 6910 0 0 0 9919 80 0 0 25 0 1 0 967724774 20205568 3697 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4933 3697 301 301 0 4632 0 vsize: 19732 [startup+110.007 s] Raw data (loadavg): 0.97 0.94 0.91 2/54 20585 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 7132 0 0 0 10914 86 0 0 25 0 1 0 967724774 20475904 3751 4294967295 134512640 135730672 3221224576 3221223072 134747856 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4999 3751 301 301 0 4698 0 vsize: 19996 [startup+120.007 s] Raw data (loadavg): 0.97 0.94 0.91 2/54 20585 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 7319 0 0 0 11907 93 0 0 25 0 1 0 967724774 20611072 3826 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5032 3826 301 301 0 4731 0 vsize: 20128 [startup+130.007 s] Raw data (loadavg): 0.98 0.94 0.91 2/54 20585 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 7493 0 0 0 12902 98 0 0 25 0 1 0 967724774 20746240 3888 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5065 3888 301 301 0 4764 0 vsize: 20260 [startup+140.009 s] Raw data (loadavg): 0.98 0.94 0.91 2/54 20585 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 7676 0 0 0 13897 103 0 0 25 0 1 0 967724774 20881408 3959 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5098 3959 301 301 0 4797 0 vsize: 20392 [startup+150.009 s] Raw data (loadavg): 0.98 0.94 0.91 2/54 20585 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 7869 0 0 0 14893 107 0 0 25 0 1 0 967724774 21016576 4040 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5131 4040 301 301 0 4830 0 vsize: 20524 [startup+160.009 s] Raw data (loadavg): 0.98 0.94 0.91 2/54 20585 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 8019 0 0 0 15888 112 0 0 25 0 1 0 967724774 21151744 4078 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5164 4078 301 301 0 4863 0 vsize: 20656 [startup+170.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 20585 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 8207 0 0 0 16882 119 0 0 25 0 1 0 967724774 21291008 4154 4294967295 134512640 135730672 3221224576 3221223200 134748101 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5198 4154 301 301 0 4897 0 vsize: 20792 [startup+180.009 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 20585 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 8363 0 0 0 17877 123 0 0 25 0 1 0 967724774 21426176 4198 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5231 4198 301 301 0 4930 0 vsize: 20924 [startup+190.011 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 20585 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 8537 0 0 0 18873 128 0 0 25 0 1 0 967724774 21561344 4260 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5264 4260 301 301 0 4963 0 vsize: 21056 [startup+200.012 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 20585 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 8718 0 0 0 19868 133 0 0 25 0 1 0 967724774 21561344 4329 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5264 4329 301 301 0 4963 0 vsize: 21056 [startup+210.012 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 20585 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 8867 0 0 0 20864 138 0 0 25 0 1 0 967724774 21696512 4366 4294967295 134512640 135730672 3221224576 3221223200 134748114 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5297 4366 301 301 0 4996 0 vsize: 21188 [startup+220.013 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 20585 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 8980 0 0 0 21859 142 0 0 25 0 1 0 967724774 26025984 4423 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6354 4423 301 301 0 6053 0 vsize: 25416 [startup+230.013 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 20585 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 9165 0 0 0 22856 146 0 0 25 0 1 0 967724774 26161152 4496 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6387 4496 301 301 0 6086 0 vsize: 25548 [startup+240.014 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 20585 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 9321 0 0 0 23851 151 0 0 25 0 1 0 967724774 26296320 4540 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6420 4540 301 301 0 6119 0 vsize: 25680 [startup+250.014 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 20585 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 9517 0 0 0 24845 157 0 0 25 0 1 0 967724774 26296320 4624 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6420 4624 301 301 0 6119 0 vsize: 25680 [startup+260.015 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 20585 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 9621 0 0 0 25841 162 0 0 25 0 1 0 967724774 26431488 4672 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6453 4672 301 301 0 6152 0 vsize: 25812 [startup+270.015 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 20585 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 9751 0 0 0 26837 165 0 0 25 0 1 0 967724774 26431488 4690 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6453 4690 301 301 0 6152 0 vsize: 25812 [startup+280.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 20585 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 9881 0 0 0 27832 170 0 0 25 0 1 0 967724774 26431488 4708 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6453 4708 301 301 0 6152 0 vsize: 25812 [startup+290.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 20585 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 10070 0 0 0 28828 175 0 0 25 0 1 0 967724774 26566656 4729 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6486 4729 301 301 0 6185 0 vsize: 25944 [startup+300.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 20585 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 10208 0 0 0 29823 180 0 0 25 0 1 0 967724774 26566656 4755 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6486 4755 301 301 0 6185 0 vsize: 25944 [startup+310.016 s] Raw data (loadavg): 0.99 0.96 0.91 3/57 20603 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 10421 0 0 0 30815 188 0 0 25 0 1 0 967724774 26701824 4800 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6519 4800 301 301 0 6218 0 vsize: 26076 [startup+320.195 s] Raw data (loadavg): 1.22 1.01 0.93 2/58 20628 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 10563 0 0 0 31807 195 0 0 25 0 1 0 967724774 26836992 4830 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6552 4830 301 301 0 6251 0 vsize: 26208 [startup+330.326 s] Raw data (loadavg): 1.19 1.01 0.93 3/57 20629 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 10735 0 0 0 32815 200 0 0 25 0 1 0 967724774 26972160 4890 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6585 4890 301 301 0 6284 0 vsize: 26340 [startup+340.399 s] Raw data (loadavg): 1.31 1.04 0.94 2/57 20637 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 10884 0 0 0 33818 204 0 0 25 0 1 0 967724774 27107328 4927 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6618 4927 301 301 0 6317 0 vsize: 26472 [startup+350.399 s] Raw data (loadavg): 1.34 1.06 0.94 2/54 20638 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 11060 0 0 0 34814 209 0 0 25 0 1 0 967724774 27107328 4991 4294967295 134512640 135730672 3221224576 3221223072 134747862 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6618 4991 301 301 0 6317 0 vsize: 26472 [startup+360.695 s] Raw data (loadavg): 1.28 1.05 0.94 2/54 20638 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 11206 0 0 0 35829 213 0 0 25 0 1 0 967724774 27242496 5025 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6651 5025 301 301 0 6350 0 vsize: 26604 [startup+370.859 s] Raw data (loadavg): 1.24 1.05 0.94 2/54 20638 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 11377 0 0 0 36841 217 0 0 25 0 1 0 967724774 27381760 5084 4294967295 134512640 135730672 3221224576 3221223072 134747772 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6685 5084 301 301 0 6384 0 vsize: 26740 [startup+380.859 s] Raw data (loadavg): 1.20 1.05 0.94 2/54 20638 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 11490 0 0 0 37836 222 0 0 25 0 1 0 967724774 27521024 5141 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6719 5141 301 301 0 6418 0 vsize: 26876 [startup+390.859 s] Raw data (loadavg): 1.17 1.05 0.94 2/54 20638 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 11646 0 0 0 38832 227 0 0 25 0 1 0 967724774 27656192 5185 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6752 5185 301 301 0 6451 0 vsize: 27008 [startup+400.86 s] Raw data (loadavg): 1.14 1.05 0.94 2/54 20638 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 11846 0 0 0 39827 231 0 0 25 0 1 0 967724774 27791360 5273 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6785 5273 301 301 0 6484 0 vsize: 27140 [startup+410.86 s] Raw data (loadavg): 1.12 1.04 0.94 2/54 20640 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 11957 0 0 0 40822 236 0 0 25 0 1 0 967724774 27926528 5328 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6818 5328 301 301 0 6517 0 vsize: 27272 [startup+420.86 s] Raw data (loadavg): 1.10 1.04 0.94 2/54 20640 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 12105 0 0 0 41819 240 0 0 25 0 1 0 967724774 28065792 5364 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6852 5364 301 301 0 6551 0 vsize: 27408 [startup+430.86 s] Raw data (loadavg): 1.09 1.04 0.94 2/54 20640 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 12254 0 0 0 42815 244 0 0 25 0 1 0 967724774 28065792 5401 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6852 5401 301 301 0 6551 0 vsize: 27408 [startup+440.861 s] Raw data (loadavg): 1.07 1.04 0.94 2/54 20640 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 12374 0 0 0 43812 247 0 0 25 0 1 0 967724774 28205056 5465 4294967295 134512640 135730672 3221224576 3221223184 134745343 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6886 5465 301 301 0 6585 0 vsize: 27544 [startup+450.861 s] Raw data (loadavg): 1.06 1.04 0.94 2/54 20640 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 12517 0 0 0 44810 250 0 0 25 0 1 0 967724774 28340224 5496 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6919 5496 301 301 0 6618 0 vsize: 27676 [startup+460.862 s] Raw data (loadavg): 1.05 1.03 0.94 2/54 20640 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 12648 0 0 0 45807 253 0 0 25 0 1 0 967724774 28487680 5571 4294967295 134512640 135730672 3221224576 3221222896 134732804 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6955 5571 301 301 0 6654 0 vsize: 27820 [startup+470.862 s] Raw data (loadavg): 1.04 1.03 0.94 2/54 20640 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 12831 0 0 0 46804 256 0 0 25 0 1 0 967724774 28622848 5642 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6988 5642 301 301 0 6687 0 vsize: 27952 [startup+480.863 s] Raw data (loadavg): 1.04 1.03 0.94 2/54 20640 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 12906 0 0 0 47800 260 0 0 25 0 1 0 967724774 28622848 5661 4294967295 134512640 135730672 3221224576 3221223072 134747711 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6988 5661 301 301 0 6687 0 vsize: 27952 [startup+490.863 s] Raw data (loadavg): 1.03 1.03 0.94 2/54 20640 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 13041 0 0 0 48796 264 0 0 25 0 1 0 967724774 28766208 5684 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7023 5684 301 301 0 6722 0 vsize: 28092 [startup+500.864 s] Raw data (loadavg): 1.02 1.03 0.94 2/54 20640 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 13151 0 0 0 49793 268 0 0 25 0 1 0 967724774 28766208 5738 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7023 5738 301 301 0 6722 0 vsize: 28092 [startup+510.865 s] Raw data (loadavg): 1.02 1.03 0.94 2/54 20640 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 13287 0 0 0 50790 271 0 0 25 0 1 0 967724774 28901376 5762 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7056 5762 301 301 0 6755 0 vsize: 28224 [startup+520.865 s] Raw data (loadavg): 1.02 1.03 0.94 2/54 20640 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 13357 0 0 0 51787 274 0 0 25 0 1 0 967724774 28901376 5776 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7056 5776 301 301 0 6755 0 vsize: 28224 [startup+530.865 s] Raw data (loadavg): 1.01 1.02 0.94 2/54 20640 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 13493 0 0 0 52784 277 0 0 25 0 1 0 967724774 28901376 5800 4294967295 134512640 135730672 3221224576 3221223072 134747862 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7056 5800 301 301 0 6755 0 vsize: 28224 [startup+540.865 s] Raw data (loadavg): 1.01 1.02 0.94 2/54 20640 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 13568 0 0 0 53781 280 0 0 25 0 1 0 967724774 29036544 5819 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7089 5819 301 301 0 6788 0 vsize: 28356 [startup+550.866 s] Raw data (loadavg): 1.01 1.02 0.94 2/54 20640 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 13705 0 0 0 54778 284 0 0 25 0 1 0 967724774 29036544 5844 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7089 5844 301 301 0 6788 0 vsize: 28356 [startup+560.867 s] Raw data (loadavg): 1.01 1.02 0.94 2/54 20640 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 13769 0 0 0 55775 287 0 0 25 0 1 0 967724774 29036544 5852 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7089 5852 301 301 0 6788 0 vsize: 28356 [startup+570.867 s] Raw data (loadavg): 1.01 1.02 0.94 2/54 20640 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 13904 0 0 0 56770 292 0 0 25 0 1 0 967724774 29184000 5931 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7125 5931 301 301 0 6824 0 vsize: 28500 [startup+580.867 s] Raw data (loadavg): 1.00 1.02 0.94 2/54 20640 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 14050 0 0 0 57767 295 0 0 25 0 1 0 967724774 29331456 5965 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7161 5965 301 301 0 6860 0 vsize: 28644 [startup+590.868 s] Raw data (loadavg): 1.00 1.02 0.94 2/54 20640 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 14128 0 0 0 58763 299 0 0 25 0 1 0 967724774 29331456 5987 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7161 5987 301 301 0 6860 0 vsize: 28644 [startup+600.868 s] Raw data (loadavg): 1.00 1.02 0.94 2/54 20640 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 14200 0 0 0 59759 303 0 0 25 0 1 0 967724774 29331456 6003 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7161 6003 301 301 0 6860 0 vsize: 28644 [startup+610.869 s] Raw data (loadavg): 1.00 1.02 0.94 2/54 20640 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 14278 0 0 0 60756 307 0 0 25 0 1 0 967724774 29470720 6025 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7195 6025 301 301 0 6894 0 vsize: 28780 [startup+620.869 s] Raw data (loadavg): 1.00 1.02 0.94 2/54 20640 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 14413 0 0 0 61753 310 0 0 25 0 1 0 967724774 29470720 6048 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7195 6048 301 301 0 6894 0 vsize: 28780 [startup+630.868 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 20640 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 14489 0 0 0 62751 312 0 0 25 0 1 0 967724774 29618176 6068 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7231 6068 301 301 0 6930 0 vsize: 28924 [startup+640.87 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 20640 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 14559 0 0 0 63748 316 0 0 25 0 1 0 967724774 29618176 6082 4294967295 134512640 135730672 3221224576 3221223072 134747519 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7231 6082 301 301 0 6930 0 vsize: 28924 [startup+650.869 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 14735 0 0 0 64744 319 0 0 25 0 1 0 967724774 29765632 6146 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7267 6146 301 301 0 6966 0 vsize: 29068 [startup+660.87 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 14812 0 0 0 65742 322 0 0 25 0 1 0 967724774 29765632 6167 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7267 6167 301 301 0 6966 0 vsize: 29068 [startup+670.87 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 14886 0 0 0 66738 326 0 0 25 0 1 0 967724774 29913088 6185 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7303 6185 301 301 0 7002 0 vsize: 29212 [startup+680.87 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 14985 0 0 0 67734 329 0 0 25 0 1 0 967724774 30052352 6228 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7337 6228 301 301 0 7036 0 vsize: 29348 [startup+690.871 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 15108 0 0 0 68732 332 0 0 25 0 1 0 967724774 30052352 6295 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7337 6295 301 301 0 7036 0 vsize: 29348 [startup+700.871 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 15210 0 0 0 69728 336 0 0 25 0 1 0 967724774 30191616 6341 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7371 6341 301 301 0 7070 0 vsize: 29484 [startup+710.871 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 15294 0 0 0 70726 338 0 0 25 0 1 0 967724774 30191616 6369 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7371 6369 301 301 0 7070 0 vsize: 29484 [startup+720.871 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 15392 0 0 0 71723 342 0 0 25 0 1 0 967724774 30470144 6411 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7439 6411 301 301 0 7138 0 vsize: 29756 [startup+730.871 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 15507 0 0 0 72720 344 0 0 25 0 1 0 967724774 30470144 6470 4294967295 134512640 135730672 3221224576 3221223056 134732790 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7439 6470 301 301 0 7138 0 vsize: 29756 [startup+740.872 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 15675 0 0 0 73717 348 0 0 25 0 1 0 967724774 30470144 6526 4294967295 134512640 135730672 3221224576 3221222816 134813921 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7439 6526 301 301 0 7138 0 vsize: 29756 [startup+750.872 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 15742 0 0 0 74714 350 0 0 25 0 1 0 967724774 30470144 6537 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7439 6537 301 301 0 7138 0 vsize: 29756 [startup+760.872 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 15819 0 0 0 75711 354 0 0 25 0 1 0 967724774 30609408 6558 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7473 6558 301 301 0 7172 0 vsize: 29892 [startup+770.872 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 15889 0 0 0 76708 357 0 0 25 0 1 0 967724774 30609408 6572 4294967295 134512640 135730672 3221224576 3221223072 134747647 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7473 6572 301 301 0 7172 0 vsize: 29892 [startup+780.871 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 15969 0 0 0 77705 360 0 0 25 0 1 0 967724774 30756864 6596 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7509 6596 301 301 0 7208 0 vsize: 30036 [startup+790.872 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 16061 0 0 0 78702 363 0 0 25 0 1 0 967724774 30756864 6632 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7509 6632 301 301 0 7208 0 vsize: 30036 [startup+800.871 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 16144 0 0 0 79698 366 0 0 25 0 1 0 967724774 30916608 6659 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7548 6659 301 301 0 7247 0 vsize: 30192 [startup+810.872 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 16215 0 0 0 80696 369 0 0 25 0 1 0 967724774 30916608 6674 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7548 6674 301 301 0 7247 0 vsize: 30192 [startup+820.872 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 16282 0 0 0 81694 371 0 0 25 0 1 0 967724774 31064064 6685 4294967295 134512640 135730672 3221224576 3221223072 134747744 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7584 6685 301 301 0 7283 0 vsize: 30336 [startup+830.872 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 16353 0 0 0 82691 374 0 0 25 0 1 0 967724774 31064064 6700 4294967295 134512640 135730672 3221224576 3221223072 134747817 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7584 6700 301 301 0 7283 0 vsize: 30336 [startup+840.872 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 16430 0 0 0 83689 376 0 0 25 0 1 0 967724774 31064064 6721 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7584 6721 301 301 0 7283 0 vsize: 30336 [startup+850.872 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 16507 0 0 0 84686 379 0 0 25 0 1 0 967724774 31211520 6742 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7620 6742 301 301 0 7319 0 vsize: 30480 [startup+860.873 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 16580 0 0 0 85683 383 0 0 25 0 1 0 967724774 31211520 6759 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7620 6759 301 301 0 7319 0 vsize: 30480 [startup+870.872 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 16685 0 0 0 86679 387 0 0 25 0 1 0 967724774 31354880 6808 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7655 6808 301 301 0 7354 0 vsize: 30620 [startup+880.872 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 16787 0 0 0 87676 390 0 0 25 0 1 0 967724774 31354880 6854 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7655 6854 301 301 0 7354 0 vsize: 30620 [startup+890.873 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 16921 0 0 0 88674 392 0 0 25 0 1 0 967724774 31354880 6876 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7655 6876 301 301 0 7354 0 vsize: 30620 [startup+900.873 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 16990 0 0 0 89671 395 0 0 25 0 1 0 967724774 31354880 6889 4294967295 134512640 135730672 3221224576 3221223072 134747805 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7655 6889 301 301 0 7354 0 vsize: 30620 [startup+910.873 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 17051 0 0 0 90669 398 0 0 25 0 1 0 967724774 31354880 6894 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7655 6894 301 301 0 7354 0 vsize: 30620 [startup+920.874 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 17121 0 0 0 91666 400 0 0 25 0 1 0 967724774 31490048 6908 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7688 6908 301 301 0 7387 0 vsize: 30752 [startup+930.874 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 17194 0 0 0 92663 404 0 0 25 0 1 0 967724774 31490048 6925 4294967295 134512640 135730672 3221224576 3221223072 134747834 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7688 6925 301 301 0 7387 0 vsize: 30752 [startup+940.874 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 17264 0 0 0 93660 407 0 0 25 0 1 0 967724774 31490048 6939 4294967295 134512640 135730672 3221224576 3221223072 134747744 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7688 6939 301 301 0 7387 0 vsize: 30752 [startup+950.874 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 17330 0 0 0 94657 410 0 0 25 0 1 0 967724774 31637504 6949 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7724 6949 301 301 0 7423 0 vsize: 30896 [startup+960.874 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 17456 0 0 0 95653 414 0 0 25 0 1 0 967724774 31637504 7019 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7724 7019 301 301 0 7423 0 vsize: 30896 [startup+970.874 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 17563 0 0 0 96648 419 0 0 25 0 1 0 967724774 31637504 7070 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7724 7070 301 301 0 7423 0 vsize: 30896 [startup+980.874 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 17689 0 0 0 97644 423 0 0 25 0 1 0 967724774 31637504 7084 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7724 7084 301 301 0 7423 0 vsize: 30896 [startup+990.875 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 17814 0 0 0 98641 426 0 0 25 0 1 0 967724774 31776768 7097 4294967295 134512640 135730672 3221224576 3221223200 134748176 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7758 7097 301 301 0 7457 0 vsize: 31032 [startup+1000.87 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 17882 0 0 0 99639 429 0 0 25 0 1 0 967724774 31776768 7109 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7758 7109 301 301 0 7457 0 vsize: 31032 [startup+1010.88 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 18008 0 0 0 100634 434 0 0 25 0 1 0 967724774 31776768 7123 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7758 7123 301 301 0 7457 0 vsize: 31032 [startup+1020.88 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 18136 0 0 0 101631 437 0 0 25 0 1 0 967724774 31776768 7139 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7758 7139 301 301 0 7457 0 vsize: 31032 [startup+1030.88 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 18206 0 0 0 102627 441 0 0 25 0 1 0 967724774 31776768 7153 4294967295 134512640 135730672 3221224576 3221223164 134747723 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7758 7153 301 301 0 7457 0 vsize: 31032 [startup+1040.88 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 18276 0 0 0 103623 446 0 0 25 0 1 0 967724774 31907840 7167 4294967295 134512640 135730672 3221224576 3221223088 134746175 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7790 7167 301 301 0 7489 0 vsize: 31160 [startup+1050.88 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 18402 0 0 0 104619 450 0 0 25 0 1 0 967724774 31907840 7181 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7790 7181 301 301 0 7489 0 vsize: 31160 [startup+1060.88 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 18475 0 0 0 105615 454 0 0 25 0 1 0 967724774 31907840 7198 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7790 7198 301 301 0 7489 0 vsize: 31160 [startup+1070.88 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 18651 0 0 0 106611 458 0 0 25 0 1 0 967724774 32038912 7262 4294967295 134512640 135730672 3221224576 3221223088 134746211 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7822 7262 301 301 0 7521 0 vsize: 31288 [startup+1080.88 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 18879 0 0 0 107605 464 0 0 25 0 1 0 967724774 32309248 7322 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7888 7322 301 301 0 7587 0 vsize: 31552 [startup+1090.88 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 19101 0 0 0 108601 468 0 0 25 0 1 0 967724774 32444416 7376 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7921 7376 301 301 0 7620 0 vsize: 31684 [startup+1100.88 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 19274 0 0 0 109597 473 0 0 25 0 1 0 967724774 32579584 7437 4294967295 134512640 135730672 3221224576 3221223184 134745343 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7954 7437 301 301 0 7653 0 vsize: 31816 [startup+1110.88 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 19473 0 0 0 110591 479 0 0 25 0 1 0 967724774 32714752 7524 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7987 7524 301 301 0 7686 0 vsize: 31948 [startup+1120.88 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 19741 0 0 0 111586 484 0 0 25 0 1 0 967724774 32985088 7624 4294967295 134512640 135730672 3221224576 3221223232 134748656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8053 7624 301 301 0 7752 0 vsize: 32212 [startup+1130.88 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 19942 0 0 0 112581 489 0 0 25 0 1 0 967724774 41644032 7713 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10167 7713 301 301 0 9866 0 vsize: 40668 [startup+1140.88 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 20126 0 0 0 113576 494 0 0 25 0 1 0 967724774 41779200 7785 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10200 7785 301 301 0 9899 0 vsize: 40800 [startup+1150.88 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 20339 0 0 0 114573 498 0 0 25 0 1 0 967724774 41918464 7886 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10234 7886 301 301 0 9933 0 vsize: 40936 [startup+1160.88 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 20484 0 0 0 115568 503 0 0 25 0 1 0 967724774 41918464 7919 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10234 7919 301 301 0 9933 0 vsize: 40936 [startup+1170.88 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 20627 0 0 0 116564 507 0 0 25 0 1 0 967724774 42053632 7950 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10267 7950 301 301 0 9966 0 vsize: 41068 [startup+1180.88 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 20823 0 0 0 117561 510 0 0 25 0 1 0 967724774 42188800 8034 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10300 8034 301 301 0 9999 0 vsize: 41200 [startup+1190.88 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 20991 0 0 0 118558 514 0 0 25 0 1 0 967724774 42323968 8090 4294967295 134512640 135730672 3221224576 3221223072 134747566 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10333 8090 301 301 0 10032 0 vsize: 41332 [startup+1200.88 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 20642 Raw data (stat): 20585 (pb2sat-v2) R 20584 21152 21151 0 -1 0 21105 0 0 0 119554 517 0 0 25 0 1 0 967724774 42594304 8148 4294967295 134512640 135730672 3221224576 3221223088 134746523 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10399 8148 301 301 0 10098 0 vsize: 41596 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1201.03 s] Raw data (loadavg): 1.00 1.00 0.94 1/54 20642 Raw data (stat): 20585 (pb2sat-v2) Z 20584 21152 21151 0 -1 12 21107 0 0 0 119568 519 0 0 25 0 1 0 967724774 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 0 Real time (s): 1201.03 CPU time (s): 1200.88 CPU user time (s): 1195.68 CPU system time (s): 5.19421 CPU usage (%): 99.9869 Max. virtual memory (Kb): 41596 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####