Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-13-7-fome11.opb |
MD5SUM | 6ffc5f91e7ad7c6593868bb0012c33e4 |
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 | 249428 |
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 | 1724124944012305800 |
Number of bits of the sum of numbers in the objective function | 61 |
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 | 4.54331 |
Number of variables | 488988 |
Total number of constraints | 12168 |
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 | 12168 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 4560 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc28 THE 2005-05-28 13:55:10 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25019 boxname=wulflinc28 idbench=1491 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 6ffc5f91e7ad7c6593868bb0012c33e4 /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-fome11.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-fome11.opb IDLAUNCH: 25019 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.077 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.077 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: 670752 kB Buffers: 37508 kB Cached: 283964 kB SwapCached: 780 kB Active: 53724 kB Inactive: 287812 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 670500 kB SwapTotal: 2097640 kB SwapFree: 2096164 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5460 kB Slab: 16504 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-28 14:15:14 (client local time) WITH STATUS 0 IN 1201.3 SECONDS stats: 25019 7 1201.3 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): 0.93 0.96 0.91 2/54 7964 Raw data (stat): 7964 (runsolver) R 7963 24821 24820 0 -1 64 8 0 0 0 0 0 0 0 20 0 1 0 865330953 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0048 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 7964 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 2007 0 0 0 994 5 0 0 25 0 1 0 865330953 7548928 1335 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 1843 1335 300 300 0 1543 0 vsize: 7372 [startup+20.0098 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 7964 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 2593 0 0 0 1994 6 0 0 25 0 1 0 865330953 9035776 1911 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 2206 1911 300 300 0 1906 0 vsize: 8824 [startup+30.0118 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 7964 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 3828 0 0 0 2992 9 0 0 25 0 1 0 865330953 13410304 2434 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3274 2434 300 300 0 2974 0 vsize: 13096 [startup+40.0289 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 7964 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 4033 0 0 0 3992 10 0 0 25 0 1 0 865330953 13815808 2634 4294967295 134512640 135726644 3221224576 3221220976 135278614 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3373 2634 300 300 0 3073 0 vsize: 13492 [startup+50.0431 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 7964 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 4297 0 0 0 4993 11 0 0 25 0 1 0 865330953 14491648 2894 4294967295 134512640 135726644 3221224576 3221221664 134556179 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3538 2894 300 300 0 3238 0 vsize: 14152 [startup+60.0435 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 7964 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 4533 0 0 0 5992 12 0 0 25 0 1 0 865330953 15167488 3126 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3703 3126 300 300 0 3403 0 vsize: 14812 [startup+70.0433 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 7964 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 4747 0 0 0 6990 13 0 0 25 0 1 0 865330953 15708160 3337 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3835 3337 300 300 0 3535 0 vsize: 15340 [startup+80.0462 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 7964 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 4951 0 0 0 7990 14 0 0 25 0 1 0 865330953 16248832 3537 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3967 3537 300 300 0 3667 0 vsize: 15868 [startup+90.0465 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 7964 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 5138 0 0 0 8989 15 0 0 25 0 1 0 865330953 16789504 3721 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4099 3721 300 300 0 3799 0 vsize: 16396 [startup+100.046 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 7964 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 5315 0 0 0 9988 16 0 0 25 0 1 0 865330953 17195008 3895 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4198 3895 300 300 0 3898 0 vsize: 16792 [startup+110.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7964 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 5484 0 0 0 10987 18 0 0 25 0 1 0 865330953 17600512 4062 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4297 4062 300 300 0 3997 0 vsize: 17188 [startup+120.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7964 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 7487 0 0 0 11982 22 0 0 25 0 1 0 865330953 25403392 4652 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4652 300 300 0 5902 0 vsize: 24808 [startup+130.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7964 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 7541 0 0 0 12982 23 0 0 25 0 1 0 865330953 25403392 4704 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4704 300 300 0 5902 0 vsize: 24808 [startup+140.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7964 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 7595 0 0 0 13981 23 0 0 25 0 1 0 865330953 25403392 4755 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4755 300 300 0 5902 0 vsize: 24808 [startup+150.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7964 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 7673 0 0 0 14981 24 0 0 25 0 1 0 865330953 25403392 4831 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4831 300 300 0 5902 0 vsize: 24808 [startup+160.061 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7964 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 7722 0 0 0 15982 25 0 0 25 0 1 0 865330953 25403392 4878 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4878 300 300 0 5902 0 vsize: 24808 [startup+170.061 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7964 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 7839 0 0 0 16982 25 0 0 25 0 1 0 865330953 25808896 4992 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6301 4992 300 300 0 6001 0 vsize: 25204 [startup+180.061 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7964 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 7969 0 0 0 17981 25 0 0 25 0 1 0 865330953 26079232 5120 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6367 5120 300 300 0 6067 0 vsize: 25468 [startup+190.061 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7964 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 8097 0 0 0 18980 26 0 0 25 0 1 0 865330953 26484736 5246 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6466 5246 300 300 0 6166 0 vsize: 25864 [startup+200.061 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7964 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 8221 0 0 0 19980 27 0 0 25 0 1 0 865330953 26755072 5368 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6532 5368 300 300 0 6232 0 vsize: 26128 [startup+210.062 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7964 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 8344 0 0 0 20979 28 0 0 25 0 1 0 865330953 27025408 5489 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6598 5489 300 300 0 6298 0 vsize: 26392 [startup+220.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7964 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 8463 0 0 0 21979 28 0 0 25 0 1 0 865330953 27430912 5606 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6697 5606 300 300 0 6397 0 vsize: 26788 [startup+230.062 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7964 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 8580 0 0 0 22979 29 0 0 25 0 1 0 865330953 27701248 5722 4294967295 134512640 135726644 3221224576 3221221888 134567991 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6763 5722 300 300 0 6463 0 vsize: 27052 [startup+240.062 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7964 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 8694 0 0 0 23978 29 0 0 25 0 1 0 865330953 27971584 5834 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6829 5834 300 300 0 6529 0 vsize: 27316 [startup+250.061 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7964 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 8807 0 0 0 24977 30 0 0 25 0 1 0 865330953 28241920 5945 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6895 5945 300 300 0 6595 0 vsize: 27580 [startup+260.068 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7964 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 8917 0 0 0 25977 31 0 0 25 0 1 0 865330953 28647424 6053 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6994 6053 300 300 0 6694 0 vsize: 27976 [startup+270.068 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7964 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 9026 0 0 0 26976 32 0 0 25 0 1 0 865330953 28917760 6160 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7060 6160 300 300 0 6760 0 vsize: 28240 [startup+280.068 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7964 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 9131 0 0 0 27976 33 0 0 25 0 1 0 865330953 29188096 6264 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7126 6264 300 300 0 6826 0 vsize: 28504 [startup+290.069 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 7964 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 9236 0 0 0 28975 34 0 0 25 0 1 0 865330953 29458432 6367 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7192 6367 300 300 0 6892 0 vsize: 28768 [startup+300.068 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 8017 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 9339 0 0 0 29970 39 0 0 25 0 1 0 865330953 29728768 6468 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7258 6468 300 300 0 6958 0 vsize: 29032 [startup+310.069 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 8017 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 9438 0 0 0 30969 40 0 0 25 0 1 0 865330953 29999104 6566 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7324 6566 300 300 0 7024 0 vsize: 29296 [startup+320.07 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 8017 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 9538 0 0 0 31969 40 0 0 25 0 1 0 865330953 30269440 6664 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7390 6664 300 300 0 7090 0 vsize: 29560 [startup+330.069 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 8017 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 9637 0 0 0 32969 40 0 0 25 0 1 0 865330953 30539776 6761 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7456 6761 300 300 0 7156 0 vsize: 29824 [startup+340.07 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 8017 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 9732 0 0 0 33968 41 0 0 25 0 1 0 865330953 30810112 6855 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7522 6855 300 300 0 7222 0 vsize: 30088 [startup+350.069 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 8017 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 9828 0 0 0 34967 41 0 0 25 0 1 0 865330953 30945280 6949 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7555 6949 300 300 0 7255 0 vsize: 30220 [startup+360.07 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 8019 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 9921 0 0 0 35967 42 0 0 25 0 1 0 865330953 31215616 7041 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7621 7041 300 300 0 7321 0 vsize: 30484 [startup+370.07 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 8019 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 10015 0 0 0 36967 42 0 0 25 0 1 0 865330953 31485952 7133 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7687 7133 300 300 0 7387 0 vsize: 30748 [startup+380.069 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 8019 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 10106 0 0 0 37967 42 0 0 25 0 1 0 865330953 31756288 7223 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7753 7223 300 300 0 7453 0 vsize: 31012 [startup+390.07 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 8019 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 10198 0 0 0 38967 42 0 0 25 0 1 0 865330953 32026624 7313 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7819 7313 300 300 0 7519 0 vsize: 31276 [startup+400.07 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 8019 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 10286 0 0 0 39966 43 0 0 25 0 1 0 865330953 32161792 7400 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7852 7400 300 300 0 7552 0 vsize: 31408 [startup+410.07 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 8019 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 10373 0 0 0 40966 43 0 0 25 0 1 0 865330953 32432128 7486 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7918 7486 300 300 0 7618 0 vsize: 31672 [startup+420.071 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 8019 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 10462 0 0 0 41966 44 0 0 25 0 1 0 865330953 32702464 7573 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7984 7573 300 300 0 7684 0 vsize: 31936 [startup+430.071 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8019 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 10548 0 0 0 42966 44 0 0 25 0 1 0 865330953 32972800 7658 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8050 7658 300 300 0 7750 0 vsize: 32200 [startup+440.071 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8019 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 10634 0 0 0 43966 44 0 0 25 0 1 0 865330953 33107968 7742 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8083 7742 300 300 0 7783 0 vsize: 32332 [startup+450.071 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8019 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 10719 0 0 0 44965 44 0 0 25 0 1 0 865330953 33378304 7826 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8149 7826 300 300 0 7849 0 vsize: 32596 [startup+460.072 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8019 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 10801 0 0 0 45965 45 0 0 25 0 1 0 865330953 33513472 7907 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8182 7907 300 300 0 7882 0 vsize: 32728 [startup+470.073 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8019 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 10884 0 0 0 46965 45 0 0 25 0 1 0 865330953 33783808 7988 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8248 7988 300 300 0 7948 0 vsize: 32992 [startup+480.072 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8019 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 11683 0 0 0 47964 46 0 0 25 0 1 0 865330953 52695040 8758 4294967295 134512640 135726644 3221224576 3221221120 134771640 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12865 8761 300 300 0 12565 0 vsize: 51460 [startup+490.073 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8019 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 14833 0 0 0 48959 51 0 0 25 0 1 0 865330953 49254400 9117 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9117 300 300 0 11725 0 vsize: 48100 [startup+500.073 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8019 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 14864 0 0 0 49959 51 0 0 25 0 1 0 865330953 49254400 9146 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9146 300 300 0 11725 0 vsize: 48100 [startup+510.073 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8019 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 14891 0 0 0 50959 51 0 0 25 0 1 0 865330953 49254400 9172 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9172 300 300 0 11725 0 vsize: 48100 [startup+520.073 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8019 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 14919 0 0 0 51959 52 0 0 25 0 1 0 865330953 49254400 9199 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9199 300 300 0 11725 0 vsize: 48100 [startup+530.073 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8019 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 14946 0 0 0 52958 52 0 0 25 0 1 0 865330953 49254400 9225 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9225 300 300 0 11725 0 vsize: 48100 [startup+540.074 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8019 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 14974 0 0 0 53959 52 0 0 25 0 1 0 865330953 49254400 9251 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9251 300 300 0 11725 0 vsize: 48100 [startup+550.074 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8019 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15001 0 0 0 54959 52 0 0 25 0 1 0 865330953 49254400 9277 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9277 300 300 0 11725 0 vsize: 48100 [startup+560.075 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8019 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15028 0 0 0 55959 52 0 0 25 0 1 0 865330953 49254400 9303 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9303 300 300 0 11725 0 vsize: 48100 [startup+570.075 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8019 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15055 0 0 0 56959 52 0 0 25 0 1 0 865330953 49254400 9329 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9329 300 300 0 11725 0 vsize: 48100 [startup+580.075 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8019 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15080 0 0 0 57959 52 0 0 25 0 1 0 865330953 49254400 9353 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9353 300 300 0 11725 0 vsize: 48100 [startup+590.076 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8019 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15107 0 0 0 58958 53 0 0 25 0 1 0 865330953 49254400 9378 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9378 300 300 0 11725 0 vsize: 48100 [startup+600.076 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15134 0 0 0 59958 53 0 0 25 0 1 0 865330953 49254400 9404 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9404 300 300 0 11725 0 vsize: 48100 [startup+610.077 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15161 0 0 0 60958 53 0 0 25 0 1 0 865330953 49254400 9430 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9430 300 300 0 11725 0 vsize: 48100 [startup+620.077 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15210 0 0 0 61958 53 0 0 25 0 1 0 865330953 49254400 9478 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9478 300 300 0 11725 0 vsize: 48100 [startup+630.076 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15236 0 0 0 62958 54 0 0 25 0 1 0 865330953 49254400 9503 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9503 300 300 0 11725 0 vsize: 48100 [startup+640.077 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15260 0 0 0 63958 54 0 0 25 0 1 0 865330953 49254400 9526 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9526 300 300 0 11725 0 vsize: 48100 [startup+650.077 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15287 0 0 0 64957 54 0 0 25 0 1 0 865330953 49254400 9551 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9551 300 300 0 11725 0 vsize: 48100 [startup+660.085 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15311 0 0 0 65958 54 0 0 25 0 1 0 865330953 49254400 9574 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9574 300 300 0 11725 0 vsize: 48100 [startup+670.089 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15336 0 0 0 66958 55 0 0 25 0 1 0 865330953 49254400 9598 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9598 300 300 0 11725 0 vsize: 48100 [startup+680.089 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15397 0 0 0 67958 55 0 0 25 0 1 0 865330953 49524736 9658 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12091 9658 300 300 0 11791 0 vsize: 48364 [startup+690.09 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15467 0 0 0 68958 55 0 0 25 0 1 0 865330953 49659904 9727 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12124 9727 300 300 0 11824 0 vsize: 48496 [startup+700.091 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15533 0 0 0 69957 56 0 0 25 0 1 0 865330953 49795072 9792 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12157 9792 300 300 0 11857 0 vsize: 48628 [startup+710.091 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15600 0 0 0 70956 57 0 0 25 0 1 0 865330953 50065408 9858 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12223 9858 300 300 0 11923 0 vsize: 48892 [startup+720.092 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15668 0 0 0 71956 57 0 0 25 0 1 0 865330953 50200576 9925 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12256 9925 300 300 0 11956 0 vsize: 49024 [startup+730.091 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15734 0 0 0 72956 57 0 0 25 0 1 0 865330953 50335744 9990 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12289 9990 300 300 0 11989 0 vsize: 49156 [startup+740.097 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15801 0 0 0 73956 58 0 0 25 0 1 0 865330953 50606080 10056 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12355 10056 300 300 0 12055 0 vsize: 49420 [startup+750.097 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15868 0 0 0 74956 58 0 0 25 0 1 0 865330953 50741248 10121 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12388 10121 300 300 0 12088 0 vsize: 49552 [startup+760.098 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15933 0 0 0 75956 59 0 0 25 0 1 0 865330953 50876416 10185 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12421 10185 300 300 0 12121 0 vsize: 49684 [startup+770.099 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 15997 0 0 0 76955 59 0 0 25 0 1 0 865330953 51011584 10248 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12454 10248 300 300 0 12154 0 vsize: 49816 [startup+780.099 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 16061 0 0 0 77954 59 0 0 25 0 1 0 865330953 51281920 10311 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12520 10311 300 300 0 12220 0 vsize: 50080 [startup+790.098 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 16126 0 0 0 78954 60 0 0 25 0 1 0 865330953 51417088 10375 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12553 10375 300 300 0 12253 0 vsize: 50212 [startup+800.098 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 16189 0 0 0 79954 60 0 0 25 0 1 0 865330953 51552256 10437 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12586 10437 300 300 0 12286 0 vsize: 50344 [startup+810.099 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 16253 0 0 0 80954 60 0 0 25 0 1 0 865330953 51687424 10500 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12619 10500 300 300 0 12319 0 vsize: 50476 [startup+820.099 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 16316 0 0 0 81954 60 0 0 25 0 1 0 865330953 51957760 10562 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12685 10562 300 300 0 12385 0 vsize: 50740 [startup+830.1 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 16378 0 0 0 82953 61 0 0 25 0 1 0 865330953 52092928 10623 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12718 10623 300 300 0 12418 0 vsize: 50872 [startup+840.1 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 16439 0 0 0 83952 61 0 0 25 0 1 0 865330953 52228096 10683 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12751 10683 300 300 0 12451 0 vsize: 51004 [startup+850.1 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 16499 0 0 0 84952 62 0 0 25 0 1 0 865330953 52363264 10742 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12784 10742 300 300 0 12484 0 vsize: 51136 [startup+860.101 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 16560 0 0 0 85952 62 0 0 25 0 1 0 865330953 52498432 10802 4294967295 134512640 135726644 3221224576 3221221272 135282351 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12817 10802 300 300 0 12517 0 vsize: 51268 [startup+870.101 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 16620 0 0 0 86952 62 0 0 25 0 1 0 865330953 52768768 10861 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12883 10861 300 300 0 12583 0 vsize: 51532 [startup+880.101 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 16681 0 0 0 87951 63 0 0 25 0 1 0 865330953 52903936 10921 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12916 10921 300 300 0 12616 0 vsize: 51664 [startup+890.102 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 16741 0 0 0 88950 64 0 0 25 0 1 0 865330953 53039104 10980 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12949 10980 300 300 0 12649 0 vsize: 51796 [startup+900.102 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 16801 0 0 0 89950 64 0 0 25 0 1 0 865330953 53174272 11039 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12982 11039 300 300 0 12682 0 vsize: 51928 [startup+910.102 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 16860 0 0 0 90950 65 0 0 25 0 1 0 865330953 53309440 11097 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13015 11097 300 300 0 12715 0 vsize: 52060 [startup+920.103 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 16917 0 0 0 91950 65 0 0 25 0 1 0 865330953 53444608 11154 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13048 11154 300 300 0 12748 0 vsize: 52192 [startup+930.103 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 16976 0 0 0 92949 66 0 0 25 0 1 0 865330953 53579776 11212 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13081 11212 300 300 0 12781 0 vsize: 52324 [startup+940.104 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17035 0 0 0 93949 66 0 0 25 0 1 0 865330953 53850112 11270 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13147 11270 300 300 0 12847 0 vsize: 52588 [startup+950.104 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17093 0 0 0 94948 67 0 0 25 0 1 0 865330953 53985280 11327 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13180 11327 300 300 0 12880 0 vsize: 52720 [startup+960.103 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17150 0 0 0 95948 67 0 0 25 0 1 0 865330953 54120448 11383 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13213 11383 300 300 0 12913 0 vsize: 52852 [startup+970.104 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17207 0 0 0 96948 68 0 0 25 0 1 0 865330953 54255616 11439 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13246 11439 300 300 0 12946 0 vsize: 52984 [startup+980.104 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17265 0 0 0 97947 68 0 0 25 0 1 0 865330953 54390784 11496 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13279 11496 300 300 0 12979 0 vsize: 53116 [startup+990.104 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17323 0 0 0 98947 68 0 0 25 0 1 0 865330953 54525952 11553 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13312 11553 300 300 0 13012 0 vsize: 53248 [startup+1000.1 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17380 0 0 0 99947 68 0 0 25 0 1 0 865330953 54661120 11609 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13345 11609 300 300 0 13045 0 vsize: 53380 [startup+1010.1 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17437 0 0 0 100947 69 0 0 25 0 1 0 865330953 54796288 11665 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13378 11665 300 300 0 13078 0 vsize: 53512 [startup+1020.1 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17494 0 0 0 101947 69 0 0 25 0 1 0 865330953 55066624 11721 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13444 11721 300 300 0 13144 0 vsize: 53776 [startup+1030.1 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17550 0 0 0 102947 69 0 0 25 0 1 0 865330953 55201792 11776 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13477 11776 300 300 0 13177 0 vsize: 53908 [startup+1040.1 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17606 0 0 0 103947 69 0 0 25 0 1 0 865330953 55336960 11831 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13510 11831 300 300 0 13210 0 vsize: 54040 [startup+1050.1 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17661 0 0 0 104947 69 0 0 25 0 1 0 865330953 55472128 11886 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13543 11886 300 300 0 13243 0 vsize: 54172 [startup+1060.1 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17717 0 0 0 105947 69 0 0 25 0 1 0 865330953 55607296 11941 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13576 11941 300 300 0 13276 0 vsize: 54304 [startup+1070.1 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17772 0 0 0 106947 69 0 0 25 0 1 0 865330953 55742464 11995 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13609 11995 300 300 0 13309 0 vsize: 54436 [startup+1080.1 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17826 0 0 0 107947 70 0 0 25 0 1 0 865330953 55877632 12048 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13642 12048 300 300 0 13342 0 vsize: 54568 [startup+1090.1 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17882 0 0 0 108947 70 0 0 25 0 1 0 865330953 56012800 12103 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13675 12103 300 300 0 13375 0 vsize: 54700 [startup+1100.1 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17936 0 0 0 109947 70 0 0 25 0 1 0 865330953 56147968 12156 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13708 12156 300 300 0 13408 0 vsize: 54832 [startup+1110.1 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 17991 0 0 0 110947 70 0 0 25 0 1 0 865330953 56283136 12210 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13741 12210 300 300 0 13441 0 vsize: 54964 [startup+1120.1 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 18045 0 0 0 111947 70 0 0 25 0 1 0 865330953 56418304 12263 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13774 12263 300 300 0 13474 0 vsize: 55096 [startup+1130.1 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 18098 0 0 0 112946 71 0 0 25 0 1 0 865330953 56553472 12316 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13807 12316 300 300 0 13507 0 vsize: 55228 [startup+1140.1 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 18151 0 0 0 113946 71 0 0 25 0 1 0 865330953 56688640 12368 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13840 12368 300 300 0 13540 0 vsize: 55360 [startup+1150.1 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 18206 0 0 0 114946 71 0 0 25 0 1 0 865330953 56958976 12422 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13906 12422 300 300 0 13606 0 vsize: 55624 [startup+1160.1 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 18258 0 0 0 115946 71 0 0 25 0 1 0 865330953 57094144 12473 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13939 12473 300 300 0 13639 0 vsize: 55756 [startup+1170.1 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 18311 0 0 0 116946 72 0 0 25 0 1 0 865330953 57229312 12525 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13972 12525 300 300 0 13672 0 vsize: 55888 [startup+1180.1 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 18364 0 0 0 117946 72 0 0 25 0 1 0 865330953 57364480 12577 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14005 12577 300 300 0 13705 0 vsize: 56020 [startup+1190.11 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 18417 0 0 0 118946 72 0 0 25 0 1 0 865330953 57499648 12629 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14038 12629 300 300 0 13738 0 vsize: 56152 [startup+1200.11 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 8021 Raw data (stat): 7964 (pb2sat) R 7963 24821 24820 0 -1 0 18467 0 0 0 119945 72 0 0 25 0 1 0 865330953 57634816 12679 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14071 12679 300 300 0 13771 0 vsize: 56284 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1201.34 s] Raw data (loadavg): 1.00 0.99 0.91 1/54 8021 Raw data (stat): 7964 (pb2sat) Z 7963 24821 24820 0 -1 12 18470 0 0 0 120054 75 0 0 24 0 1 0 865330953 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.34 CPU time (s): 1201.3 CPU user time (s): 1200.54 CPU system time (s): 0.756884 CPU usage (%): 99.9968 Max. virtual memory (Kb): 56284 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####