Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gen.opb |
MD5SUM | 44022c506f5e075b1877fcb50aa96dbc |
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 | 13134 |
Biggest coefficient in the objective function | 3456331981783040 |
Number of bits for the biggest coefficient in the objective function | 52 |
Sum of the numbers in the objective function | 2106245048465744992 |
Number of bits of the sum of numbers in the objective function | 61 |
Biggest number in a constraint | 3456331981783040 |
Number of bits of the biggest number in a constraint | 52 |
Biggest sum of numbers in a constraint | 2106245048465744992 |
Number of bits of the biggest sum of numbers | 61 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.169973 |
Number of variables | 19038 |
Total number of constraints | 1074 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 144 |
Number of constraints which are nor clauses,nor cardinality constraints | 930 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 264 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-06-16 09:34:55 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25730 boxname=wulflinc5 idbench=1030 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 44022c506f5e075b1877fcb50aa96dbc /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-gen.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-gen.opb IDLAUNCH: 25730 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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: 775048 kB Buffers: 27664 kB Cached: 208560 kB SwapCached: 688 kB Active: 27736 kB Inactive: 210624 kB HighTotal: 131008 kB HighFree: 45612 kB LowTotal: 903652 kB LowFree: 729436 kB SwapTotal: 2097136 kB SwapFree: 2095520 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5156 kB Slab: 15636 kB Committed_AS: 63712 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 09:54:58 (client local time) WITH STATUS 0 IN 1200.86 SECONDS stats: 25730 7 1200.86 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 122067/275150 Time: 177.704/86400 c Decision: 122133/275150 Time: 206.503/86400 c Decision: 122705/275150 Time: 364.436/86400 c Decision: 122951/275150 Time: 436.035/86400 c Decision: 122966/275150 Time: 454.732/86400 c Decision: 123969/275150 Time: 849.156/86400 c Decision: 124409/275150 Time: 1034.65/86400 c Decision: 124683/275150 Time: 1181.88/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.88 0.94 0.90 2/54 11862 Raw data (stat): 11862 (runsolver) R 11861 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 969723435 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.0005 s] Raw data (loadavg): 0.90 0.94 0.90 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 18076 0 0 0 959 39 0 0 25 0 1 0 969723435 57073664 10293 4294967295 134512640 135730672 3221224576 3221192648 134549353 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13934 10293 301 301 0 13633 0 vsize: 55736 [startup+20.0011 s] Raw data (loadavg): 0.91 0.94 0.90 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 37509 0 0 0 1912 85 0 0 25 0 1 0 969723435 111861760 21365 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27310 21365 301 301 0 27009 0 vsize: 109240 [startup+30.0011 s] Raw data (loadavg): 0.92 0.94 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 38789 0 0 0 2909 88 0 0 25 0 1 0 969723435 117805056 22447 4294967295 134512640 135730672 3221224576 3221223228 134748060 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28761 22447 301 301 0 28460 0 vsize: 115044 [startup+40.0016 s] Raw data (loadavg): 0.94 0.95 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 39572 0 0 0 3907 91 0 0 25 0 1 0 969723435 121540608 23230 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 29673 23230 301 301 0 29372 0 vsize: 118692 [startup+50.0013 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 40099 0 0 0 4904 94 0 0 25 0 1 0 969723435 124096512 23757 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 30297 23757 301 301 0 29996 0 vsize: 121188 [startup+60.0024 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 40231 0 0 0 5902 96 0 0 25 0 1 0 969723435 124489728 23889 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 30393 23889 301 301 0 30092 0 vsize: 121572 [startup+70.0028 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 40413 0 0 0 6900 98 0 0 25 0 1 0 969723435 124981248 24071 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 30513 24071 301 301 0 30212 0 vsize: 122052 [startup+80.0026 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 40761 0 0 0 7898 100 0 0 25 0 1 0 969723435 126390272 24419 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 30857 24419 301 301 0 30556 0 vsize: 123428 [startup+90.0027 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 40975 0 0 0 8895 103 0 0 25 0 1 0 969723435 127176704 24633 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 31049 24633 301 301 0 30748 0 vsize: 124196 [startup+100.002 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 41133 0 0 0 9892 107 0 0 25 0 1 0 969723435 127766528 24791 4294967295 134512640 135730672 3221224576 3221222824 135284590 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 31193 24791 301 301 0 30892 0 vsize: 124772 [startup+110.003 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 41241 0 0 0 10889 110 0 0 25 0 1 0 969723435 128159744 24899 4294967295 134512640 135730672 3221224576 3221223232 134734837 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 31289 24899 301 301 0 30988 0 vsize: 125156 [startup+120.004 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 41783 0 0 0 11885 114 0 0 25 0 1 0 969723435 130715648 25441 4294967295 134512640 135730672 3221224576 3221223120 134740242 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 31913 25441 301 301 0 31612 0 vsize: 127652 [startup+130.003 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 42143 0 0 0 12882 117 0 0 25 0 1 0 969723435 132485120 25801 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 32345 25801 301 301 0 32044 0 vsize: 129380 [startup+140.003 s] Raw data (loadavg): 0.99 0.96 0.91 3/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 42188 0 0 0 13880 120 0 0 25 0 1 0 969723435 132681728 25846 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 32393 25846 301 301 0 32092 0 vsize: 129572 [startup+150.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 42505 0 0 0 14875 124 0 0 25 0 1 0 969723435 134057984 26163 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 32729 26163 301 301 0 32428 0 vsize: 130916 [startup+160.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 42722 0 0 0 15873 127 0 0 25 0 1 0 969723435 134856704 26380 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 32924 26380 301 301 0 32623 0 vsize: 131696 [startup+170.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 43096 0 0 0 16869 131 0 0 25 0 1 0 969723435 136884224 26754 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 33419 26754 301 301 0 33118 0 vsize: 133676 [startup+180.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 43279 0 0 0 17865 135 0 0 25 0 1 0 969723435 137830400 26937 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 33650 26937 301 301 0 33349 0 vsize: 134600 [startup+190.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 43983 0 0 0 18861 140 0 0 25 0 1 0 969723435 142290944 27641 4294967295 134512640 135730672 3221224576 3221223172 134747725 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 34739 27641 301 301 0 34438 0 vsize: 138956 [startup+200.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 44698 0 0 0 19857 143 0 0 25 0 1 0 969723435 143372288 27818 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35003 27818 301 301 0 34702 0 vsize: 140012 [startup+210.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 44704 0 0 0 20853 147 0 0 25 0 1 0 969723435 143372288 27824 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35003 27824 301 301 0 34702 0 vsize: 140012 [startup+220.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 44716 0 0 0 21850 150 0 0 25 0 1 0 969723435 143372288 27836 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35003 27836 301 301 0 34702 0 vsize: 140012 [startup+230.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 45269 0 0 0 22846 154 0 0 25 0 1 0 969723435 143372288 27851 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35003 27851 301 301 0 34702 0 vsize: 140012 [startup+240.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 45319 0 0 0 23842 158 0 0 25 0 1 0 969723435 143568896 27901 4294967295 134512640 135730672 3221224576 3221223072 134747965 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35051 27901 301 301 0 34750 0 vsize: 140204 [startup+250.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 45388 0 0 0 24838 161 0 0 25 0 1 0 969723435 143765504 27970 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35099 27970 301 301 0 34798 0 vsize: 140396 [startup+260.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 45535 0 0 0 25834 166 0 0 25 0 1 0 969723435 144490496 28117 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35276 28117 301 301 0 34975 0 vsize: 141104 [startup+270.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 45619 0 0 0 26832 168 0 0 25 0 1 0 969723435 144687104 28201 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35324 28201 301 301 0 35023 0 vsize: 141296 [startup+280.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 45726 0 0 0 27829 171 0 0 25 0 1 0 969723435 145227776 28308 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35456 28308 301 301 0 35155 0 vsize: 141824 [startup+290.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 45781 0 0 0 28826 174 0 0 25 0 1 0 969723435 145424384 28363 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35504 28363 301 301 0 35203 0 vsize: 142016 [startup+300.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 45816 0 0 0 29824 177 0 0 25 0 1 0 969723435 145620992 28398 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35552 28398 301 301 0 35251 0 vsize: 142208 [startup+310.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 45916 0 0 0 30820 181 0 0 25 0 1 0 969723435 146014208 28498 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35648 28498 301 301 0 35347 0 vsize: 142592 [startup+320.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 45974 0 0 0 31817 184 0 0 25 0 1 0 969723435 146178048 28556 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35688 28556 301 301 0 35387 0 vsize: 142752 [startup+330.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 46007 0 0 0 32814 188 0 0 25 0 1 0 969723435 146313216 28589 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35721 28589 301 301 0 35420 0 vsize: 142884 [startup+340.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 46016 0 0 0 33811 190 0 0 25 0 1 0 969723435 146313216 28598 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35721 28598 301 301 0 35420 0 vsize: 142884 [startup+350.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 46025 0 0 0 34809 193 0 0 25 0 1 0 969723435 146313216 28607 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35721 28607 301 301 0 35420 0 vsize: 142884 [startup+360.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 46069 0 0 0 35806 196 0 0 25 0 1 0 969723435 146477056 28651 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35761 28651 301 301 0 35460 0 vsize: 143044 [startup+370.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 46168 0 0 0 36803 199 0 0 25 0 1 0 969723435 146984960 28750 4294967295 134512640 135730672 3221224576 3221223188 134748221 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35885 28750 301 301 0 35584 0 vsize: 143540 [startup+380.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 46366 0 0 0 37801 202 0 0 25 0 1 0 969723435 148131840 28948 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 36165 28948 301 301 0 35864 0 vsize: 144660 [startup+390.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 46980 0 0 0 38797 206 0 0 25 0 1 0 969723435 148328448 29024 4294967295 134512640 135730672 3221224576 3221223264 134748549 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 36213 29024 301 301 0 35912 0 vsize: 144852 [startup+400.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 47044 0 0 0 39794 208 0 0 25 0 1 0 969723435 148688896 29088 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 36301 29088 301 301 0 36000 0 vsize: 145204 [startup+410.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 47206 0 0 0 40791 212 0 0 25 0 1 0 969723435 149229568 29250 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 36433 29250 301 301 0 36132 0 vsize: 145732 [startup+420.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 47343 0 0 0 41788 215 0 0 25 0 1 0 969723435 150147072 29387 4294967295 134512640 135730672 3221224576 3221223072 134747631 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 36657 29387 301 301 0 36356 0 vsize: 146628 [startup+430.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 47426 0 0 0 42784 219 0 0 25 0 1 0 969723435 150507520 29470 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 36745 29470 301 301 0 36444 0 vsize: 146980 [startup+440.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 47586 0 0 0 43780 224 0 0 25 0 1 0 969723435 151162880 29630 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 36905 29630 301 301 0 36604 0 vsize: 147620 [startup+450.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 47624 0 0 0 44776 227 0 0 25 0 1 0 969723435 151298048 29668 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 36938 29668 301 301 0 36637 0 vsize: 147752 [startup+460.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 48529 0 0 0 45773 231 0 0 25 0 1 0 969723435 152899584 29936 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 37329 29936 301 301 0 37028 0 vsize: 149316 [startup+470.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 48543 0 0 0 46770 234 0 0 25 0 1 0 969723435 152899584 29950 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 37329 29950 301 301 0 37028 0 vsize: 149316 [startup+480.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 49284 0 0 0 47764 240 0 0 25 0 1 0 969723435 154251264 30153 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 37659 30153 301 301 0 37358 0 vsize: 150636 [startup+490.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 49390 0 0 0 48761 243 0 0 25 0 1 0 969723435 154685440 30259 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 37765 30259 301 301 0 37464 0 vsize: 151060 [startup+500.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 49490 0 0 0 49758 246 0 0 25 0 1 0 969723435 155176960 30359 4294967295 134512640 135730672 3221224576 3221223232 134748661 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 37885 30359 301 301 0 37584 0 vsize: 151540 [startup+510.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 49524 0 0 0 50755 250 0 0 25 0 1 0 969723435 155373568 30393 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 37933 30393 301 301 0 37632 0 vsize: 151732 [startup+520.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 49664 0 0 0 51751 254 0 0 25 0 1 0 969723435 156033024 30533 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 38094 30533 301 301 0 37793 0 vsize: 152376 [startup+530.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 49718 0 0 0 52749 256 0 0 25 0 1 0 969723435 156360704 30587 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 38174 30587 301 301 0 37873 0 vsize: 152696 [startup+540.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 49779 0 0 0 53744 261 0 0 25 0 1 0 969723435 156524544 30648 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 38214 30648 301 301 0 37913 0 vsize: 152856 [startup+550.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 49833 0 0 0 54741 264 0 0 25 0 1 0 969723435 156659712 30702 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 38247 30702 301 301 0 37946 0 vsize: 152988 [startup+560.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 49847 0 0 0 55739 267 0 0 25 0 1 0 969723435 156659712 30716 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 38247 30716 301 301 0 37946 0 vsize: 152988 [startup+570.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 49981 0 0 0 56734 272 0 0 25 0 1 0 969723435 157315072 30850 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 38407 30850 301 301 0 38106 0 vsize: 153628 [startup+580.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 50121 0 0 0 57731 275 0 0 25 0 1 0 969723435 157941760 30990 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 38560 30990 301 301 0 38259 0 vsize: 154240 [startup+590.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 50183 0 0 0 58728 279 0 0 25 0 1 0 969723435 158105600 31052 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 38600 31052 301 301 0 38299 0 vsize: 154400 [startup+600.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 50255 0 0 0 59725 282 0 0 25 0 1 0 969723435 158404608 31124 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 38673 31124 301 301 0 38372 0 vsize: 154692 [startup+610.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 50339 0 0 0 60723 284 0 0 25 0 1 0 969723435 158838784 31208 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 38779 31208 301 301 0 38478 0 vsize: 155116 [startup+620.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 50465 0 0 0 61720 287 0 0 25 0 1 0 969723435 159436800 31334 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 38925 31334 301 301 0 38624 0 vsize: 155700 [startup+630.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 50515 0 0 0 62716 291 0 0 25 0 1 0 969723435 159735808 31384 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 38998 31384 301 301 0 38697 0 vsize: 155992 [startup+640.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 50601 0 0 0 63713 295 0 0 25 0 1 0 969723435 160276480 31470 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39130 31470 301 301 0 38829 0 vsize: 156520 [startup+650.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 50640 0 0 0 64710 298 0 0 25 0 1 0 969723435 160411648 31509 4294967295 134512640 135730672 3221224576 3221223184 134744655 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39163 31509 301 301 0 38862 0 vsize: 156652 [startup+660.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 50659 0 0 0 65707 301 0 0 25 0 1 0 969723435 160411648 31528 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39163 31528 301 301 0 38862 0 vsize: 156652 [startup+670.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 50822 0 0 0 66703 306 0 0 25 0 1 0 969723435 161177600 31691 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39350 31691 301 301 0 39049 0 vsize: 157400 [startup+680.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 50884 0 0 0 67699 310 0 0 25 0 1 0 969723435 161538048 31753 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39438 31753 301 301 0 39137 0 vsize: 157752 [startup+690.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51041 0 0 0 68694 314 0 0 25 0 1 0 969723435 162455552 31910 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39662 31910 301 301 0 39361 0 vsize: 158648 [startup+700.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51110 0 0 0 69692 317 0 0 25 0 1 0 969723435 162652160 31979 4294967295 134512640 135730672 3221224576 3221223072 134747636 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39710 31979 301 301 0 39409 0 vsize: 158840 [startup+710.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51141 0 0 0 70688 321 0 0 25 0 1 0 969723435 162787328 32010 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39743 32010 301 301 0 39442 0 vsize: 158972 [startup+720.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51226 0 0 0 71684 325 0 0 25 0 1 0 969723435 163192832 32095 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39842 32095 301 301 0 39541 0 vsize: 159368 [startup+730.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51333 0 0 0 72681 329 0 0 25 0 1 0 969723435 163979264 32202 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40034 32202 301 301 0 39733 0 vsize: 160136 [startup+740.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51362 0 0 0 73678 332 0 0 25 0 1 0 969723435 164175872 32231 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40082 32231 301 301 0 39781 0 vsize: 160328 [startup+750.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51381 0 0 0 74675 335 0 0 25 0 1 0 969723435 164175872 32250 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40082 32250 301 301 0 39781 0 vsize: 160328 [startup+760.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51396 0 0 0 75671 339 0 0 25 0 1 0 969723435 164175872 32265 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40082 32265 301 301 0 39781 0 vsize: 160328 [startup+770.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51418 0 0 0 76668 343 0 0 25 0 1 0 969723435 164175872 32287 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40082 32287 301 301 0 39781 0 vsize: 160328 [startup+780.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51490 0 0 0 77664 347 0 0 25 0 1 0 969723435 164503552 32359 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40162 32359 301 301 0 39861 0 vsize: 160648 [startup+790.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51512 0 0 0 78659 351 0 0 25 0 1 0 969723435 164503552 32381 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40162 32381 301 301 0 39861 0 vsize: 160648 [startup+800.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51575 0 0 0 79656 355 0 0 25 0 1 0 969723435 164970496 32444 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40276 32444 301 301 0 39975 0 vsize: 161104 [startup+810.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51630 0 0 0 80652 359 0 0 25 0 1 0 969723435 165105664 32499 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40309 32499 301 301 0 40008 0 vsize: 161236 [startup+820.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51640 0 0 0 81649 362 0 0 25 0 1 0 969723435 165105664 32509 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40309 32509 301 301 0 40008 0 vsize: 161236 [startup+830.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51656 0 0 0 82645 366 0 0 25 0 1 0 969723435 165105664 32525 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40309 32525 301 301 0 40008 0 vsize: 161236 [startup+840.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51680 0 0 0 83642 369 0 0 25 0 1 0 969723435 165253120 32549 4294967295 134512640 135730672 3221224576 3221223072 134747631 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40345 32549 301 301 0 40044 0 vsize: 161380 [startup+850.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51759 0 0 0 84638 374 0 0 25 0 1 0 969723435 165597184 32628 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40429 32628 301 301 0 40128 0 vsize: 161716 [startup+860.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51798 0 0 0 85633 379 0 0 25 0 1 0 969723435 165793792 32667 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40477 32667 301 301 0 40176 0 vsize: 161908 [startup+870.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 52370 0 0 0 86629 383 0 0 25 0 1 0 969723435 165957632 32701 4294967295 134512640 135730672 3221224576 3221223264 134748426 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40517 32701 301 301 0 40216 0 vsize: 162068 [startup+880.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 52421 0 0 0 87624 388 0 0 25 0 1 0 969723435 166289408 32752 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40598 32752 301 301 0 40297 0 vsize: 162392 [startup+890.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 52521 0 0 0 88618 394 0 0 25 0 1 0 969723435 166879232 32852 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40742 32852 301 301 0 40441 0 vsize: 162968 [startup+900.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 52640 0 0 0 89614 399 0 0 25 0 1 0 969723435 167665664 32971 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40934 32971 301 301 0 40633 0 vsize: 163736 [startup+910.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 52728 0 0 0 90609 403 0 0 25 0 1 0 969723435 168132608 33059 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41048 33059 301 301 0 40747 0 vsize: 164192 [startup+920.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 52805 0 0 0 91605 408 0 0 25 0 1 0 969723435 168525824 33136 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41144 33136 301 301 0 40843 0 vsize: 164576 [startup+930.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 52893 0 0 0 92600 413 0 0 25 0 1 0 969723435 169115648 33224 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41288 33224 301 301 0 40987 0 vsize: 165152 [startup+940.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 52975 0 0 0 93597 417 0 0 25 0 1 0 969723435 169508864 33306 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41384 33306 301 301 0 41083 0 vsize: 165536 [startup+950.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 53093 0 0 0 94592 421 0 0 25 0 1 0 969723435 170172416 33424 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41546 33424 301 301 0 41245 0 vsize: 166184 [startup+960.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 53127 0 0 0 95588 426 0 0 25 0 1 0 969723435 170172416 33458 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41546 33458 301 301 0 41245 0 vsize: 166184 [startup+970.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 53207 0 0 0 96584 430 0 0 25 0 1 0 969723435 170696704 33538 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41674 33538 301 301 0 41373 0 vsize: 166696 [startup+980.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 53282 0 0 0 97580 434 0 0 25 0 1 0 969723435 171089920 33613 4294967295 134512640 135730672 3221224576 3221223072 134747902 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41770 33613 301 301 0 41469 0 vsize: 167080 [startup+990.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 53328 0 0 0 98576 438 0 0 25 0 1 0 969723435 171237376 33659 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41806 33659 301 301 0 41505 0 vsize: 167224 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 53414 0 0 0 99572 442 0 0 25 0 1 0 969723435 171630592 33745 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41902 33745 301 301 0 41601 0 vsize: 167608 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 53569 0 0 0 100567 447 0 0 25 0 1 0 969723435 172564480 33900 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42130 33900 301 301 0 41829 0 vsize: 168520 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 53581 0 0 0 101565 450 0 0 25 0 1 0 969723435 172564480 33912 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42130 33912 301 301 0 41829 0 vsize: 168520 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 53665 0 0 0 102561 454 0 0 25 0 1 0 969723435 173121536 33996 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42266 33996 301 301 0 41965 0 vsize: 169064 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 53741 0 0 0 103555 460 0 0 25 0 1 0 969723435 173481984 34072 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42354 34072 301 301 0 42053 0 vsize: 169416 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 53890 0 0 0 104550 465 0 0 25 0 1 0 969723435 174247936 34221 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42541 34221 301 301 0 42240 0 vsize: 170164 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 54541 0 0 0 105547 468 0 0 25 0 1 0 969723435 174788608 34334 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42673 34334 301 301 0 42372 0 vsize: 170692 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 54651 0 0 0 106543 473 0 0 25 0 1 0 969723435 175464448 34444 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42838 34444 301 301 0 42537 0 vsize: 171352 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 54693 0 0 0 107538 477 0 0 25 0 1 0 969723435 175599616 34486 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42871 34486 301 301 0 42570 0 vsize: 171484 [startup+1090.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 54746 0 0 0 108535 480 0 0 25 0 1 0 969723435 175763456 34539 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42911 34539 301 301 0 42610 0 vsize: 171644 [startup+1100.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 54851 0 0 0 109532 484 0 0 25 0 1 0 969723435 176291840 34644 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43040 34644 301 301 0 42739 0 vsize: 172160 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 54938 0 0 0 110527 489 0 0 25 0 1 0 969723435 176881664 34731 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43184 34731 301 301 0 42883 0 vsize: 172736 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 55076 0 0 0 111522 495 0 0 25 0 1 0 969723435 177545216 34869 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43346 34869 301 301 0 43045 0 vsize: 173384 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 55121 0 0 0 112517 499 0 0 25 0 1 0 969723435 177741824 34914 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43394 34914 301 301 0 43093 0 vsize: 173576 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 55162 0 0 0 113512 504 0 0 25 0 1 0 969723435 177938432 34955 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43442 34955 301 301 0 43141 0 vsize: 173768 [startup+1150.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 55213 0 0 0 114508 509 0 0 25 0 1 0 969723435 178331648 35006 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43538 35006 301 301 0 43237 0 vsize: 174152 [startup+1160.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 55265 0 0 0 115503 514 0 0 25 0 1 0 969723435 178528256 35058 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43586 35058 301 301 0 43285 0 vsize: 174344 [startup+1170.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 55323 0 0 0 116498 520 0 0 25 0 1 0 969723435 178724864 35116 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43634 35116 301 301 0 43333 0 vsize: 174536 [startup+1180.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 55389 0 0 0 117494 524 0 0 25 0 1 0 969723435 179118080 35182 4294967295 134512640 135730672 3221224576 3221223196 134748215 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43730 35182 301 301 0 43429 0 vsize: 174920 [startup+1190.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 55457 0 0 0 118489 528 0 0 25 0 1 0 969723435 179449856 35250 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43811 35250 301 301 0 43510 0 vsize: 175244 [startup+1200.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11862 Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 56073 0 0 0 119482 536 0 0 25 0 1 0 969723435 179843072 35328 4294967295 134512640 135730672 3221224576 3221223184 134744754 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43907 35328 301 301 0 43606 0 vsize: 175628 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.72 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 11862 Raw data (stat): 11862 (pb2sat-v2) Z 11861 7266 7265 0 -1 12 56075 0 0 0 119542 543 0 0 25 0 1 0 969723435 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): 1200.72 CPU time (s): 1200.86 CPU user time (s): 1195.43 CPU system time (s): 5.43517 CPU usage (%): 100.012 Max. virtual memory (Kb): 175628 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####