Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a2.opb |
MD5SUM | 6005a01d3f2ae55b0ca9c19f876c5827 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 139 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 360 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 360 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 360 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02584 |
Number of variables | 360 |
Total number of constraints | 980 |
Number of constraints which are clauses | 980 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 8 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc9 THE 2005-05-28 10:42:31 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=24090 boxname=wulflinc9 idbench=164 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 6005a01d3f2ae55b0ca9c19f876c5827 /oldhome/oroussel/tmp/wulflinc9/normalized-ii8a2.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc9/normalized-ii8a2.opb IDLAUNCH: 24090 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 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.242 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: 712896 kB Buffers: 34864 kB Cached: 263104 kB SwapCached: 552 kB Active: 17040 kB Inactive: 282920 kB HighTotal: 131008 kB HighFree: 35196 kB LowTotal: 903652 kB LowFree: 677700 kB SwapTotal: 2097136 kB SwapFree: 2095648 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5144 kB Slab: 16000 kB Committed_AS: 63588 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-28 11:02:33 (client local time) WITH STATUS 0 IN 1200.47 SECONDS stats: 24090 7 1200.47 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... Decision: 33169/65714 Time: 89.0665/86400 Decision: 33663/65714 Time: 103.667/86400 Decision: 33663/65714 Time: 111.671/86400 Decision: 33663/65714 Time: 121.458/86400 Decision: 33663/65714 Time: 130.509/86400 Decision: 33663/65714 Time: 138.994/86400 Decision: 33663/65714 Time: 147.156/86400 Decision: 33663/65714 Time: 157.65/86400 Decision: 33663/65714 Time: 166.409/86400 Decision: 33663/65714 Time: 175.009/86400 Decision: 33663/65714 Time: 186.561/86400 Decision: 33663/65714 Time: 195.542/86400 Decision: 33663/65714 Time: 205.216/86400 Decision: 33663/65714 Time: 214.252/86400 Decision: 33663/65714 Time: 224.004/86400 Decision: 33663/65714 Time: 234.127/86400 Decision: 33663/65714 Time: 245.861/86400 Decision: 33663/65714 Time: 255.068/86400 Decision: 33663/65714 Time: 262.984/86400 Decision: 33663/65714 Time: 272.83/86400 Decision: 33663/65714 Time: 282.464/86400 Decision: 33663/65714 Time: 292.985/86400 Decision: 33663/65714 Time: 301.372/86400 Decision: 34378/65714 Time: 311.568/86400 Decision: 34378/65714 Time: 319.948/86400 Decision: 34378/65714 Time: 329.677/86400 Decision: 34597/65714 Time: 347.471/86400 Decision: 34597/65714 Time: 357.535/86400 Decision: 34597/65714 Time: 367.935/86400 Decision: 34597/65714 Time: 380.742/86400 Decision: 34597/65714 Time: 390.808/86400 Decision: 34597/65714 Time: 401.362/86400 Decision: 34597/65714 Time: 411.847/86400 Decision: 34597/65714 Time: 421.588/86400 Decision: 34597/65714 Time: 432.187/86400 Decision: 34597/65714 Time: 443.632/86400 Decision: 34597/65714 Time: 454.241/86400 Decision: 34597/65714 Time: 463.831/86400 Decision: 34597/65714 Time: 474.33/86400 Decision: 34597/65714 Time: 487.347/86400 Decision: 34597/65714 Time: 498.651/86400 Decision: 34597/65714 Time: 509.047/86400 Decision: 34597/65714 Time: 519.815/86400 Decision: 34597/65714 Time: 530.492/86400 Decision: 34597/65714 Time: 541.136/86400 Decision: 34597/65714 Time: 553.326/86400 Decision: 34597/65714 Time: 564.043/86400 Decision: 34597/65714 Time: 574.162/86400 Decision: 34597/65714 Time: 584.429/86400 Decision: 34597/65714 Time: 595.655/86400 Decision: 34597/65714 Time: 605.015/86400 Decision: 34597/65714 Time: 617.944/86400 Decision: 34597/65714 Time: 629.323/86400 Decision: 34597/65714 Time: 640.212/86400 Decision: 34597/65714 Time: 651.829/86400 Decision: 34597/65714 Time: 663.426/86400 Decision: 34597/65714 Time: 676.756/86400 Decision: 34597/65714 Time: 686.37/86400 Decision: 34597/65714 Time: 697.434/86400 Decision: 34597/65714 Time: 710.444/86400 Decision: 34597/65714 Time: 721.246/86400 Decision: 34597/65714 Time: 731.733/86400 Decision: 34597/65714 Time: 742.654/86400 Decision: 34597/65714 Time: 753.807/86400 Decision: 34597/65714 Time: 765.262/86400 Decision: 34597/65714 Time: 775.618/86400 Decision: 34597/65714 Time: 785.972/86400 Decision: 34597/65714 Time: 795.978/86400 Decision: 34597/65714 Time: 808.53/86400 Decision: 34597/65714 Time: 818.599/86400 Decision: 34597/65714 Time: 831.981/86400 Decision: 34597/65714 Time: 844.022/86400 Decision: 34597/65714 Time: 856.493/86400 Decision: 34597/65714 Time: 866.696/86400 Decision: 34597/65714 Time: 877.402/86400 Decision: 34597/65714 Time: 890.041/86400 Decision: 34597/65714 Time: 900.684/86400 Decision: 34597/65714 Time: 912.228/86400 Decision: 34597/65714 Time: 925.574/86400 Decision: 34597/65714 Time: 936.491/86400 Decision: 34597/65714 Time: 949.288/86400 Decision: 34597/65714 Time: 961.659/86400 Decision: 34597/65714 Time: 975.312/86400 Decision: 34597/65714 Time: 988.151/86400 Decision: 34597/65714 Time: 998.823/86400 Decision: 34597/65714 Time: 1010.39/86400 Decision: 34597/65714 Time: 1022.31/86400 Decision: 34597/65714 Time: 1036.37/86400 Decision: 34597/65714 Time: 1049.05/86400 Decision: 34597/65714 Time: 1061.8/86400 Decision: 34597/65714 Time: 1074.33/86400 Decision: 34597/65714 Time: 1086.89/86400 Decision: 34597/65714 Time: 1098.04/86400 Decision: 34597/65714 Time: 1112.58/86400 Decision: 34597/65714 Time: 1123.11/86400 Decision: 34597/65714 Time: 1133.77/86400 Decision: 34597/65714 Time: 1148.38/86400 Decision: 34597/65714 Time: 1160.53/86400 Decision: 34597/65714 Time: 1174.18/86400 Decision: 34597/65714 Time: 1184.58/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.86 0.93 0.80 2/54 16832 Raw data (stat): 16832 (runsolver) R 16831 3944 3943 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 805945847 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.0013 s] Raw data (loadavg): 0.88 0.93 0.80 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 12149 0 0 0 971 27 0 0 25 0 1 0 805945847 39186432 6640 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 9567 6640 300 300 0 9267 0 vsize: 38268 [startup+20.0025 s] Raw data (loadavg): 0.90 0.93 0.80 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 12332 0 0 0 1969 29 0 0 25 0 1 0 805945847 39858176 6823 4294967295 134512640 135726644 3221224592 3221223088 134744372 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 9731 6823 300 300 0 9431 0 vsize: 38924 [startup+30.0033 s] Raw data (loadavg): 0.91 0.93 0.81 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 12441 0 0 0 2968 30 0 0 25 0 1 0 805945847 40054784 6932 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 9779 6932 300 300 0 9479 0 vsize: 39116 [startup+40.0035 s] Raw data (loadavg): 0.93 0.94 0.81 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 12486 0 0 0 3967 31 0 0 25 0 1 0 805945847 44249088 6977 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10803 6977 300 300 0 10503 0 vsize: 43212 [startup+50.0046 s] Raw data (loadavg): 0.94 0.94 0.81 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 12526 0 0 0 4966 32 0 0 25 0 1 0 805945847 44249088 7017 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10803 7017 300 300 0 10503 0 vsize: 43212 [startup+60.0054 s] Raw data (loadavg): 0.95 0.94 0.81 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 12579 0 0 0 5966 33 0 0 25 0 1 0 805945847 44249088 7070 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10803 7070 300 300 0 10503 0 vsize: 43212 [startup+70.0057 s] Raw data (loadavg): 0.95 0.94 0.81 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 12647 0 0 0 6965 34 0 0 25 0 1 0 805945847 44445696 7138 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10851 7138 300 300 0 10551 0 vsize: 43404 [startup+80.0058 s] Raw data (loadavg): 0.96 0.94 0.82 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 12707 0 0 0 7964 34 0 0 25 0 1 0 805945847 44445696 7198 4294967295 134512640 135726644 3221224592 3221223216 134744620 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10851 7198 300 300 0 10551 0 vsize: 43404 [startup+90.0066 s] Raw data (loadavg): 0.97 0.94 0.82 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 12791 0 0 0 8964 35 0 0 25 0 1 0 805945847 44580864 7282 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10884 7282 300 300 0 10584 0 vsize: 43536 [startup+100.006 s] Raw data (loadavg): 0.97 0.95 0.82 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 12945 0 0 0 9963 36 0 0 25 0 1 0 805945847 44580864 7307 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10884 7307 300 300 0 10584 0 vsize: 43536 [startup+110.007 s] Raw data (loadavg): 0.97 0.95 0.82 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 13083 0 0 0 10962 37 0 0 25 0 1 0 805945847 44580864 7316 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10884 7316 300 300 0 10584 0 vsize: 43536 [startup+120.008 s] Raw data (loadavg): 0.98 0.95 0.82 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 13261 0 0 0 11961 38 0 0 25 0 1 0 805945847 44580864 7365 4294967295 134512640 135726644 3221224592 3221222928 134735629 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10884 7365 300 300 0 10584 0 vsize: 43536 [startup+130.007 s] Raw data (loadavg): 0.98 0.95 0.82 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 13479 0 0 0 12960 39 0 0 25 0 1 0 805945847 44941312 7454 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10972 7454 300 300 0 10672 0 vsize: 43888 [startup+140.007 s] Raw data (loadavg): 0.98 0.95 0.82 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 13660 0 0 0 13958 40 0 0 25 0 1 0 805945847 44941312 7506 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10972 7506 300 300 0 10672 0 vsize: 43888 [startup+150.008 s] Raw data (loadavg): 0.99 0.95 0.82 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 13817 0 0 0 14958 41 0 0 25 0 1 0 805945847 44941312 7534 4294967295 134512640 135726644 3221224592 3221223104 134742265 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10972 7534 300 300 0 10672 0 vsize: 43888 [startup+160.008 s] Raw data (loadavg): 0.99 0.95 0.82 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 14008 0 0 0 15956 43 0 0 25 0 1 0 805945847 45268992 7596 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11052 7596 300 300 0 10752 0 vsize: 44208 [startup+170.009 s] Raw data (loadavg): 0.99 0.95 0.83 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 14270 0 0 0 16956 44 0 0 25 0 1 0 805945847 45268992 7600 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11052 7600 300 300 0 10752 0 vsize: 44208 [startup+180.009 s] Raw data (loadavg): 0.99 0.95 0.83 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 14438 0 0 0 17954 45 0 0 25 0 1 0 805945847 45404160 7639 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11085 7639 300 300 0 10785 0 vsize: 44340 [startup+190.01 s] Raw data (loadavg): 0.99 0.95 0.83 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 14570 0 0 0 18954 46 0 0 25 0 1 0 805945847 45404160 7642 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11085 7642 300 300 0 10785 0 vsize: 44340 [startup+200.01 s] Raw data (loadavg): 0.99 0.95 0.83 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 14704 0 0 0 19953 46 0 0 25 0 1 0 805945847 45404160 7647 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11085 7647 300 300 0 10785 0 vsize: 44340 [startup+210.011 s] Raw data (loadavg): 0.99 0.96 0.83 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 14842 0 0 0 20953 47 0 0 25 0 1 0 805945847 45551616 7656 4294967295 134512640 135726644 3221224592 3221223088 134744048 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11121 7656 300 300 0 10821 0 vsize: 44484 [startup+220.011 s] Raw data (loadavg): 0.99 0.96 0.83 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 14983 0 0 0 21952 48 0 0 25 0 1 0 805945847 45551616 7668 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11121 7668 300 300 0 10821 0 vsize: 44484 [startup+230.011 s] Raw data (loadavg): 0.99 0.96 0.83 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 15122 0 0 0 22952 49 0 0 25 0 1 0 805945847 45551616 7678 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11121 7678 300 300 0 10821 0 vsize: 44484 [startup+240.012 s] Raw data (loadavg): 0.99 0.96 0.83 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 15261 0 0 0 23951 49 0 0 25 0 1 0 805945847 45551616 7688 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11121 7688 300 300 0 10821 0 vsize: 44484 [startup+250.012 s] Raw data (loadavg): 0.99 0.96 0.83 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 15400 0 0 0 24950 50 0 0 25 0 1 0 805945847 45551616 7698 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11121 7698 300 300 0 10821 0 vsize: 44484 [startup+260.013 s] Raw data (loadavg): 0.99 0.96 0.83 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 15559 0 0 0 25950 51 0 0 25 0 1 0 805945847 45686784 7728 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11154 7728 300 300 0 10854 0 vsize: 44616 [startup+270.014 s] Raw data (loadavg): 0.99 0.96 0.84 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 15709 0 0 0 26949 52 0 0 25 0 1 0 805945847 45826048 7749 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11188 7749 300 300 0 10888 0 vsize: 44752 [startup+280.014 s] Raw data (loadavg): 0.99 0.96 0.84 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 15851 0 0 0 27949 52 0 0 25 0 1 0 805945847 45826048 7762 4294967295 134512640 135726644 3221224592 3221223088 134744311 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11188 7762 300 300 0 10888 0 vsize: 44752 [startup+290.014 s] Raw data (loadavg): 0.99 0.96 0.84 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 15988 0 0 0 28948 53 0 0 25 0 1 0 805945847 45826048 7770 4294967295 134512640 135726644 3221224592 3221223216 134744544 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11188 7770 300 300 0 10888 0 vsize: 44752 [startup+300.015 s] Raw data (loadavg): 0.99 0.96 0.84 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 16128 0 0 0 29947 54 0 0 25 0 1 0 805945847 45961216 7781 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11221 7781 300 300 0 10921 0 vsize: 44884 [startup+310.015 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 16270 0 0 0 30946 55 0 0 25 0 1 0 805945847 45961216 7794 4294967295 134512640 135726644 3221224592 3221223216 134744616 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11221 7794 300 300 0 10921 0 vsize: 44884 [startup+320.016 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 16410 0 0 0 31946 56 0 0 25 0 1 0 805945847 45961216 7805 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11221 7805 300 300 0 10921 0 vsize: 44884 [startup+330.016 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 16564 0 0 0 32945 57 0 0 25 0 1 0 805945847 45961216 7830 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11221 7830 300 300 0 10921 0 vsize: 44884 [startup+340.017 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 16746 0 0 0 33943 58 0 0 25 0 1 0 805945847 46260224 7883 4294967295 134512640 135726644 3221224592 3221222920 134735633 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11294 7883 300 300 0 10994 0 vsize: 45176 [startup+350.017 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 16841 0 0 0 34943 59 0 0 25 0 1 0 805945847 46653440 7978 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11390 7978 300 300 0 11090 0 vsize: 45560 [startup+360.019 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 16988 0 0 0 35942 60 0 0 25 0 1 0 805945847 46653440 7996 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11390 7996 300 300 0 11090 0 vsize: 45560 [startup+370.019 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 17164 0 0 0 36941 60 0 0 25 0 1 0 805945847 46653440 8043 4294967295 134512640 135726644 3221224592 3221223136 134736739 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11390 8043 300 300 0 11090 0 vsize: 45560 [startup+380.019 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 17384 0 0 0 37940 62 0 0 25 0 1 0 805945847 47112192 8134 4294967295 134512640 135726644 3221224592 3221222928 134735629 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11502 8134 300 300 0 11202 0 vsize: 46008 [startup+390.02 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 17580 0 0 0 38939 63 0 0 25 0 1 0 805945847 47308800 8201 4294967295 134512640 135726644 3221224592 3221223232 134744477 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11550 8201 300 300 0 11250 0 vsize: 46200 [startup+400.02 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 17729 0 0 0 39938 64 0 0 25 0 1 0 805945847 47308800 8221 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11550 8221 300 300 0 11250 0 vsize: 46200 [startup+410.02 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 17862 0 0 0 40938 65 0 0 25 0 1 0 805945847 47308800 8225 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11550 8225 300 300 0 11250 0 vsize: 46200 [startup+420.021 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 17995 0 0 0 41937 66 0 0 25 0 1 0 805945847 47308800 8229 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11550 8229 300 300 0 11250 0 vsize: 46200 [startup+430.021 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 18130 0 0 0 42936 66 0 0 25 0 1 0 805945847 47308800 8235 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11550 8235 300 300 0 11250 0 vsize: 46200 [startup+440.021 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 18271 0 0 0 43935 68 0 0 25 0 1 0 805945847 47308800 8247 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11550 8247 300 300 0 11250 0 vsize: 46200 [startup+450.021 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 18441 0 0 0 44934 69 0 0 25 0 1 0 805945847 47464448 8288 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11588 8288 300 300 0 11288 0 vsize: 46352 [startup+460.022 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 18574 0 0 0 45933 70 0 0 25 0 1 0 805945847 47464448 8292 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11588 8292 300 300 0 11288 0 vsize: 46352 [startup+470.022 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 18711 0 0 0 46932 71 0 0 25 0 1 0 805945847 47464448 8300 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11588 8300 300 300 0 11288 0 vsize: 46352 [startup+480.023 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 18852 0 0 0 47931 72 0 0 25 0 1 0 805945847 47464448 8312 4294967295 134512640 135726644 3221224592 3221223088 134744379 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11588 8312 300 300 0 11288 0 vsize: 46352 [startup+490.023 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 18863 0 0 0 48930 73 0 0 25 0 1 0 805945847 47464448 8323 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11588 8323 300 300 0 11288 0 vsize: 46352 [startup+500.023 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 19025 0 0 0 49930 74 0 0 25 0 1 0 805945847 47464448 8356 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11588 8356 300 300 0 11288 0 vsize: 46352 [startup+510.025 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 19167 0 0 0 50929 75 0 0 25 0 1 0 805945847 47603712 8369 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11622 8369 300 300 0 11322 0 vsize: 46488 [startup+520.026 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 19306 0 0 0 51928 75 0 0 25 0 1 0 805945847 47603712 8379 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11622 8379 300 300 0 11322 0 vsize: 46488 [startup+530.026 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 19463 0 0 0 52928 76 0 0 25 0 1 0 805945847 47603712 8407 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11622 8407 300 300 0 11322 0 vsize: 46488 [startup+540.027 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 19649 0 0 0 53927 77 0 0 25 0 1 0 805945847 47603712 8464 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11622 8464 300 300 0 11322 0 vsize: 46488 [startup+550.027 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 19828 0 0 0 54925 79 0 0 25 0 1 0 805945847 47742976 8514 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11656 8514 300 300 0 11356 0 vsize: 46624 [startup+560.028 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 19982 0 0 0 55924 80 0 0 25 0 1 0 805945847 47742976 8539 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11656 8539 300 300 0 11356 0 vsize: 46624 [startup+570.029 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 20119 0 0 0 56924 80 0 0 25 0 1 0 805945847 47742976 8547 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11656 8547 300 300 0 11356 0 vsize: 46624 [startup+580.028 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 20262 0 0 0 57923 81 0 0 25 0 1 0 805945847 47742976 8561 4294967295 134512640 135726644 3221224592 3221223088 134744059 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11656 8561 300 300 0 11356 0 vsize: 46624 [startup+590.028 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 20409 0 0 0 58923 82 0 0 25 0 1 0 805945847 47890432 8579 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11692 8579 300 300 0 11392 0 vsize: 46768 [startup+600.03 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 20547 0 0 0 59922 83 0 0 25 0 1 0 805945847 47890432 8588 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11692 8588 300 300 0 11392 0 vsize: 46768 [startup+610.03 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 20683 0 0 0 60921 83 0 0 25 0 1 0 805945847 47890432 8595 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11692 8595 300 300 0 11392 0 vsize: 46768 [startup+620.03 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 20687 0 0 0 61921 84 0 0 25 0 1 0 805945847 47890432 8599 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11692 8599 300 300 0 11392 0 vsize: 46768 [startup+630.03 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 20826 0 0 0 62920 85 0 0 25 0 1 0 805945847 47890432 8609 4294967295 134512640 135726644 3221224592 3221223088 134744126 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11692 8609 300 300 0 11392 0 vsize: 46768 [startup+640.031 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 20964 0 0 0 63919 86 0 0 25 0 1 0 805945847 47890432 8618 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11692 8618 300 300 0 11392 0 vsize: 46768 [startup+650.032 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 21118 0 0 0 64918 87 0 0 25 0 1 0 805945847 48164864 8643 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11759 8643 300 300 0 11459 0 vsize: 47036 [startup+660.033 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 21292 0 0 0 65917 88 0 0 25 0 1 0 805945847 48164864 8688 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11759 8688 300 300 0 11459 0 vsize: 47036 [startup+670.033 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 21453 0 0 0 66916 89 0 0 25 0 1 0 805945847 48164864 8720 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11759 8720 300 300 0 11459 0 vsize: 47036 [startup+680.033 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 21620 0 0 0 67915 90 0 0 25 0 1 0 805945847 48340992 8758 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11802 8758 300 300 0 11502 0 vsize: 47208 [startup+690.034 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 21755 0 0 0 68914 91 0 0 25 0 1 0 805945847 48340992 8764 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11802 8764 300 300 0 11502 0 vsize: 47208 [startup+700.034 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 21769 0 0 0 69914 91 0 0 25 0 1 0 805945847 48340992 8778 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11802 8778 300 300 0 11502 0 vsize: 47208 [startup+710.036 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 21937 0 0 0 70913 93 0 0 25 0 1 0 805945847 48340992 8817 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11802 8817 300 300 0 11502 0 vsize: 47208 [startup+720.036 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 22119 0 0 0 71912 94 0 0 25 0 1 0 805945847 48340992 8870 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11802 8870 300 300 0 11502 0 vsize: 47208 [startup+730.036 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 22276 0 0 0 72912 94 0 0 25 0 1 0 805945847 48476160 8898 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11835 8898 300 300 0 11535 0 vsize: 47340 [startup+740.037 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 22427 0 0 0 73911 95 0 0 25 0 1 0 805945847 48611328 8920 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11868 8920 300 300 0 11568 0 vsize: 47472 [startup+750.038 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 22564 0 0 0 74910 96 0 0 25 0 1 0 805945847 48611328 8928 4294967295 134512640 135726644 3221224592 3221223088 134743951 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11868 8928 300 300 0 11568 0 vsize: 47472 [startup+760.038 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 22700 0 0 0 75909 97 0 0 25 0 1 0 805945847 48611328 8935 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11868 8935 300 300 0 11568 0 vsize: 47472 [startup+770.038 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 22850 0 0 0 76909 98 0 0 25 0 1 0 805945847 48611328 8956 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11868 8956 300 300 0 11568 0 vsize: 47472 [startup+780.038 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 23030 0 0 0 77908 99 0 0 25 0 1 0 805945847 48611328 9007 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11868 9007 300 300 0 11568 0 vsize: 47472 [startup+790.038 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 23166 0 0 0 78907 99 0 0 25 0 1 0 805945847 48611328 9014 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11868 9014 300 300 0 11568 0 vsize: 47472 [startup+800.038 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 23304 0 0 0 79907 100 0 0 25 0 1 0 805945847 48746496 9023 4294967295 134512640 135726644 3221224592 3221222912 134729058 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11901 9023 300 300 0 11601 0 vsize: 47604 [startup+810.039 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 23325 0 0 0 80907 100 0 0 25 0 1 0 805945847 48746496 9044 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11901 9044 300 300 0 11601 0 vsize: 47604 [startup+820.04 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 23505 0 0 0 81906 101 0 0 25 0 1 0 805945847 48746496 9095 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11901 9095 300 300 0 11601 0 vsize: 47604 [startup+830.04 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 23677 0 0 0 82905 102 0 0 25 0 1 0 805945847 48746496 9138 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11901 9138 300 300 0 11601 0 vsize: 47604 [startup+840.041 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 23831 0 0 0 83905 102 0 0 25 0 1 0 805945847 48746496 9163 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11901 9163 300 300 0 11601 0 vsize: 47604 [startup+850.042 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 23970 0 0 0 84904 103 0 0 25 0 1 0 805945847 48881664 9173 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11934 9173 300 300 0 11634 0 vsize: 47736 [startup+860.042 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 24114 0 0 0 85904 104 0 0 25 0 1 0 805945847 48881664 9188 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11934 9188 300 300 0 11634 0 vsize: 47736 [startup+870.042 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 24259 0 0 0 86903 104 0 0 25 0 1 0 805945847 48881664 9204 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11934 9204 300 300 0 11634 0 vsize: 47736 [startup+880.043 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 24307 0 0 0 87903 105 0 0 25 0 1 0 805945847 49025024 9252 4294967295 134512640 135726644 3221224592 3221223216 134744520 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11969 9252 300 300 0 11669 0 vsize: 47876 [startup+890.043 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 24476 0 0 0 88902 106 0 0 25 0 1 0 805945847 57413632 9292 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14017 9292 300 300 0 13717 0 vsize: 56068 [startup+900.044 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 24623 0 0 0 89901 107 0 0 25 0 1 0 805945847 57413632 9310 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14017 9310 300 300 0 13717 0 vsize: 56068 [startup+910.044 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 24768 0 0 0 90900 108 0 0 25 0 1 0 805945847 57413632 9326 4294967295 134512640 135726644 3221224592 3221222840 135280693 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14017 9326 300 300 0 13717 0 vsize: 56068 [startup+920.045 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 24904 0 0 0 91900 109 0 0 25 0 1 0 805945847 57556992 9333 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14052 9333 300 300 0 13752 0 vsize: 56208 [startup+930.045 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 25047 0 0 0 92899 109 0 0 25 0 1 0 805945847 57556992 9347 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14052 9347 300 300 0 13752 0 vsize: 56208 [startup+940.046 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 25190 0 0 0 93899 110 0 0 25 0 1 0 805945847 57556992 9361 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14052 9361 300 300 0 13752 0 vsize: 56208 [startup+950.047 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 25197 0 0 0 94898 110 0 0 25 0 1 0 805945847 57556992 9368 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14052 9368 300 300 0 13752 0 vsize: 56208 [startup+960.048 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 25342 0 0 0 95898 111 0 0 25 0 1 0 805945847 57700352 9384 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14087 9384 300 300 0 13787 0 vsize: 56348 [startup+970.048 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 25484 0 0 0 96898 111 0 0 25 0 1 0 805945847 57700352 9397 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14087 9397 300 300 0 13787 0 vsize: 56348 [startup+980.048 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 25627 0 0 0 97897 112 0 0 25 0 1 0 805945847 57700352 9411 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14087 9411 300 300 0 13787 0 vsize: 56348 [startup+990.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 25671 0 0 0 98897 112 0 0 25 0 1 0 805945847 57839616 9455 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14121 9455 300 300 0 13821 0 vsize: 56484 [startup+1000.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 25856 0 0 0 99896 113 0 0 25 0 1 0 805945847 57839616 9511 4294967295 134512640 135726644 3221224592 3221223088 134744142 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14121 9511 300 300 0 13821 0 vsize: 56484 [startup+1010.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 26040 0 0 0 100896 114 0 0 25 0 1 0 805945847 57978880 9566 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14155 9566 300 300 0 13855 0 vsize: 56620 [startup+1020.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 26190 0 0 0 101896 114 0 0 25 0 1 0 805945847 57978880 9587 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14155 9587 300 300 0 13855 0 vsize: 56620 [startup+1030.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 26325 0 0 0 102895 115 0 0 25 0 1 0 805945847 57978880 9593 4294967295 134512640 135726644 3221224592 3221223136 134736802 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14155 9593 300 300 0 13855 0 vsize: 56620 [startup+1040.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 26463 0 0 0 103895 116 0 0 25 0 1 0 805945847 57978880 9602 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14155 9602 300 300 0 13855 0 vsize: 56620 [startup+1050.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16832 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 26473 0 0 0 104895 116 0 0 25 0 1 0 805945847 57978880 9612 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14155 9612 300 300 0 13855 0 vsize: 56620 [startup+1060.05 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 16885 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 26607 0 0 0 105872 138 0 0 25 0 1 0 805945847 57978880 9617 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14155 9617 300 300 0 13855 0 vsize: 56620 [startup+1070.05 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 16885 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 26770 0 0 0 106871 139 0 0 25 0 1 0 805945847 58114048 9651 4294967295 134512640 135726644 3221224592 3221223088 134744174 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14188 9651 300 300 0 13888 0 vsize: 56752 [startup+1080.05 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 16885 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 26940 0 0 0 107871 140 0 0 25 0 1 0 805945847 58114048 9692 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14188 9692 300 300 0 13888 0 vsize: 56752 [startup+1090.05 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 16885 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 27073 0 0 0 108870 140 0 0 25 0 1 0 805945847 58114048 9696 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14188 9696 300 300 0 13888 0 vsize: 56752 [startup+1100.05 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 16885 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 27078 0 0 0 109870 141 0 0 25 0 1 0 805945847 58114048 9701 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14188 9701 300 300 0 13888 0 vsize: 56752 [startup+1110.05 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 16885 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 27229 0 0 0 110870 142 0 0 25 0 1 0 805945847 58253312 9723 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14222 9723 300 300 0 13922 0 vsize: 56888 [startup+1120.06 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 16885 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 27371 0 0 0 111870 142 0 0 25 0 1 0 805945847 58253312 9736 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14222 9736 300 300 0 13922 0 vsize: 56888 [startup+1130.06 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 16887 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 27529 0 0 0 112869 143 0 0 25 0 1 0 805945847 58392576 9765 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14256 9765 300 300 0 13956 0 vsize: 57024 [startup+1140.06 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 16887 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 27692 0 0 0 113869 143 0 0 25 0 1 0 805945847 58392576 9799 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14256 9799 300 300 0 13956 0 vsize: 57024 [startup+1150.06 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 16887 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 27701 0 0 0 114869 143 0 0 25 0 1 0 805945847 58392576 9808 4294967295 134512640 135726644 3221224592 3221222928 134735631 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14256 9808 300 300 0 13956 0 vsize: 57024 [startup+1160.06 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 16887 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 27839 0 0 0 115868 144 0 0 25 0 1 0 805945847 58392576 9817 4294967295 134512640 135726644 3221224592 3221222912 134728861 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14256 9817 300 300 0 13956 0 vsize: 57024 [startup+1170.06 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 16887 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 27985 0 0 0 116868 145 0 0 25 0 1 0 805945847 58544128 9834 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14293 9834 300 300 0 13993 0 vsize: 57172 [startup+1180.06 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 16887 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 28125 0 0 0 117868 145 0 0 25 0 1 0 805945847 58544128 9845 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14293 9845 300 300 0 13993 0 vsize: 57172 [startup+1190.06 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 16887 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 28264 0 0 0 118868 146 0 0 25 0 1 0 805945847 58544128 9855 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14293 9855 300 300 0 13993 0 vsize: 57172 [startup+1200.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16887 Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 28273 0 0 0 119867 146 0 0 25 0 1 0 805945847 58544128 9864 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14293 9864 300 300 0 13993 0 vsize: 57172 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.38 s] Raw data (loadavg): 1.00 0.99 0.91 1/54 16887 Raw data (stat): 16832 (pb2sat) Z 16831 3944 3943 0 -1 12 28274 0 0 0 119898 148 0 0 25 0 1 0 805945847 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.38 CPU time (s): 1200.47 CPU user time (s): 1198.98 CPU system time (s): 1.48377 CPU usage (%): 100.007 Max. virtual memory (Kb): 57172 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####