Name | normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb |
MD5SUM | a89f4ed95903fddf213992506514bcf0 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 16 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 906 |
Biggest coefficient in the objective function | 553 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 2526 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 553 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2526 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.04184 |
Number of variables | 906 |
Total number of constraints | 1944 |
Number of constraints which are clauses | 852 |
Number of constraints which are cardinality constraints (but not clauses) | 1092 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 18 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc19 THE 2005-05-28 11:53:52 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=24297 boxname=wulflinc19 idbench=371 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: a89f4ed95903fddf213992506514bcf0 /oldhome/oroussel/tmp/wulflinc19/normalized-10:20:4.5:0.95:98.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc19/normalized-10:20:4.5:0.95:98.opb IDLAUNCH: 24297 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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: 441312 kB Buffers: 33548 kB Cached: 530504 kB SwapCached: 960 kB Active: 43756 kB Inactive: 522376 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 441060 kB SwapTotal: 2097892 kB SwapFree: 2096060 kB Dirty: 24 kB Writeback: 0 kB Mapped: 4936 kB Slab: 21612 kB Committed_AS: 63592 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-28 12:13:55 (client local time) WITH STATUS 0 IN 1201.55 SECONDS stats: 24297 7 1201.55 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... Decision: 231632/539391 Time: 593.065/86400 Decision: 231634/539391 Time: 723.313/86400 Decision: 231634/539391 Time: 807.242/86400 Decision: 231634/539391 Time: 899.028/86400 Decision: 231634/539391 Time: 995.401/86400 Decision: 231634/539391 Time: 1096.08/86400s UNKNOWN #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.91 0.95 0.90 2/54 19501 Raw data (stat): 19501 (runsolver) R 19500 10795 10794 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864589016 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.0006 s] Raw data (loadavg): 0.93 0.95 0.90 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 30426 0 0 0 938 61 0 0 25 0 1 0 864589016 90259456 19508 4294967295 134512640 135726644 3221224576 3221117656 135280658 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22036 19508 300 300 0 21736 0 vsize: 88144 [startup+20.0016 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 60042 0 0 0 1876 123 0 0 25 0 1 0 864589016 177737728 38154 4294967295 134512640 135726644 3221224576 3221142892 134604422 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43393 38154 300 300 0 43093 0 vsize: 173572 [startup+30.0022 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 97296 0 0 0 2796 202 0 0 25 0 1 0 864589016 306163712 52761 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 74747 52761 300 300 0 74447 0 vsize: 298988 [startup+40.0019 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 97324 0 0 0 3796 202 0 0 25 0 1 0 864589016 306298880 52789 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 74780 52789 300 300 0 74480 0 vsize: 299120 [startup+50.002 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 97476 0 0 0 4796 203 0 0 25 0 1 0 864589016 307232768 52941 4294967295 134512640 135726644 3221224576 3221223232 134731253 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 75008 52941 300 300 0 74708 0 vsize: 300032 [startup+60.0025 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 97507 0 0 0 5796 203 0 0 25 0 1 0 864589016 307367936 52972 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 75041 52972 300 300 0 74741 0 vsize: 300164 [startup+70.0024 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 98133 0 0 0 6795 204 0 0 25 0 1 0 864589016 310046720 53400 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 75695 53400 300 300 0 75395 0 vsize: 302780 [startup+80.0034 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 98649 0 0 0 7794 205 0 0 25 0 1 0 864589016 312053760 53751 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 76185 53751 300 300 0 75885 0 vsize: 304740 [startup+90.0029 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 98869 0 0 0 8794 206 0 0 25 0 1 0 864589016 313122816 53905 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 76446 53905 300 300 0 76146 0 vsize: 305784 [startup+100.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 99269 0 0 0 9793 207 0 0 25 0 1 0 864589016 314454016 54141 4294967295 134512640 135726644 3221224576 3221223200 134744578 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 76771 54141 300 300 0 76471 0 vsize: 307084 [startup+110.004 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 99632 0 0 0 10792 208 0 0 25 0 1 0 864589016 316063744 54405 4294967295 134512640 135726644 3221224576 3221223072 134744126 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 77164 54405 300 300 0 76864 0 vsize: 308656 [startup+120.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 99728 0 0 0 11792 208 0 0 25 0 1 0 864589016 316465152 54468 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 77262 54468 300 300 0 76962 0 vsize: 309048 [startup+130.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 100018 0 0 0 12791 209 0 0 25 0 1 0 864589016 317263872 54660 4294967295 134512640 135726644 3221224576 3221223072 134744331 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 77457 54660 300 300 0 77157 0 vsize: 309828 [startup+140.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 100195 0 0 0 13791 210 0 0 25 0 1 0 864589016 317931520 54771 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 77620 54771 300 300 0 77320 0 vsize: 310480 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 100252 0 0 0 14791 210 0 0 25 0 1 0 864589016 318062592 54795 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 77652 54795 300 300 0 77352 0 vsize: 310608 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 100557 0 0 0 15790 211 0 0 25 0 1 0 864589016 319401984 55001 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 77979 55001 300 300 0 77679 0 vsize: 311916 [startup+170.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 100699 0 0 0 16789 212 0 0 25 0 1 0 864589016 320212992 55143 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 78177 55143 300 300 0 77877 0 vsize: 312708 [startup+180.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 100809 0 0 0 17789 212 0 0 25 0 1 0 864589016 320614400 55220 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 78275 55220 300 300 0 77975 0 vsize: 313100 [startup+190.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 100890 0 0 0 18789 212 0 0 25 0 1 0 864589016 321150976 55301 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 78406 55301 300 300 0 78106 0 vsize: 313624 [startup+200.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 100898 0 0 0 19789 212 0 0 25 0 1 0 864589016 321150976 55309 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 78406 55309 300 300 0 78106 0 vsize: 313624 [startup+210.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 100991 0 0 0 20789 213 0 0 25 0 1 0 864589016 321552384 55369 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 78504 55369 300 300 0 78204 0 vsize: 314016 [startup+220.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 101291 0 0 0 21788 214 0 0 25 0 1 0 864589016 322621440 55570 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 78765 55570 300 300 0 78465 0 vsize: 315060 [startup+230.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 101514 0 0 0 22788 214 0 0 25 0 1 0 864589016 323551232 55728 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 78992 55728 300 300 0 78692 0 vsize: 315968 [startup+240.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 101668 0 0 0 23788 214 0 0 25 0 1 0 864589016 323813376 55816 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79056 55816 300 300 0 78756 0 vsize: 316224 [startup+250.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 101816 0 0 0 24788 214 0 0 25 0 1 0 864589016 324206592 55866 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79152 55866 300 300 0 78852 0 vsize: 316608 [startup+260.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 101874 0 0 0 25788 215 0 0 25 0 1 0 864589016 324337664 55891 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79184 55891 300 300 0 78884 0 vsize: 316736 [startup+270.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 101992 0 0 0 26788 215 0 0 25 0 1 0 864589016 324734976 55976 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79281 55976 300 300 0 78981 0 vsize: 317124 [startup+280.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 102182 0 0 0 27787 216 0 0 25 0 1 0 864589016 325533696 56100 4294967295 134512640 135726644 3221224576 3221223232 134731258 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79476 56100 300 300 0 79176 0 vsize: 317904 [startup+290.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 102600 0 0 0 28786 217 0 0 25 0 1 0 864589016 326717440 56290 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79765 56290 300 300 0 79465 0 vsize: 319060 [startup+300.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 102720 0 0 0 29786 217 0 0 25 0 1 0 864589016 327114752 56344 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79862 56344 300 300 0 79562 0 vsize: 319448 [startup+310.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 103446 0 0 0 30784 220 0 0 25 0 1 0 864589016 329093120 56678 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 80345 56678 300 300 0 80045 0 vsize: 321380 [startup+320.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 103574 0 0 0 31784 220 0 0 25 0 1 0 864589016 329629696 56773 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 80476 56773 300 300 0 80176 0 vsize: 321904 [startup+330.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 103740 0 0 0 32783 221 0 0 25 0 1 0 864589016 330027008 56873 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 80573 56873 300 300 0 80273 0 vsize: 322292 [startup+340.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 103830 0 0 0 33783 221 0 0 25 0 1 0 864589016 330293248 56930 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 80638 56930 300 300 0 80338 0 vsize: 322552 [startup+350.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 104031 0 0 0 34782 222 0 0 25 0 1 0 864589016 330821632 57032 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 80767 57032 300 300 0 80467 0 vsize: 323068 [startup+360.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 104120 0 0 0 35782 222 0 0 25 0 1 0 864589016 331087872 57088 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 80832 57088 300 300 0 80532 0 vsize: 323328 [startup+370.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19501 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 104245 0 0 0 36782 223 0 0 25 0 1 0 864589016 331485184 57147 4294967295 134512640 135726644 3221224576 3221223072 134743875 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 80929 57147 300 300 0 80629 0 vsize: 323716 [startup+380.012 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 19554 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 104368 0 0 0 37781 224 0 0 25 0 1 0 864589016 331747328 57204 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 80993 57204 300 300 0 80693 0 vsize: 323972 [startup+390.012 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 19554 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 104428 0 0 0 38780 224 0 0 25 0 1 0 864589016 331878400 57231 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 81025 57231 300 300 0 80725 0 vsize: 324100 [startup+400.013 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 19554 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 104623 0 0 0 39780 225 0 0 25 0 1 0 864589016 332541952 57360 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 81187 57360 300 300 0 80887 0 vsize: 324748 [startup+410.014 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 19554 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 104631 0 0 0 40780 226 0 0 25 0 1 0 864589016 332541952 57368 4294967295 134512640 135726644 3221224576 3221223184 134744646 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 81187 57368 300 300 0 80887 0 vsize: 324748 [startup+420.014 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 19554 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 104674 0 0 0 41779 227 0 0 25 0 1 0 864589016 332673024 57378 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 81219 57378 300 300 0 80919 0 vsize: 324876 [startup+430.014 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 19554 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 104975 0 0 0 42778 228 0 0 25 0 1 0 864589016 333594624 57482 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 81444 57482 300 300 0 81144 0 vsize: 325776 [startup+440.014 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 19554 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 105063 0 0 0 43777 229 0 0 25 0 1 0 864589016 333860864 57537 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 81509 57537 300 300 0 81209 0 vsize: 326036 [startup+450.014 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 19556 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 105155 0 0 0 44776 230 0 0 25 0 1 0 864589016 334123008 57564 4294967295 134512640 135726644 3221224576 3221223072 134743996 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 81573 57564 300 300 0 81273 0 vsize: 326292 [startup+460.015 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 19556 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 105211 0 0 0 45776 231 0 0 25 0 1 0 864589016 334254080 57587 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 81605 57587 300 300 0 81305 0 vsize: 326420 [startup+470.015 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 19556 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 105379 0 0 0 46775 231 0 0 25 0 1 0 864589016 334786560 57689 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 81735 57689 300 300 0 81435 0 vsize: 326940 [startup+480.016 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 19556 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 105539 0 0 0 47774 232 0 0 25 0 1 0 864589016 335450112 57784 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 81897 57784 300 300 0 81597 0 vsize: 327588 [startup+490.016 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 19556 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 105552 0 0 0 48774 233 0 0 25 0 1 0 864589016 335450112 57797 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 81897 57797 300 300 0 81597 0 vsize: 327588 [startup+500.016 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 19556 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 105704 0 0 0 49772 235 0 0 25 0 1 0 864589016 335847424 57883 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 81994 57883 300 300 0 81694 0 vsize: 327976 [startup+510.017 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 19556 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 105815 0 0 0 50772 235 0 0 25 0 1 0 864589016 336113664 57961 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82059 57961 300 300 0 81759 0 vsize: 328236 [startup+520.017 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19556 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 105904 0 0 0 51771 237 0 0 25 0 1 0 864589016 336519168 58050 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82158 58050 300 300 0 81858 0 vsize: 328632 [startup+530.018 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19556 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 106050 0 0 0 52770 238 0 0 25 0 1 0 864589016 336912384 58098 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82254 58098 300 300 0 81954 0 vsize: 329016 [startup+540.018 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19556 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 106052 0 0 0 53770 238 0 0 25 0 1 0 864589016 336912384 58100 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82254 58100 300 300 0 81954 0 vsize: 329016 [startup+550.018 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19556 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 106134 0 0 0 54769 239 0 0 25 0 1 0 864589016 337178624 58149 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82319 58149 300 300 0 82019 0 vsize: 329276 [startup+560.018 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19556 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 106249 0 0 0 55768 240 0 0 25 0 1 0 864589016 337580032 58231 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82417 58231 300 300 0 82117 0 vsize: 329668 [startup+570.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19556 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 106252 0 0 0 56768 240 0 0 25 0 1 0 864589016 337580032 58234 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82417 58234 300 300 0 82117 0 vsize: 329668 [startup+580.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19556 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 106310 0 0 0 57768 241 0 0 25 0 1 0 864589016 337711104 58259 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82449 58259 300 300 0 82149 0 vsize: 329796 [startup+590.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19556 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 106311 0 0 0 58767 242 0 0 25 0 1 0 864589016 337711104 58260 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82449 58260 300 300 0 82149 0 vsize: 329796 [startup+600.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19556 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 106377 0 0 0 59767 242 0 0 25 0 1 0 864589016 337842176 58293 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82481 58293 300 300 0 82181 0 vsize: 329924 [startup+610.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19556 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 106473 0 0 0 60767 243 0 0 25 0 1 0 864589016 338108416 58356 4294967295 134512640 135726644 3221224576 3221222940 135287443 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82546 58356 300 300 0 82246 0 vsize: 330184 [startup+620.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19556 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 107586 0 0 0 61764 247 0 0 25 0 1 0 864589016 338239488 58382 4294967295 134512640 135726644 3221224576 3221223200 134779658 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82578 58382 300 300 0 82278 0 vsize: 330312 [startup+630.031 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19556 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 107743 0 0 0 62763 248 0 0 25 0 1 0 864589016 338636800 58473 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82675 58473 300 300 0 82375 0 vsize: 330700 [startup+640.032 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19556 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 107824 0 0 0 63762 249 0 0 25 0 1 0 864589016 338767872 58521 4294967295 134512640 135726644 3221224576 3221223072 134743996 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82707 58521 300 300 0 82407 0 vsize: 330828 [startup+650.031 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19556 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 107866 0 0 0 64762 249 0 0 25 0 1 0 864589016 338903040 58563 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82740 58563 300 300 0 82440 0 vsize: 330960 [startup+660.032 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19556 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 107881 0 0 0 65762 250 0 0 25 0 1 0 864589016 338903040 58578 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82740 58578 300 300 0 82440 0 vsize: 330960 [startup+670.039 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19556 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 107992 0 0 0 66762 250 0 0 25 0 1 0 864589016 339431424 58624 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82869 58624 300 300 0 82569 0 vsize: 331476 [startup+680.039 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19556 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 108039 0 0 0 67761 251 0 0 25 0 1 0 864589016 339431424 58671 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82869 58671 300 300 0 82569 0 vsize: 331476 [startup+690.039 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19556 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 108190 0 0 0 68760 252 0 0 25 0 1 0 864589016 339693568 58757 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82933 58757 300 300 0 82633 0 vsize: 331732 [startup+700.039 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19556 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 108821 0 0 0 69758 254 0 0 25 0 1 0 864589016 341798912 58997 4294967295 134512640 135726644 3221224576 3221223072 134743875 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83447 58997 300 300 0 83147 0 vsize: 333788 [startup+710.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19556 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 108908 0 0 0 70758 255 0 0 25 0 1 0 864589016 342061056 59019 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83511 59019 300 300 0 83211 0 vsize: 334044 [startup+720.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19556 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 109027 0 0 0 71757 256 0 0 25 0 1 0 864589016 342458368 59105 4294967295 134512640 135726644 3221224576 3221223072 134744295 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83608 59105 300 300 0 83308 0 vsize: 334432 [startup+730.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19556 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 109191 0 0 0 72757 257 0 0 25 0 1 0 864589016 342851584 59171 4294967295 134512640 135726644 3221224576 3221223228 134744472 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83704 59171 300 300 0 83404 0 vsize: 334816 [startup+740.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19556 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 109196 0 0 0 73756 257 0 0 25 0 1 0 864589016 342851584 59176 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83704 59176 300 300 0 83404 0 vsize: 334816 [startup+750.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 110276 0 0 0 74753 260 0 0 25 0 1 0 864589016 347168768 60256 4294967295 134512640 135726644 3221224576 3221222736 134765513 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 84758 60256 300 300 0 84458 0 vsize: 339032 [startup+760.041 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 110309 0 0 0 75753 261 0 0 25 0 1 0 864589016 342851584 59235 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83704 59235 300 300 0 83404 0 vsize: 334816 [startup+770.042 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 110311 0 0 0 76753 261 0 0 25 0 1 0 864589016 342851584 59237 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83704 59237 300 300 0 83404 0 vsize: 334816 [startup+780.042 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 110337 0 0 0 77753 261 0 0 25 0 1 0 864589016 342851584 59263 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83704 59264 300 300 0 83404 0 vsize: 334816 [startup+790.042 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 110347 0 0 0 78752 262 0 0 25 0 1 0 864589016 342851584 59273 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83704 59273 300 300 0 83404 0 vsize: 334816 [startup+800.042 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 110348 0 0 0 79752 262 0 0 25 0 1 0 864589016 342851584 59274 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83704 59274 300 300 0 83404 0 vsize: 334816 [startup+810.043 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 110349 0 0 0 80753 262 0 0 25 0 1 0 864589016 342851584 59275 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83704 59275 300 300 0 83404 0 vsize: 334816 [startup+820.043 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 110443 0 0 0 81752 262 0 0 25 0 1 0 864589016 343113728 59304 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83768 59304 300 300 0 83468 0 vsize: 335072 [startup+830.043 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 110448 0 0 0 82752 263 0 0 25 0 1 0 864589016 343113728 59309 4294967295 134512640 135726644 3221224576 3221223232 134745088 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83768 59309 300 300 0 83468 0 vsize: 335072 [startup+840.043 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 111508 0 0 0 83750 265 0 0 25 0 1 0 864589016 343113728 59315 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83768 59315 300 300 0 83468 0 vsize: 335072 [startup+850.043 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 111510 0 0 0 84750 265 0 0 25 0 1 0 864589016 343113728 59317 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83768 59317 300 300 0 83468 0 vsize: 335072 [startup+860.044 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 111512 0 0 0 85750 266 0 0 25 0 1 0 864589016 343113728 59319 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83768 59319 300 300 0 83468 0 vsize: 335072 [startup+870.043 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 111529 0 0 0 86749 266 0 0 25 0 1 0 864589016 343113728 59336 4294967295 134512640 135726644 3221224576 3221223200 134744620 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83768 59336 300 300 0 83468 0 vsize: 335072 [startup+880.044 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 111531 0 0 0 87750 266 0 0 25 0 1 0 864589016 343113728 59338 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83768 59338 300 300 0 83468 0 vsize: 335072 [startup+890.044 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 111535 0 0 0 88750 266 0 0 25 0 1 0 864589016 343113728 59342 4294967295 134512640 135726644 3221224576 3221223188 134744633 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83768 59342 300 300 0 83468 0 vsize: 335072 [startup+900.044 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 111541 0 0 0 89749 267 0 0 25 0 1 0 864589016 343113728 59348 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83768 59348 300 300 0 83468 0 vsize: 335072 [startup+910.044 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 111588 0 0 0 90749 267 0 0 25 0 1 0 864589016 343244800 59362 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83800 59362 300 300 0 83500 0 vsize: 335200 [startup+920.046 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 111599 0 0 0 91749 267 0 0 25 0 1 0 864589016 343244800 59373 4294967295 134512640 135726644 3221224576 3221223072 134744025 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83800 59373 300 300 0 83500 0 vsize: 335200 [startup+930.046 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 112654 0 0 0 92747 270 0 0 25 0 1 0 864589016 343244800 59374 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83800 59374 300 300 0 83500 0 vsize: 335200 [startup+940.047 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 112655 0 0 0 93746 270 0 0 25 0 1 0 864589016 343244800 59375 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83800 59375 300 300 0 83500 0 vsize: 335200 [startup+950.058 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 112657 0 0 0 94747 271 0 0 25 0 1 0 864589016 343244800 59377 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83800 59377 300 300 0 83500 0 vsize: 335200 [startup+960.058 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 112658 0 0 0 95747 271 0 0 25 0 1 0 864589016 343244800 59378 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83800 59378 300 300 0 83500 0 vsize: 335200 [startup+970.058 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 112659 0 0 0 96747 271 0 0 25 0 1 0 864589016 343244800 59379 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83800 59379 300 300 0 83500 0 vsize: 335200 [startup+980.058 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 112662 0 0 0 97747 271 0 0 25 0 1 0 864589016 343244800 59382 4294967295 134512640 135726644 3221224576 3221223072 134744295 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83800 59382 300 300 0 83500 0 vsize: 335200 [startup+990.059 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 112664 0 0 0 98747 271 0 0 25 0 1 0 864589016 343244800 59384 4294967295 134512640 135726644 3221224576 3221223072 134744113 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83800 59384 300 300 0 83500 0 vsize: 335200 [startup+1000.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 112667 0 0 0 99747 272 0 0 25 0 1 0 864589016 343244800 59387 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83800 59387 300 300 0 83500 0 vsize: 335200 [startup+1010.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 112668 0 0 0 100747 272 0 0 25 0 1 0 864589016 343244800 59388 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83800 59388 300 300 0 83500 0 vsize: 335200 [startup+1020.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 112671 0 0 0 101747 272 0 0 25 0 1 0 864589016 343244800 59391 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83800 59391 300 300 0 83500 0 vsize: 335200 [startup+1030.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 113725 0 0 0 102744 275 0 0 25 0 1 0 864589016 343244800 59391 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83800 59391 300 300 0 83500 0 vsize: 335200 [startup+1040.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 113727 0 0 0 103744 275 0 0 25 0 1 0 864589016 343244800 59393 4294967295 134512640 135726644 3221224576 3221223072 134744011 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83800 59393 300 300 0 83500 0 vsize: 335200 [startup+1050.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 113729 0 0 0 104744 276 0 0 25 0 1 0 864589016 343244800 59395 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83800 59395 300 300 0 83500 0 vsize: 335200 [startup+1060.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 113838 0 0 0 105744 276 0 0 25 0 1 0 864589016 343638016 59406 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83896 59406 300 300 0 83596 0 vsize: 335584 [startup+1070.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 113841 0 0 0 106744 276 0 0 25 0 1 0 864589016 343638016 59409 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83896 59409 300 300 0 83596 0 vsize: 335584 [startup+1080.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 113848 0 0 0 107744 276 0 0 25 0 1 0 864589016 343638016 59416 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83896 59416 300 300 0 83596 0 vsize: 335584 [startup+1090.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 113850 0 0 0 108744 277 0 0 25 0 1 0 864589016 343638016 59418 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83896 59418 300 300 0 83596 0 vsize: 335584 [startup+1100.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 113853 0 0 0 109744 277 0 0 25 0 1 0 864589016 343638016 59421 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83896 59421 300 300 0 83596 0 vsize: 335584 [startup+1110.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 113855 0 0 0 110744 277 0 0 25 0 1 0 864589016 343638016 59423 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83896 59423 300 300 0 83596 0 vsize: 335584 [startup+1120.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 113878 0 0 0 111743 278 0 0 25 0 1 0 864589016 343638016 59446 4294967295 134512640 135726644 3221224576 3221223088 134742493 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83896 59446 300 300 0 83596 0 vsize: 335584 [startup+1130.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 114943 0 0 0 112741 280 0 0 25 0 1 0 864589016 343638016 59457 4294967295 134512640 135726644 3221224576 3221222896 134728861 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83896 59457 300 300 0 83596 0 vsize: 335584 [startup+1140.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 114944 0 0 0 113742 280 0 0 25 0 1 0 864589016 343638016 59458 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83896 59458 300 300 0 83596 0 vsize: 335584 [startup+1150.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 114944 0 0 0 114742 281 0 0 25 0 1 0 864589016 343638016 59458 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83896 59458 300 300 0 83596 0 vsize: 335584 [startup+1160.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 115032 0 0 0 115742 281 0 0 25 0 1 0 864589016 343900160 59481 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83960 59481 300 300 0 83660 0 vsize: 335840 [startup+1170.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 115033 0 0 0 116741 281 0 0 25 0 1 0 864589016 343900160 59482 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83960 59482 300 300 0 83660 0 vsize: 335840 [startup+1180.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 115056 0 0 0 117741 281 0 0 25 0 1 0 864589016 343900160 59505 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83960 59505 300 300 0 83660 0 vsize: 335840 [startup+1190.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 115056 0 0 0 118741 281 0 0 25 0 1 0 864589016 343900160 59505 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83960 59505 300 300 0 83660 0 vsize: 335840 [startup+1200.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 19558 Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 115057 0 0 0 119741 282 0 0 25 0 1 0 864589016 343900160 59506 4294967295 134512640 135726644 3221224576 3221223072 134744311 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83960 59506 300 300 0 83660 0 vsize: 335840 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1201.38 s] Raw data (loadavg): 1.00 0.99 0.91 1/54 19558 Raw data (stat): 19501 (pb2sat) Z 19500 10795 10794 0 -1 12 115058 0 0 0 119861 293 0 0 25 0 1 0 864589016 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 0 Real time (s): 1201.38 CPU time (s): 1201.55 CPU user time (s): 1198.61 CPU system time (s): 2.93555 CPU usage (%): 100.014 Max. virtual memory (Kb): 339032 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####