Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-rgn.opb |
MD5SUM | 1400a638b0a1a6fa8602672cb986ba1d |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 67200 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 920 |
Biggest coefficient in the objective function | 24576 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 1986400 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 3200000000 |
Number of bits of the biggest number in a constraint | 32 |
Biggest sum of numbers in a constraint | 29101875011 |
Number of bits of the biggest sum of numbers | 35 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1227.77 |
Number of variables | 1020 |
Total number of constraints | 204 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 104 |
Number of constraints which are nor clauses,nor cardinality constraints | 100 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 103 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc3 THE 2005-06-16 15:30:30 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=26026 boxname=wulflinc3 idbench=1326 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 1400a638b0a1a6fa8602672cb986ba1d /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-rgn.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-rgn.opb IDLAUNCH: 26026 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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 : 2 cpu MHz : 451.190 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: 719240 kB Buffers: 20320 kB Cached: 273264 kB SwapCached: 788 kB Active: 33152 kB Inactive: 262520 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 718988 kB SwapTotal: 2097136 kB SwapFree: 2095372 kB Dirty: 36 kB Writeback: 0 kB Mapped: 5104 kB Slab: 14004 kB Committed_AS: 71904 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 15:50:33 (client local time) WITH STATUS 0 IN 1200.92 SECONDS stats: 26026 7 1200.92 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 403/315143 Time: 60.4148/86400 c Decision: 423/315143 Time: 75.8795/86400 c Decision: 508/315143 Time: 103.56/86400 c Decision: 608/315143 Time: 116.288/86400 c Decision: 623/315143 Time: 133.07/86400 c Decision: 632/315143 Time: 156.191/86400 c Decision: 635/315143 Time: 168.977/86400 c Decision: 635/315143 Time: 178.515/86400 c Decision: 649/315143 Time: 195.139/86400 c Decision: 649/315143 Time: 205.758/86400 c Decision: 739/315143 Time: 220.797/86400 c Decision: 751/315143 Time: 236.75/86400 c Decision: 986/315143 Time: 253.61/86400 c Decision: 991/315143 Time: 265.853/86400 c Decision: 991/315143 Time: 276.928/86400 c Decision: 991/315143 Time: 288.142/86400 c Decision: 991/315143 Time: 299.617/86400 c Decision: 991/315143 Time: 310.385/86400 c Decision: 1143/315143 Time: 332.561/86400 c Decision: 1873/315143 Time: 373.307/86400 c Decision: 2137/315143 Time: 438.129/86400 c Decision: 2248/315143 Time: 459.963/86400 c Decision: 2259/315143 Time: 486.959/86400 c Decision: 2259/315143 Time: 498.105/86400 c Decision: 2272/315143 Time: 525.142/86400 c Decision: 2272/315143 Time: 541.783/86400 c Decision: 2272/315143 Time: 556.134/86400 c Decision: 2274/315143 Time: 577.389/86400 c Decision: 2505/315143 Time: 621.414/86400 c Decision: 2560/315143 Time: 651.816/86400 c Decision: 2687/315143 Time: 694.827/86400 c Decision: 2687/315143 Time: 706.962/86400 c Decision: 2697/315143 Time: 725.416/86400 c Decision: 2697/315143 Time: 740.309/86400 c Decision: 2697/315143 Time: 755.015/86400 c Decision: 2697/315143 Time: 773.196/86400 c Decision: 2721/315143 Time: 811.39/86400 c Decision: 2797/315143 Time: 847.758/86400 c Decision: 2797/315143 Time: 862.882/86400 c Decision: 2797/315143 Time: 880.541/86400 c Decision: 2831/315143 Time: 901.215/86400 c Decision: 2831/315143 Time: 919.331/86400 c Decision: 2831/315143 Time: 935.769/86400 c Decision: 2831/315143 Time: 954.821/86400 c Decision: 2832/315143 Time: 973.881/86400 c Decision: 2832/315143 Time: 991.927/86400 c Decision: 2832/315143 Time: 1009.88/86400 c Decision: 2873/315143 Time: 1039.68/86400 c Decision: 2896/315143 Time: 1071.93/86400 c Decision: 2919/315143 Time: 1127.18/86400 c Decision: 2919/315143 Time: 1147.7/86400 c Decision: 2919/315143 Time: 1166/86400 c Decision: 2919/315143 Time: 1184.69/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.90 0.93 0.90 2/54 26220 Raw data (stat): 26220 (runsolver) R 26219 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 971848035 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.0003 s] Raw data (loadavg): 0.92 0.93 0.90 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 27624 0 0 0 936 62 0 0 25 0 1 0 971848035 77803520 16694 4294967295 134512640 135730672 3221224576 3221181496 134610029 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18995 16694 301 301 0 18694 0 vsize: 75980 [startup+20.0015 s] Raw data (loadavg): 0.93 0.94 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 46261 0 0 0 1894 105 0 0 25 0 1 0 971848035 134873088 23889 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 32928 23889 301 301 0 32627 0 vsize: 131712 [startup+30.0023 s] Raw data (loadavg): 0.94 0.94 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 46860 0 0 0 2890 108 0 0 25 0 1 0 971848035 137449472 24488 4294967295 134512640 135730672 3221224576 3221223176 134747726 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 33557 24488 301 301 0 33256 0 vsize: 134228 [startup+40.0027 s] Raw data (loadavg): 0.95 0.94 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 46928 0 0 0 3890 110 0 0 25 0 1 0 971848035 137777152 24556 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 33637 24556 301 301 0 33336 0 vsize: 134548 [startup+50.003 s] Raw data (loadavg): 0.96 0.94 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 47043 0 0 0 4889 111 0 0 25 0 1 0 971848035 154947584 24671 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 37829 24671 301 301 0 37528 0 vsize: 151316 [startup+60.0041 s] Raw data (loadavg): 0.96 0.94 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 47120 0 0 0 5888 112 0 0 25 0 1 0 971848035 155144192 24748 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 37877 24748 301 301 0 37576 0 vsize: 151508 [startup+70.0042 s] Raw data (loadavg): 0.97 0.94 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 47428 0 0 0 6886 113 0 0 25 0 1 0 971848035 156520448 25056 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38213 25056 301 301 0 37912 0 vsize: 152852 [startup+80.0055 s] Raw data (loadavg): 0.97 0.94 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 48128 0 0 0 7883 116 0 0 25 0 1 0 971848035 156831744 25140 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38289 25140 301 301 0 37988 0 vsize: 153156 [startup+90.0064 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 48822 0 0 0 8880 120 0 0 25 0 1 0 971848035 157192192 25218 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38377 25218 301 301 0 38076 0 vsize: 153508 [startup+100.006 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 48931 0 0 0 9879 121 0 0 25 0 1 0 971848035 157585408 25327 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38473 25327 301 301 0 38172 0 vsize: 153892 [startup+110.007 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 49032 0 0 0 10878 122 0 0 25 0 1 0 971848035 157782016 25428 4294967295 134512640 135730672 3221224576 3221223072 134747832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38521 25428 301 301 0 38220 0 vsize: 154084 [startup+120.008 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 49669 0 0 0 11875 125 0 0 25 0 1 0 971848035 157782016 25449 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38521 25449 301 301 0 38220 0 vsize: 154084 [startup+130.008 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 50329 0 0 0 12872 128 0 0 25 0 1 0 971848035 160501760 26109 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39185 26109 301 301 0 38884 0 vsize: 156740 [startup+140.009 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 50352 0 0 0 13871 129 0 0 25 0 1 0 971848035 157978624 25516 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38569 25516 301 301 0 38268 0 vsize: 154276 [startup+150.009 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 50984 0 0 0 14869 131 0 0 25 0 1 0 971848035 157978624 25532 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38569 25532 301 301 0 38268 0 vsize: 154276 [startup+160.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 51011 0 0 0 15867 133 0 0 25 0 1 0 971848035 157978624 25559 4294967295 134512640 135730672 3221224576 3221223072 134747840 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38569 25559 301 301 0 38268 0 vsize: 154276 [startup+170.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 51644 0 0 0 16865 135 0 0 25 0 1 0 971848035 157978624 25576 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38569 25576 301 301 0 38268 0 vsize: 154276 [startup+180.011 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 51683 0 0 0 17864 136 0 0 25 0 1 0 971848035 158175232 25615 4294967295 134512640 135730672 3221224576 3221223072 134747832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38617 25615 301 301 0 38316 0 vsize: 154468 [startup+190.011 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 52304 0 0 0 18861 140 0 0 25 0 1 0 971848035 158175232 25620 4294967295 134512640 135730672 3221224576 3221223072 134747892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38617 25620 301 301 0 38316 0 vsize: 154468 [startup+200.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 52933 0 0 0 19858 142 0 0 25 0 1 0 971848035 158175232 25633 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38617 25633 301 301 0 38316 0 vsize: 154468 [startup+210.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 53659 0 0 0 20856 145 0 0 25 0 1 0 971848035 158765056 25743 4294967295 134512640 135730672 3221224576 3221223200 134748114 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38761 25743 301 301 0 38460 0 vsize: 155044 [startup+220.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 54294 0 0 0 21853 148 0 0 25 0 1 0 971848035 158765056 25762 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38761 25762 301 301 0 38460 0 vsize: 155044 [startup+230.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 54333 0 0 0 22851 150 0 0 25 0 1 0 971848035 158961664 25801 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38809 25801 301 301 0 38508 0 vsize: 155236 [startup+240.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 54954 0 0 0 23848 153 0 0 25 0 1 0 971848035 158961664 25806 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38809 25806 301 301 0 38508 0 vsize: 155236 [startup+250.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 55574 0 0 0 24847 155 0 0 25 0 1 0 971848035 161484800 26426 4294967295 134512640 135730672 3221224576 3221222768 134772762 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39425 26426 301 301 0 39124 0 vsize: 157700 [startup+260.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 55589 0 0 0 25846 155 0 0 25 0 1 0 971848035 158961664 25825 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38809 25825 301 301 0 38508 0 vsize: 155236 [startup+270.017 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 56217 0 0 0 26843 159 0 0 25 0 1 0 971848035 158961664 25837 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38809 25837 301 301 0 38508 0 vsize: 155236 [startup+280.017 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 56846 0 0 0 27839 162 0 0 25 0 1 0 971848035 158961664 25850 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38809 25850 301 301 0 38508 0 vsize: 155236 [startup+290.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 56862 0 0 0 28838 164 0 0 25 0 1 0 971848035 158961664 25866 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38809 25866 301 301 0 38508 0 vsize: 155236 [startup+300.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 57497 0 0 0 29835 166 0 0 25 0 1 0 971848035 158961664 25885 4294967295 134512640 135730672 3221224576 3221223088 134746526 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38809 25885 301 301 0 38508 0 vsize: 155236 [startup+310.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 58116 0 0 0 30833 169 0 0 25 0 1 0 971848035 158961664 25888 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38809 25888 301 301 0 38508 0 vsize: 155236 [startup+320.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 58750 0 0 0 31830 172 0 0 25 0 1 0 971848035 158961664 25906 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38809 25906 301 301 0 38508 0 vsize: 155236 [startup+330.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 59386 0 0 0 32828 174 0 0 25 0 1 0 971848035 158961664 25926 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38809 25926 301 301 0 38508 0 vsize: 155236 [startup+340.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 59410 0 0 0 33826 176 0 0 25 0 1 0 971848035 158961664 25950 4294967295 134512640 135730672 3221224576 3221223072 134747528 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38809 25950 301 301 0 38508 0 vsize: 155236 [startup+350.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 60047 0 0 0 34824 178 0 0 25 0 1 0 971848035 158961664 25971 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38809 25971 301 301 0 38508 0 vsize: 155236 [startup+360.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 60079 0 0 0 35822 180 0 0 25 0 1 0 971848035 158961664 26003 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38809 26003 301 301 0 38508 0 vsize: 155236 [startup+370.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 60118 0 0 0 36821 181 0 0 25 0 1 0 971848035 159158272 26042 4294967295 134512640 135730672 3221224576 3221222896 134732493 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38857 26042 301 301 0 38556 0 vsize: 155428 [startup+380.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 60140 0 0 0 37819 183 0 0 25 0 1 0 971848035 159158272 26064 4294967295 134512640 135730672 3221224576 3221223244 134748650 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38857 26064 301 301 0 38556 0 vsize: 155428 [startup+390.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 60771 0 0 0 38816 185 0 0 25 0 1 0 971848035 159158272 26079 4294967295 134512640 135730672 3221224576 3221222896 134732500 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38857 26079 301 301 0 38556 0 vsize: 155428 [startup+400.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 60818 0 0 0 39815 187 0 0 25 0 1 0 971848035 159354880 26126 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38905 26126 301 301 0 38604 0 vsize: 155620 [startup+410.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 60835 0 0 0 40814 189 0 0 25 0 1 0 971848035 159354880 26143 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38905 26143 301 301 0 38604 0 vsize: 155620 [startup+420.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 60856 0 0 0 41812 190 0 0 25 0 1 0 971848035 159354880 26164 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38905 26164 301 301 0 38604 0 vsize: 155620 [startup+430.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 60872 0 0 0 42811 191 0 0 25 0 1 0 971848035 159354880 26180 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38905 26180 301 301 0 38604 0 vsize: 155620 [startup+440.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 60897 0 0 0 43810 192 0 0 25 0 1 0 971848035 159354880 26205 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38905 26205 301 301 0 38604 0 vsize: 155620 [startup+450.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 60923 0 0 0 44808 194 0 0 25 0 1 0 971848035 159354880 26231 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38905 26231 301 301 0 38604 0 vsize: 155620 [startup+460.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 61548 0 0 0 45806 196 0 0 25 0 1 0 971848035 159354880 26240 4294967295 134512640 135730672 3221224576 3221223072 134747899 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38905 26240 301 301 0 38604 0 vsize: 155620 [startup+470.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 61552 0 0 0 46805 197 0 0 25 0 1 0 971848035 159354880 26244 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38905 26244 301 301 0 38604 0 vsize: 155620 [startup+480.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 62192 0 0 0 47802 200 0 0 25 0 1 0 971848035 159490048 26268 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38938 26268 301 301 0 38637 0 vsize: 155752 [startup+490.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 62195 0 0 0 48801 201 0 0 25 0 1 0 971848035 159490048 26271 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38938 26271 301 301 0 38637 0 vsize: 155752 [startup+500.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 62210 0 0 0 49800 202 0 0 25 0 1 0 971848035 159686656 26286 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26286 301 301 0 38685 0 vsize: 155944 [startup+510.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 62831 0 0 0 50797 205 0 0 25 0 1 0 971848035 159686656 26291 4294967295 134512640 135730672 3221224576 3221223200 134748091 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26291 301 301 0 38685 0 vsize: 155944 [startup+520.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 63459 0 0 0 51794 208 0 0 25 0 1 0 971848035 159686656 26303 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26303 301 301 0 38685 0 vsize: 155944 [startup+530.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 63462 0 0 0 52794 209 0 0 25 0 1 0 971848035 159686656 26306 4294967295 134512640 135730672 3221224576 3221223200 134748163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26306 301 301 0 38685 0 vsize: 155944 [startup+540.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 64082 0 0 0 53791 211 0 0 25 0 1 0 971848035 159686656 26310 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26310 301 301 0 38685 0 vsize: 155944 [startup+550.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 64085 0 0 0 54790 212 0 0 25 0 1 0 971848035 159686656 26313 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26313 301 301 0 38685 0 vsize: 155944 [startup+560.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 64707 0 0 0 55788 214 0 0 25 0 1 0 971848035 159686656 26319 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26319 301 301 0 38685 0 vsize: 155944 [startup+570.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 65326 0 0 0 56786 216 0 0 25 0 1 0 971848035 159686656 26322 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26322 301 301 0 38685 0 vsize: 155944 [startup+580.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 65331 0 0 0 57785 217 0 0 25 0 1 0 971848035 159686656 26327 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26327 301 301 0 38685 0 vsize: 155944 [startup+590.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 65334 0 0 0 58783 219 0 0 25 0 1 0 971848035 159686656 26330 4294967295 134512640 135730672 3221224576 3221223200 134748176 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26330 301 301 0 38685 0 vsize: 155944 [startup+600.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 65960 0 0 0 59780 222 0 0 25 0 1 0 971848035 159686656 26340 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26340 301 301 0 38685 0 vsize: 155944 [startup+610.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 65977 0 0 0 60778 224 0 0 25 0 1 0 971848035 159686656 26357 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26357 301 301 0 38685 0 vsize: 155944 [startup+620.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 65992 0 0 0 61778 224 0 0 25 0 1 0 971848035 159686656 26372 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26372 301 301 0 38685 0 vsize: 155944 [startup+630.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 66007 0 0 0 62777 225 0 0 25 0 1 0 971848035 159686656 26387 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26387 301 301 0 38685 0 vsize: 155944 [startup+640.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 66636 0 0 0 63774 228 0 0 25 0 1 0 971848035 159686656 26400 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26400 301 301 0 38685 0 vsize: 155944 [startup+650.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 66648 0 0 0 64774 228 0 0 25 0 1 0 971848035 159686656 26412 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26412 301 301 0 38685 0 vsize: 155944 [startup+660.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 66662 0 0 0 65772 230 0 0 25 0 1 0 971848035 159686656 26426 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26426 301 301 0 38685 0 vsize: 155944 [startup+670.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 67293 0 0 0 66770 232 0 0 25 0 1 0 971848035 159686656 26441 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26441 301 301 0 38685 0 vsize: 155944 [startup+680.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 67309 0 0 0 67768 234 0 0 25 0 1 0 971848035 159686656 26457 4294967295 134512640 135730672 3221224576 3221223200 134748073 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26457 301 301 0 38685 0 vsize: 155944 [startup+690.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 67324 0 0 0 68767 235 0 0 25 0 1 0 971848035 159686656 26472 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26472 301 301 0 38685 0 vsize: 155944 [startup+700.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 67340 0 0 0 69765 236 0 0 25 0 1 0 971848035 159686656 26488 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26488 301 301 0 38685 0 vsize: 155944 [startup+710.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 67965 0 0 0 70763 239 0 0 25 0 1 0 971848035 159686656 26497 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26497 301 301 0 38685 0 vsize: 155944 [startup+720.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 67969 0 0 0 71762 240 0 0 25 0 1 0 971848035 159686656 26501 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26501 301 301 0 38685 0 vsize: 155944 [startup+730.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 68599 0 0 0 72759 243 0 0 25 0 1 0 971848035 159686656 26515 4294967295 134512640 135730672 3221224576 3221223072 134747744 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26515 301 301 0 38685 0 vsize: 155944 [startup+740.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 69218 0 0 0 73756 246 0 0 25 0 1 0 971848035 159686656 26518 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26518 301 301 0 38685 0 vsize: 155944 [startup+750.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 69222 0 0 0 74754 248 0 0 25 0 1 0 971848035 159686656 26522 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26522 301 301 0 38685 0 vsize: 155944 [startup+760.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 69840 0 0 0 75751 251 0 0 25 0 1 0 971848035 159686656 26524 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26524 301 301 0 38685 0 vsize: 155944 [startup+770.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 70459 0 0 0 76749 253 0 0 25 0 1 0 971848035 159686656 26527 4294967295 134512640 135730672 3221224576 3221223072 134747566 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26527 301 301 0 38685 0 vsize: 155944 [startup+780.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 70461 0 0 0 77748 254 0 0 25 0 1 0 971848035 159686656 26529 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26529 301 301 0 38685 0 vsize: 155944 [startup+790.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 71079 0 0 0 78746 256 0 0 25 0 1 0 971848035 159686656 26531 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26531 301 301 0 38685 0 vsize: 155944 [startup+800.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 71082 0 0 0 79745 257 0 0 25 0 1 0 971848035 159686656 26534 4294967295 134512640 135730672 3221224576 3221223072 134747536 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26534 301 301 0 38685 0 vsize: 155944 [startup+810.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 71085 0 0 0 80744 259 0 0 25 0 1 0 971848035 159686656 26537 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26537 301 301 0 38685 0 vsize: 155944 [startup+820.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 71091 0 0 0 81743 260 0 0 25 0 1 0 971848035 159686656 26543 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26543 301 301 0 38685 0 vsize: 155944 [startup+830.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 71720 0 0 0 82740 263 0 0 25 0 1 0 971848035 159686656 26556 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26556 301 301 0 38685 0 vsize: 155944 [startup+840.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 71734 0 0 0 83739 264 0 0 25 0 1 0 971848035 159686656 26570 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26570 301 301 0 38685 0 vsize: 155944 [startup+850.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 71747 0 0 0 84738 265 0 0 25 0 1 0 971848035 159686656 26583 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26583 301 301 0 38685 0 vsize: 155944 [startup+860.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 71760 0 0 0 85737 266 0 0 25 0 1 0 971848035 159686656 26596 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26596 301 301 0 38685 0 vsize: 155944 [startup+870.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 72388 0 0 0 86735 268 0 0 25 0 1 0 971848035 159686656 26608 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26608 301 301 0 38685 0 vsize: 155944 [startup+880.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 73016 0 0 0 87732 271 0 0 25 0 1 0 971848035 159686656 26620 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38986 26620 301 301 0 38685 0 vsize: 155944 [startup+890.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 73029 0 0 0 88731 272 0 0 25 0 1 0 971848035 159686656 26633 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 38986 26633 301 301 0 38685 0 vsize: 155944 [startup+900.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 73656 0 0 0 89728 275 0 0 25 0 1 0 971848035 159686656 26644 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 38986 26644 301 301 0 38685 0 vsize: 155944 [startup+910.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 73670 0 0 0 90728 275 0 0 25 0 1 0 971848035 159686656 26658 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 38986 26658 301 301 0 38685 0 vsize: 155944 [startup+920.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 74290 0 0 0 91726 277 0 0 25 0 1 0 971848035 159686656 26662 4294967295 134512640 135730672 3221224576 3221223072 134747641 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 38986 26662 301 301 0 38685 0 vsize: 155944 [startup+930.059 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 74293 0 0 0 92725 279 0 0 25 0 1 0 971848035 159686656 26665 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 38986 26665 301 301 0 38685 0 vsize: 155944 [startup+940.059 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 74911 0 0 0 93723 281 0 0 25 0 1 0 971848035 159686656 26667 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 38986 26667 301 301 0 38685 0 vsize: 155944 [startup+950.059 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 75544 0 0 0 94721 283 0 0 25 0 1 0 971848035 159834112 26684 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39022 26684 301 301 0 38721 0 vsize: 156088 [startup+960.061 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 75563 0 0 0 95720 284 0 0 25 0 1 0 971848035 159834112 26703 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39022 26703 301 301 0 38721 0 vsize: 156088 [startup+970.061 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 76191 0 0 0 96718 287 0 0 25 0 1 0 971848035 159834112 26715 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39022 26715 301 301 0 38721 0 vsize: 156088 [startup+980.062 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 76216 0 0 0 97717 288 0 0 25 0 1 0 971848035 159834112 26740 4294967295 134512640 135730672 3221224576 3221223168 134763602 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39022 26740 301 301 0 38721 0 vsize: 156088 [startup+990.062 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 76851 0 0 0 98714 291 0 0 25 0 1 0 971848035 160018432 26759 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39067 26759 301 301 0 38766 0 vsize: 156268 [startup+1000.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 76867 0 0 0 99714 292 0 0 25 0 1 0 971848035 160018432 26775 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39067 26775 301 301 0 38766 0 vsize: 156268 [startup+1010.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 77492 0 0 0 100711 294 0 0 25 0 1 0 971848035 160018432 26784 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39067 26784 301 301 0 38766 0 vsize: 156268 [startup+1020.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 77497 0 0 0 101710 296 0 0 25 0 1 0 971848035 160018432 26789 4294967295 134512640 135730672 3221224576 3221223072 134747902 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39067 26789 301 301 0 38766 0 vsize: 156268 [startup+1030.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 78124 0 0 0 102707 299 0 0 25 0 1 0 971848035 160018432 26800 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39067 26800 301 301 0 38766 0 vsize: 156268 [startup+1040.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 78145 0 0 0 103706 300 0 0 25 0 1 0 971848035 160018432 26821 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39067 26821 301 301 0 38766 0 vsize: 156268 [startup+1050.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 78165 0 0 0 104705 301 0 0 25 0 1 0 971848035 160018432 26841 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39067 26841 301 301 0 38766 0 vsize: 156268 [startup+1060.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 78794 0 0 0 105703 303 0 0 25 0 1 0 971848035 160018432 26854 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39067 26854 301 301 0 38766 0 vsize: 156268 [startup+1070.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 78821 0 0 0 106703 304 0 0 25 0 1 0 971848035 160165888 26881 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39103 26881 301 301 0 38802 0 vsize: 156412 [startup+1080.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 78836 0 0 0 107702 305 0 0 25 0 1 0 971848035 160165888 26896 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39103 26896 301 301 0 38802 0 vsize: 156412 [startup+1090.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 79468 0 0 0 108700 307 0 0 25 0 1 0 971848035 160165888 26912 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39103 26912 301 301 0 38802 0 vsize: 156412 [startup+1100.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 79483 0 0 0 109700 308 0 0 25 0 1 0 971848035 160165888 26927 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39103 26927 301 301 0 38802 0 vsize: 156412 [startup+1110.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 79506 0 0 0 110699 308 0 0 25 0 1 0 971848035 160165888 26950 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39103 26950 301 301 0 38802 0 vsize: 156412 [startup+1120.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 79523 0 0 0 111699 309 0 0 25 0 1 0 971848035 160165888 26967 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39103 26967 301 301 0 38802 0 vsize: 156412 [startup+1130.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 79544 0 0 0 112698 310 0 0 25 0 1 0 971848035 160165888 26988 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39103 26988 301 301 0 38802 0 vsize: 156412 [startup+1140.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 79566 0 0 0 113697 311 0 0 25 0 1 0 971848035 160165888 27010 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39103 27010 301 301 0 38802 0 vsize: 156412 [startup+1150.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 80201 0 0 0 114695 314 0 0 25 0 1 0 971848035 160165888 27029 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39103 27029 301 301 0 38802 0 vsize: 156412 [startup+1160.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 80837 0 0 0 115692 316 0 0 25 0 1 0 971848035 162689024 27665 4294967295 134512640 135730672 3221224576 3221222752 134769149 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39719 27665 301 301 0 39418 0 vsize: 158876 [startup+1170.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 80845 0 0 0 116692 317 0 0 25 0 1 0 971848035 160305152 27057 4294967295 134512640 135730672 3221224576 3221223264 134748632 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39137 27057 301 301 0 38836 0 vsize: 156548 [startup+1180.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 81475 0 0 0 117690 319 0 0 25 0 1 0 971848035 160305152 27071 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39137 27071 301 301 0 38836 0 vsize: 156548 [startup+1190.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 81496 0 0 0 118689 320 0 0 25 0 1 0 971848035 160305152 27092 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39137 27092 301 301 0 38836 0 vsize: 156548 [startup+1200.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26220 Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 82128 0 0 0 119687 323 0 0 25 0 1 0 971848035 160305152 27108 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39137 27108 301 301 0 38836 0 vsize: 156548 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.89 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 26220 Raw data (stat): 26220 (pb2sat-v2) Z 26219 20224 20223 0 -1 12 82130 0 0 0 119763 328 0 0 25 0 1 0 971848035 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.89 CPU time (s): 1200.92 CPU user time (s): 1197.64 CPU system time (s): 3.2825 CPU usage (%): 100.002 Max. virtual memory (Kb): 158876 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####