Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-13-7-fome12.opb |
MD5SUM | f7d293075cf169ad75cd0116c61aa297 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 498856 |
Biggest coefficient in the objective function | 2100440996511744 |
Number of bits for the biggest coefficient in the objective function | 51 |
Sum of the numbers in the objective function | 3448249888024611600 |
Number of bits of the sum of numbers in the objective function | 62 |
Biggest number in a constraint | 52428800000000000 |
Number of bits of the biggest number in a constraint | 56 |
Biggest sum of numbers in a constraint | 4176904799999651840 |
Number of bits of the biggest sum of numbers | 62 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 9.27259 |
Number of variables | 977976 |
Total number of constraints | 24336 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 24336 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 4560 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc17 THE 2005-05-28 13:55:58 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25020 boxname=wulflinc17 idbench=1492 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: f7d293075cf169ad75cd0116c61aa297 /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-fome12.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-fome12.opb IDLAUNCH: 25020 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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 : 3 cpu MHz : 451.072 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: 635568 kB Buffers: 8488 kB Cached: 366428 kB SwapCached: 580 kB Active: 85276 kB Inactive: 291704 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 635316 kB SwapTotal: 2097892 kB SwapFree: 2096376 kB Dirty: 4 kB Writeback: 0 kB Mapped: 5144 kB Slab: 16436 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-28 14:16:03 (client local time) WITH STATUS 0 IN 1201.13 SECONDS stats: 25020 7 1201.13 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified s 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): 1.04 0.96 0.91 2/54 22474 Raw data (stat): 22474 (runsolver) R 22473 7475 7474 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 865341852 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.0008 s] Raw data (loadavg): 1.03 0.96 0.91 2/54 22474 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 1407 0 0 0 994 5 0 0 25 0 1 0 865341852 5496832 1093 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 1342 1093 300 300 0 1042 0 vsize: 5368 [startup+20.0014 s] Raw data (loadavg): 1.02 0.97 0.91 2/54 22474 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 2498 0 0 0 1991 8 0 0 25 0 1 0 865341852 8765440 1818 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 2140 1818 300 300 0 1840 0 vsize: 8560 [startup+30.002 s] Raw data (loadavg): 1.02 0.97 0.91 2/54 22474 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 3803 0 0 0 2989 11 0 0 25 0 1 0 865341852 13410304 2410 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3274 2410 300 300 0 2974 0 vsize: 13096 [startup+40.0026 s] Raw data (loadavg): 1.02 0.97 0.91 2/54 22474 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 3983 0 0 0 3988 12 0 0 25 0 1 0 865341852 13680640 2585 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3340 2585 300 300 0 3040 0 vsize: 13360 [startup+50.0052 s] Raw data (loadavg): 1.01 0.97 0.91 2/54 22474 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 4248 0 0 0 4988 12 0 0 25 0 1 0 865341852 14356480 2846 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3505 2846 300 300 0 3205 0 vsize: 14020 [startup+60.0048 s] Raw data (loadavg): 1.01 0.97 0.91 2/54 22474 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 4481 0 0 0 5986 14 0 0 25 0 1 0 865341852 15032320 3075 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3670 3075 300 300 0 3370 0 vsize: 14680 [startup+70.0043 s] Raw data (loadavg): 1.01 0.97 0.91 2/54 22474 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 4694 0 0 0 6986 14 0 0 25 0 1 0 865341852 15572992 3284 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3802 3284 300 300 0 3502 0 vsize: 15208 [startup+80.0049 s] Raw data (loadavg): 1.01 0.97 0.91 2/54 22474 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 4894 0 0 0 7986 15 0 0 25 0 1 0 865341852 16113664 3481 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3934 3481 300 300 0 3634 0 vsize: 15736 [startup+90.0045 s] Raw data (loadavg): 1.01 0.97 0.91 2/54 22474 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 5084 0 0 0 8986 15 0 0 25 0 1 0 865341852 16654336 3668 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4066 3668 300 300 0 3766 0 vsize: 16264 [startup+100.005 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 22474 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 5266 0 0 0 9985 16 0 0 25 0 1 0 865341852 17059840 3847 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4165 3847 300 300 0 3865 0 vsize: 16660 [startup+110.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 22474 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 5437 0 0 0 10984 16 0 0 25 0 1 0 865341852 17465344 4015 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4264 4015 300 300 0 3964 0 vsize: 17056 [startup+120.031 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 22474 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 7470 0 0 0 11981 21 0 0 25 0 1 0 865341852 25403392 4636 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4636 300 300 0 5902 0 vsize: 24808 [startup+130.032 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 22474 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 7526 0 0 0 12981 21 0 0 25 0 1 0 865341852 25403392 4689 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4689 300 300 0 5902 0 vsize: 24808 [startup+140.032 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 22474 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 7580 0 0 0 13980 22 0 0 25 0 1 0 865341852 25403392 4741 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4741 300 300 0 5902 0 vsize: 24808 [startup+150.037 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 22474 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 7645 0 0 0 14981 22 0 0 25 0 1 0 865341852 25403392 4804 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4804 300 300 0 5902 0 vsize: 24808 [startup+160.037 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 22474 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 7710 0 0 0 15981 22 0 0 25 0 1 0 865341852 25403392 4866 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4866 300 300 0 5902 0 vsize: 24808 [startup+170.036 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 22474 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 7805 0 0 0 16981 22 0 0 25 0 1 0 865341852 25673728 4959 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6268 4959 300 300 0 5968 0 vsize: 25072 [startup+180.036 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 22474 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 7936 0 0 0 17980 23 0 0 25 0 1 0 865341852 25944064 5088 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6334 5088 300 300 0 6034 0 vsize: 25336 [startup+190.037 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 22474 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 8064 0 0 0 18979 24 0 0 25 0 1 0 865341852 26349568 5214 4294967295 134512640 135726644 3221224576 3221221680 134574085 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6433 5214 300 300 0 6133 0 vsize: 25732 [startup+200.036 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 22474 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 8192 0 0 0 19978 24 0 0 25 0 1 0 865341852 26619904 5340 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6499 5340 300 300 0 6199 0 vsize: 25996 [startup+210.036 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 22474 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 8314 0 0 0 20978 25 0 0 25 0 1 0 865341852 27025408 5460 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6598 5460 300 300 0 6298 0 vsize: 26392 [startup+220.036 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 22474 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 8435 0 0 0 21978 25 0 0 25 0 1 0 865341852 27295744 5579 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6664 5579 300 300 0 6364 0 vsize: 26656 [startup+230.036 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 22474 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 8553 0 0 0 22978 25 0 0 25 0 1 0 865341852 27701248 5695 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6763 5695 300 300 0 6463 0 vsize: 27052 [startup+240.036 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 22474 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 8667 0 0 0 23977 26 0 0 25 0 1 0 865341852 27971584 5807 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6829 5807 300 300 0 6529 0 vsize: 27316 [startup+250.036 s] Raw data (loadavg): 1.08 0.99 0.92 2/54 22527 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 8782 0 0 0 24975 27 0 0 25 0 1 0 865341852 28241920 5920 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6895 5920 300 300 0 6595 0 vsize: 27580 [startup+260.036 s] Raw data (loadavg): 1.07 0.99 0.92 2/54 22527 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 8893 0 0 0 25975 28 0 0 25 0 1 0 865341852 28512256 6029 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6961 6029 300 300 0 6661 0 vsize: 27844 [startup+270.035 s] Raw data (loadavg): 1.06 0.99 0.92 2/54 22527 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 9001 0 0 0 26974 28 0 0 25 0 1 0 865341852 28782592 6136 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7027 6136 300 300 0 6727 0 vsize: 28108 [startup+280.035 s] Raw data (loadavg): 1.05 0.99 0.92 2/54 22527 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 9108 0 0 0 27974 29 0 0 25 0 1 0 865341852 29052928 6241 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7093 6241 300 300 0 6793 0 vsize: 28372 [startup+290.036 s] Raw data (loadavg): 1.04 0.99 0.92 2/54 22527 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 9213 0 0 0 28973 30 0 0 25 0 1 0 865341852 29323264 6344 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7159 6344 300 300 0 6859 0 vsize: 28636 [startup+300.036 s] Raw data (loadavg): 1.03 0.99 0.92 2/54 22527 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 9317 0 0 0 29972 31 0 0 25 0 1 0 865341852 29593600 6447 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7225 6447 300 300 0 6925 0 vsize: 28900 [startup+310.036 s] Raw data (loadavg): 1.03 0.99 0.92 2/54 22527 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 9420 0 0 0 30972 31 0 0 25 0 1 0 865341852 29863936 6548 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7291 6548 300 300 0 6991 0 vsize: 29164 [startup+320.036 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 22527 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 9520 0 0 0 31971 33 0 0 25 0 1 0 865341852 30134272 6646 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7357 6646 300 300 0 7057 0 vsize: 29428 [startup+330.036 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 22529 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 9618 0 0 0 32971 33 0 0 25 0 1 0 865341852 30404608 6743 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7423 6743 300 300 0 7123 0 vsize: 29692 [startup+340.036 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 22529 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 9716 0 0 0 33970 34 0 0 25 0 1 0 865341852 30674944 6839 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7489 6839 300 300 0 7189 0 vsize: 29956 [startup+350.035 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 22529 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 9810 0 0 0 34970 34 0 0 25 0 1 0 865341852 30945280 6932 4294967295 134512640 135726644 3221224576 3221221664 134556181 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7555 6932 300 300 0 7255 0 vsize: 30220 [startup+360.036 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 22529 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 9904 0 0 0 35969 35 0 0 25 0 1 0 865341852 31215616 7024 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7621 7024 300 300 0 7321 0 vsize: 30484 [startup+370.036 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 22529 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 9996 0 0 0 36969 35 0 0 25 0 1 0 865341852 31485952 7115 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7687 7115 300 300 0 7387 0 vsize: 30748 [startup+380.036 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 22529 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 10088 0 0 0 37969 35 0 0 25 0 1 0 865341852 31756288 7205 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7753 7205 300 300 0 7453 0 vsize: 31012 [startup+390.036 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22529 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 10178 0 0 0 38969 35 0 0 25 0 1 0 865341852 31891456 7294 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7786 7294 300 300 0 7486 0 vsize: 31144 [startup+400.036 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22529 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 10267 0 0 0 39969 36 0 0 25 0 1 0 865341852 32161792 7381 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7852 7381 300 300 0 7552 0 vsize: 31408 [startup+410.036 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22529 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 10354 0 0 0 40968 36 0 0 25 0 1 0 865341852 32432128 7467 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7918 7467 300 300 0 7618 0 vsize: 31672 [startup+420.036 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22529 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 10442 0 0 0 41968 37 0 0 25 0 1 0 865341852 32567296 7553 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7951 7554 300 300 0 7651 0 vsize: 31804 [startup+430.036 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22529 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 10527 0 0 0 42968 37 0 0 25 0 1 0 865341852 32837632 7637 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8017 7637 300 300 0 7717 0 vsize: 32068 [startup+440.036 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22529 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 10612 0 0 0 43967 38 0 0 25 0 1 0 865341852 33107968 7721 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8083 7721 300 300 0 7783 0 vsize: 32332 [startup+450.035 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22529 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 10696 0 0 0 44967 38 0 0 25 0 1 0 865341852 33243136 7803 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8116 7803 300 300 0 7816 0 vsize: 32464 [startup+460.036 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22529 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 10778 0 0 0 45967 38 0 0 25 0 1 0 865341852 33513472 7884 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8182 7884 300 300 0 7882 0 vsize: 32728 [startup+470.036 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22529 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 10861 0 0 0 46967 39 0 0 25 0 1 0 865341852 33783808 7966 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8248 7966 300 300 0 7948 0 vsize: 32992 [startup+480.035 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22529 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 10942 0 0 0 47966 39 0 0 25 0 1 0 865341852 33918976 8045 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8281 8045 300 300 0 7981 0 vsize: 33124 [startup+490.035 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22529 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 14826 0 0 0 48960 45 0 0 25 0 1 0 865341852 49254400 9110 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9110 300 300 0 11725 0 vsize: 48100 [startup+500.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22529 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 14854 0 0 0 49961 45 0 0 25 0 1 0 865341852 49254400 9137 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9137 300 300 0 11725 0 vsize: 48100 [startup+510.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22529 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 14881 0 0 0 50961 46 0 0 25 0 1 0 865341852 49254400 9163 4294967295 134512640 135726644 3221224576 3221221664 134556181 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9163 300 300 0 11725 0 vsize: 48100 [startup+520.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22529 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 14910 0 0 0 51961 46 0 0 25 0 1 0 865341852 49254400 9190 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9190 300 300 0 11725 0 vsize: 48100 [startup+530.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22529 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 14937 0 0 0 52961 46 0 0 25 0 1 0 865341852 49254400 9216 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9216 300 300 0 11725 0 vsize: 48100 [startup+540.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22529 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 14964 0 0 0 53951 46 0 0 25 0 1 0 865341852 49254400 9242 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9242 300 300 0 11725 0 vsize: 48100 [startup+550.042 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22529 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 14991 0 0 0 54951 46 0 0 25 0 1 0 865341852 49254400 9268 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9268 300 300 0 11725 0 vsize: 48100 [startup+560.042 s] Raw data (loadavg): 1.00 0.99 0.92 3/56 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15018 0 0 0 55950 46 0 0 25 0 1 0 865341852 49254400 9293 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9293 300 300 0 11725 0 vsize: 48100 [startup+570.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15045 0 0 0 56950 47 0 0 25 0 1 0 865341852 49254400 9319 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9319 300 300 0 11725 0 vsize: 48100 [startup+580.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15070 0 0 0 57950 47 0 0 25 0 1 0 865341852 49254400 9343 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9343 300 300 0 11725 0 vsize: 48100 [startup+590.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15096 0 0 0 58950 47 0 0 25 0 1 0 865341852 49254400 9368 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9368 300 300 0 11725 0 vsize: 48100 [startup+600.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15122 0 0 0 59950 47 0 0 25 0 1 0 865341852 49254400 9393 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9393 300 300 0 11725 0 vsize: 48100 [startup+610.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15148 0 0 0 60950 47 0 0 25 0 1 0 865341852 49254400 9418 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9418 300 300 0 11725 0 vsize: 48100 [startup+620.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15191 0 0 0 61950 48 0 0 25 0 1 0 865341852 49254400 9459 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9459 300 300 0 11725 0 vsize: 48100 [startup+630.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15225 0 0 0 62950 48 0 0 25 0 1 0 865341852 49254400 9492 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9492 300 300 0 11725 0 vsize: 48100 [startup+640.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15250 0 0 0 63950 48 0 0 25 0 1 0 865341852 49254400 9516 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9516 300 300 0 11725 0 vsize: 48100 [startup+650.042 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15275 0 0 0 64950 48 0 0 25 0 1 0 865341852 49254400 9540 4294967295 134512640 135726644 3221224576 3221221664 134556181 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9540 300 300 0 11725 0 vsize: 48100 [startup+660.042 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15299 0 0 0 65950 48 0 0 25 0 1 0 865341852 49254400 9563 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9563 300 300 0 11725 0 vsize: 48100 [startup+670.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15324 0 0 0 66949 49 0 0 25 0 1 0 865341852 49254400 9587 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9587 300 300 0 11725 0 vsize: 48100 [startup+680.042 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15363 0 0 0 67949 49 0 0 25 0 1 0 865341852 49389568 9625 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12058 9625 300 300 0 11758 0 vsize: 48232 [startup+690.042 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15431 0 0 0 68949 49 0 0 25 0 1 0 865341852 49524736 9692 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12091 9692 300 300 0 11791 0 vsize: 48364 [startup+700.042 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15500 0 0 0 69949 49 0 0 25 0 1 0 865341852 49795072 9759 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12157 9759 300 300 0 11857 0 vsize: 48628 [startup+710.042 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15566 0 0 0 70949 50 0 0 25 0 1 0 865341852 49930240 9824 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12190 9824 300 300 0 11890 0 vsize: 48760 [startup+720.042 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15634 0 0 0 71949 50 0 0 25 0 1 0 865341852 50065408 9891 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12223 9891 300 300 0 11923 0 vsize: 48892 [startup+730.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15700 0 0 0 72948 50 0 0 25 0 1 0 865341852 50335744 9956 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12289 9956 300 300 0 11989 0 vsize: 49156 [startup+740.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15766 0 0 0 73947 51 0 0 25 0 1 0 865341852 50470912 10021 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12322 10021 300 300 0 12022 0 vsize: 49288 [startup+750.042 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15831 0 0 0 74947 51 0 0 25 0 1 0 865341852 50606080 10085 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12355 10085 300 300 0 12055 0 vsize: 49420 [startup+760.042 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15897 0 0 0 75947 51 0 0 25 0 1 0 865341852 50741248 10150 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12388 10150 300 300 0 12088 0 vsize: 49552 [startup+770.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 15960 0 0 0 76947 51 0 0 25 0 1 0 865341852 51011584 10212 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12454 10212 300 300 0 12154 0 vsize: 49816 [startup+780.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 16025 0 0 0 77947 51 0 0 25 0 1 0 865341852 51146752 10276 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12487 10276 300 300 0 12187 0 vsize: 49948 [startup+790.042 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 16088 0 0 0 78947 52 0 0 25 0 1 0 865341852 51281920 10338 4294967295 134512640 135726644 3221224576 3221221520 134541101 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12520 10338 300 300 0 12220 0 vsize: 50080 [startup+800.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 16152 0 0 0 79946 52 0 0 25 0 1 0 865341852 51417088 10401 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12553 10401 300 300 0 12253 0 vsize: 50212 [startup+810.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 16215 0 0 0 80946 53 0 0 25 0 1 0 865341852 51687424 10463 4294967295 134512640 135726644 3221224576 3221221664 134556181 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12619 10463 300 300 0 12319 0 vsize: 50476 [startup+820.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 16277 0 0 0 81946 53 0 0 25 0 1 0 865341852 51822592 10524 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12652 10524 300 300 0 12352 0 vsize: 50608 [startup+830.044 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 16339 0 0 0 82946 53 0 0 25 0 1 0 865341852 51957760 10585 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12685 10585 300 300 0 12385 0 vsize: 50740 [startup+840.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 16401 0 0 0 83946 53 0 0 25 0 1 0 865341852 52092928 10646 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12718 10646 300 300 0 12418 0 vsize: 50872 [startup+850.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 16463 0 0 0 84946 53 0 0 25 0 1 0 865341852 52228096 10707 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12751 10707 300 300 0 12451 0 vsize: 51004 [startup+860.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 16524 0 0 0 85945 53 0 0 25 0 1 0 865341852 52498432 10767 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12817 10767 300 300 0 12517 0 vsize: 51268 [startup+870.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 16586 0 0 0 86945 53 0 0 25 0 1 0 865341852 52633600 10828 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12850 10828 300 300 0 12550 0 vsize: 51400 [startup+880.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 16646 0 0 0 87945 54 0 0 25 0 1 0 865341852 52768768 10887 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12883 10887 300 300 0 12583 0 vsize: 51532 [startup+890.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 16706 0 0 0 88945 54 0 0 25 0 1 0 865341852 52903936 10946 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12916 10946 300 300 0 12616 0 vsize: 51664 [startup+900.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 16766 0 0 0 89945 54 0 0 25 0 1 0 865341852 53039104 11005 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12949 11005 300 300 0 12649 0 vsize: 51796 [startup+910.044 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 16824 0 0 0 90944 55 0 0 25 0 1 0 865341852 53309440 11062 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13015 11062 300 300 0 12715 0 vsize: 52060 [startup+920.044 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 16885 0 0 0 91944 55 0 0 25 0 1 0 865341852 53444608 11122 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13048 11122 300 300 0 12748 0 vsize: 52192 [startup+930.044 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 16943 0 0 0 92943 55 0 0 25 0 1 0 865341852 53579776 11179 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13081 11179 300 300 0 12781 0 vsize: 52324 [startup+940.044 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17002 0 0 0 93943 56 0 0 25 0 1 0 865341852 53714944 11237 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13114 11237 300 300 0 12814 0 vsize: 52456 [startup+950.044 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17061 0 0 0 94943 56 0 0 25 0 1 0 865341852 53850112 11295 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13147 11295 300 300 0 12847 0 vsize: 52588 [startup+960.044 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17118 0 0 0 95944 56 0 0 25 0 1 0 865341852 53985280 11351 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13180 11351 300 300 0 12880 0 vsize: 52720 [startup+970.044 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17175 0 0 0 96943 56 0 0 25 0 1 0 865341852 54120448 11407 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13213 11407 300 300 0 12913 0 vsize: 52852 [startup+980.045 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17233 0 0 0 97943 56 0 0 25 0 1 0 865341852 54255616 11464 4294967295 134512640 135726644 3221224576 3221221664 134556181 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13246 11464 300 300 0 12946 0 vsize: 52984 [startup+990.044 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17289 0 0 0 98943 56 0 0 25 0 1 0 865341852 54525952 11520 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13312 11520 300 300 0 13012 0 vsize: 53248 [startup+1000.04 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17345 0 0 0 99943 57 0 0 25 0 1 0 865341852 54661120 11575 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13345 11575 300 300 0 13045 0 vsize: 53380 [startup+1010.04 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17403 0 0 0 100943 57 0 0 25 0 1 0 865341852 54796288 11632 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13378 11632 300 300 0 13078 0 vsize: 53512 [startup+1020.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17458 0 0 0 101943 57 0 0 25 0 1 0 865341852 54931456 11686 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13411 11686 300 300 0 13111 0 vsize: 53644 [startup+1030.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17514 0 0 0 102943 57 0 0 25 0 1 0 865341852 55066624 11741 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13444 11741 300 300 0 13144 0 vsize: 53776 [startup+1040.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17571 0 0 0 103942 58 0 0 25 0 1 0 865341852 55201792 11797 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13477 11797 300 300 0 13177 0 vsize: 53908 [startup+1050.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17626 0 0 0 104942 58 0 0 25 0 1 0 865341852 55336960 11851 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13510 11851 300 300 0 13210 0 vsize: 54040 [startup+1060.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17681 0 0 0 105942 58 0 0 25 0 1 0 865341852 55472128 11905 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13543 11905 300 300 0 13243 0 vsize: 54172 [startup+1070.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17736 0 0 0 106942 59 0 0 25 0 1 0 865341852 55607296 11959 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13576 11959 300 300 0 13276 0 vsize: 54304 [startup+1080.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17791 0 0 0 107942 59 0 0 25 0 1 0 865341852 55742464 12013 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13609 12013 300 300 0 13309 0 vsize: 54436 [startup+1090.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17844 0 0 0 108942 59 0 0 25 0 1 0 865341852 55877632 12066 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13642 12066 300 300 0 13342 0 vsize: 54568 [startup+1100.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17899 0 0 0 109942 59 0 0 25 0 1 0 865341852 56147968 12120 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13708 12120 300 300 0 13408 0 vsize: 54832 [startup+1110.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 17953 0 0 0 110942 59 0 0 25 0 1 0 865341852 56283136 12173 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13741 12173 300 300 0 13441 0 vsize: 54964 [startup+1120.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 18006 0 0 0 111942 59 0 0 25 0 1 0 865341852 56418304 12225 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13774 12225 300 300 0 13474 0 vsize: 55096 [startup+1130.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 18060 0 0 0 112942 59 0 0 25 0 1 0 865341852 56553472 12278 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13807 12278 300 300 0 13507 0 vsize: 55228 [startup+1140.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 18113 0 0 0 113942 59 0 0 25 0 1 0 865341852 56688640 12330 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13840 12330 300 300 0 13540 0 vsize: 55360 [startup+1150.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 18166 0 0 0 114942 60 0 0 25 0 1 0 865341852 56823808 12382 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13873 12382 300 300 0 13573 0 vsize: 55492 [startup+1160.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 18217 0 0 0 115941 60 0 0 25 0 1 0 865341852 56958976 12433 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13906 12433 300 300 0 13606 0 vsize: 55624 [startup+1170.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 18271 0 0 0 116941 61 0 0 25 0 1 0 865341852 57094144 12486 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13939 12486 300 300 0 13639 0 vsize: 55756 [startup+1180.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 18323 0 0 0 117941 61 0 0 25 0 1 0 865341852 57229312 12537 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13972 12537 300 300 0 13672 0 vsize: 55888 [startup+1190.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 18374 0 0 0 118941 62 0 0 25 0 1 0 865341852 57364480 12587 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14005 12587 300 300 0 13705 0 vsize: 56020 [startup+1200.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 22531 Raw data (stat): 22474 (pb2sat) R 22473 7475 7474 0 -1 0 18428 0 0 0 119940 62 0 0 25 0 1 0 865341852 57499648 12640 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14038 12640 300 300 0 13738 0 vsize: 56152 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1201.15 s] Raw data (loadavg): 1.00 0.99 0.92 1/54 22531 Raw data (stat): 22474 (pb2sat) Z 22473 7475 7474 0 -1 12 18431 0 0 0 120048 64 0 0 25 0 1 0 865341852 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): 1201.15 CPU time (s): 1201.13 CPU user time (s): 1200.48 CPU system time (s): 0.648901 CPU usage (%): 99.9988 Max. virtual memory (Kb): 56152 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####