Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-rgn.opb |
MD5SUM | 56e0ae8659c33a6c7b55390a12db116b |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 537600 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1160 |
Biggest coefficient in the objective function | 196608 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 15892320 |
Number of bits of the sum of numbers in the objective function | 24 |
Biggest number in a constraint | 25600000000 |
Number of bits of the biggest number in a constraint | 35 |
Biggest sum of numbers in a constraint | 232836875088 |
Number of bits of the biggest sum of numbers | 38 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1256.32 |
Number of variables | 1260 |
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 | 127 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-06-16 07:15:00 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25642 boxname=wulflinc1 idbench=942 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 56e0ae8659c33a6c7b55390a12db116b /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-rgn.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-rgn.opb IDLAUNCH: 25642 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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.053 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: 695284 kB Buffers: 33460 kB Cached: 281888 kB SwapCached: 1192 kB Active: 42256 kB Inactive: 275436 kB HighTotal: 131008 kB HighFree: 280 kB LowTotal: 903652 kB LowFree: 695004 kB SwapTotal: 2097136 kB SwapFree: 2094880 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5364 kB Slab: 16012 kB Committed_AS: 92716 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 07:35:04 (client local time) WITH STATUS 0 IN 1201.26 SECONDS stats: 25642 7 1201.26 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 431/420586 Time: 54.7287/86400 c Decision: 431/420586 Time: 65.1351/86400 c Decision: 433/420586 Time: 83.2253/86400 c Decision: 436/420586 Time: 96.7623/86400 c Decision: 443/420586 Time: 114.325/86400 c Decision: 443/420586 Time: 125.41/86400 c Decision: 443/420586 Time: 135.084/86400 c Decision: 447/420586 Time: 153.364/86400 c Decision: 447/420586 Time: 162.536/86400 c Decision: 447/420586 Time: 172.952/86400 c Decision: 669/420586 Time: 205.137/86400 c Decision: 724/420586 Time: 225.564/86400 c Decision: 724/420586 Time: 235.432/86400 c Decision: 901/420586 Time: 247.774/86400 c Decision: 2540/420586 Time: 374.032/86400 c Decision: 2683/420586 Time: 456.667/86400 c Decision: 2691/420586 Time: 487.597/86400 c Decision: 2691/420586 Time: 499.397/86400 c Decision: 2691/420586 Time: 511.526/86400 c Decision: 2691/420586 Time: 523.14/86400 c Decision: 2691/420586 Time: 536.739/86400 c Decision: 2691/420586 Time: 548.708/86400 c Decision: 2691/420586 Time: 559.12/86400 c Decision: 2696/420586 Time: 573.765/86400 c Decision: 2701/420586 Time: 592.428/86400 c Decision: 2728/420586 Time: 614.199/86400 c Decision: 2728/420586 Time: 627.534/86400 c Decision: 2737/420586 Time: 647.932/86400 c Decision: 2768/420586 Time: 668.976/86400 c Decision: 2768/420586 Time: 681.816/86400 c Decision: 2768/420586 Time: 695.103/86400 c Decision: 2768/420586 Time: 705.506/86400 c Decision: 2768/420586 Time: 716.791/86400 c Decision: 2768/420586 Time: 730.114/86400 c Decision: 2769/420586 Time: 752.42/86400 c Decision: 2769/420586 Time: 767.085/86400 c Decision: 2769/420586 Time: 780.926/86400 c Decision: 2769/420586 Time: 794.686/86400 c Decision: 2769/420586 Time: 807.569/86400 c Decision: 2769/420586 Time: 821.191/86400 c Decision: 2769/420586 Time: 835.638/86400 c Decision: 2769/420586 Time: 848.095/86400 c Decision: 2769/420586 Time: 861.094/86400 c Decision: 2769/420586 Time: 873.141/86400 c Decision: 2769/420586 Time: 885.75/86400 c Decision: 2769/420586 Time: 899.546/86400 c Decision: 2769/420586 Time: 915.194/86400 c Decision: 2769/420586 Time: 929.865/86400 c Decision: 2769/420586 Time: 942.336/86400 c Decision: 2769/420586 Time: 955.551/86400 c Decision: 2769/420586 Time: 969.539/86400 c Decision: 2769/420586 Time: 982.79/86400 c Decision: 2769/420586 Time: 994.716/86400 c Decision: 2769/420586 Time: 1007.85/86400 c Decision: 2769/420586 Time: 1021.53/86400 c Decision: 2769/420586 Time: 1036.37/86400 c Decision: 2837/420586 Time: 1052.25/86400 c Decision: 2837/420586 Time: 1064.83/86400 c Decision: 2837/420586 Time: 1081.27/86400 c Decision: 2837/420586 Time: 1096.2/86400 c Decision: 2837/420586 Time: 1112.11/86400 c Decision: 2837/420586 Time: 1126/86400 c Decision: 2837/420586 Time: 1138.6/86400 c Decision: 2837/420586 Time: 1151.78/86400 c Decision: 2837/420586 Time: 1165.45/86400 c Decision: 2837/420586 Time: 1181.96/86400s UNKNOWN #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.91 0.95 0.90 2/55 15634 Raw data (stat): 15634 (runsolver) R 15633 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912026666 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0007 s] Raw data (loadavg): 0.92 0.95 0.90 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 27309 0 0 0 940 58 0 0 25 0 1 0 912026666 77701120 16384 4294967295 134512640 135730672 3221224576 3221171868 135291070 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18970 16384 301 301 0 18669 0 vsize: 75880 [startup+20.0014 s] Raw data (loadavg): 0.93 0.95 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 53394 0 0 0 1882 116 0 0 25 0 1 0 912026666 157057024 30713 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38344 30713 301 301 0 38043 0 vsize: 153376 [startup+30.0022 s] Raw data (loadavg): 0.94 0.95 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 54347 0 0 0 2879 119 0 0 25 0 1 0 912026666 161009664 31666 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39309 31666 301 301 0 39008 0 vsize: 157236 [startup+40.002 s] Raw data (loadavg): 0.95 0.95 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 55003 0 0 0 3877 121 0 0 25 0 1 0 912026666 163848192 32322 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40002 32322 301 301 0 39701 0 vsize: 160008 [startup+50.0027 s] Raw data (loadavg): 0.96 0.95 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 55471 0 0 0 4875 123 0 0 25 0 1 0 912026666 166150144 32790 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40564 32790 301 301 0 40263 0 vsize: 162256 [startup+60.0026 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 55613 0 0 0 5873 126 0 0 25 0 1 0 912026666 166789120 32932 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40720 32932 301 301 0 40419 0 vsize: 162880 [startup+70.0033 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 55695 0 0 0 6872 127 0 0 25 0 1 0 912026666 167116800 33014 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40800 33014 301 301 0 40499 0 vsize: 163200 [startup+80.0031 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 56540 0 0 0 7869 130 0 0 25 0 1 0 912026666 167116800 33037 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40800 33037 301 301 0 40499 0 vsize: 163200 [startup+90.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 57392 0 0 0 8866 133 0 0 25 0 1 0 912026666 167116800 33067 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40800 33067 301 301 0 40499 0 vsize: 163200 [startup+100.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 57434 0 0 0 9865 134 0 0 25 0 1 0 912026666 167280640 33109 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40840 33109 301 301 0 40539 0 vsize: 163360 [startup+110.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 58294 0 0 0 10862 137 0 0 25 0 1 0 912026666 167477248 33147 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40888 33147 301 301 0 40587 0 vsize: 163552 [startup+120.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 59152 0 0 0 11859 140 0 0 25 0 1 0 912026666 167477248 33183 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40888 33183 301 301 0 40587 0 vsize: 163552 [startup+130.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 59162 0 0 0 12858 141 0 0 25 0 1 0 912026666 167477248 33193 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40888 33193 301 301 0 40587 0 vsize: 163552 [startup+140.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 59998 0 0 0 13855 144 0 0 25 0 1 0 912026666 167477248 33207 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40888 33207 301 301 0 40587 0 vsize: 163552 [startup+150.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 60829 0 0 0 14853 146 0 0 25 0 1 0 912026666 167477248 33216 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40888 33216 301 301 0 40587 0 vsize: 163552 [startup+160.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 61669 0 0 0 15851 149 0 0 25 0 1 0 912026666 167477248 33234 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40888 33234 301 301 0 40587 0 vsize: 163552 [startup+170.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 61756 0 0 0 16850 150 0 0 25 0 1 0 912026666 167870464 33321 4294967295 134512640 135730672 3221224576 3221223088 134746169 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40984 33321 301 301 0 40683 0 vsize: 163936 [startup+180.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 63418 0 0 0 17845 155 0 0 25 0 1 0 912026666 171237376 34161 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41806 34161 301 301 0 41505 0 vsize: 167224 [startup+190.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 63456 0 0 0 18843 156 0 0 25 0 1 0 912026666 168067072 33377 4294967295 134512640 135730672 3221224576 3221223088 134745979 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41032 33377 301 301 0 40731 0 vsize: 164128 [startup+200.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 64302 0 0 0 19841 159 0 0 25 0 1 0 912026666 168067072 33401 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41032 33401 301 301 0 40731 0 vsize: 164128 [startup+210.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 64369 0 0 0 20840 160 0 0 25 0 1 0 912026666 168263680 33468 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41080 33468 301 301 0 40779 0 vsize: 164320 [startup+220.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 64397 0 0 0 21839 160 0 0 25 0 1 0 912026666 168263680 33496 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41080 33496 301 301 0 40779 0 vsize: 164320 [startup+230.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 65236 0 0 0 22837 163 0 0 25 0 1 0 912026666 168460288 33513 4294967295 134512640 135730672 3221224576 3221223264 134748632 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41128 33513 301 301 0 40827 0 vsize: 164512 [startup+240.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 65254 0 0 0 23836 164 0 0 25 0 1 0 912026666 168460288 33531 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41128 33531 301 301 0 40827 0 vsize: 164512 [startup+250.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 66089 0 0 0 24834 166 0 0 25 0 1 0 912026666 168460288 33544 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41128 33544 301 301 0 40827 0 vsize: 164512 [startup+260.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 66950 0 0 0 25831 169 0 0 25 0 1 0 912026666 168460288 33583 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41128 33583 301 301 0 40827 0 vsize: 164512 [startup+270.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 67800 0 0 0 26830 171 0 0 25 0 1 0 912026666 168460288 33611 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41128 33611 301 301 0 40827 0 vsize: 164512 [startup+280.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 67828 0 0 0 27829 172 0 0 25 0 1 0 912026666 168460288 33639 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41128 33639 301 301 0 40827 0 vsize: 164512 [startup+290.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 67855 0 0 0 28828 172 0 0 25 0 1 0 912026666 168460288 33666 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41128 33666 301 301 0 40827 0 vsize: 164512 [startup+300.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 67874 0 0 0 29828 173 0 0 25 0 1 0 912026666 168460288 33685 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41128 33685 301 301 0 40827 0 vsize: 164512 [startup+310.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 67889 0 0 0 30827 175 0 0 25 0 1 0 912026666 168460288 33700 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41128 33700 301 301 0 40827 0 vsize: 164512 [startup+320.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 67908 0 0 0 31826 176 0 0 25 0 1 0 912026666 168460288 33719 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41128 33719 301 301 0 40827 0 vsize: 164512 [startup+330.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 67929 0 0 0 32825 177 0 0 25 0 1 0 912026666 168460288 33740 4294967295 134512640 135730672 3221224576 3221223072 134747950 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41128 33740 301 301 0 40827 0 vsize: 164512 [startup+340.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 67956 0 0 0 33824 177 0 0 25 0 1 0 912026666 168656896 33767 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41176 33767 301 301 0 40875 0 vsize: 164704 [startup+350.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 67971 0 0 0 34824 178 0 0 25 0 1 0 912026666 168656896 33782 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41176 33782 301 301 0 40875 0 vsize: 164704 [startup+360.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 67987 0 0 0 35823 179 0 0 25 0 1 0 912026666 168656896 33798 4294967295 134512640 135730672 3221224576 3221223248 134748644 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41176 33798 301 301 0 40875 0 vsize: 164704 [startup+370.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 68004 0 0 0 36822 180 0 0 25 0 1 0 912026666 168656896 33815 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41176 33815 301 301 0 40875 0 vsize: 164704 [startup+380.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 68047 0 0 0 37822 181 0 0 25 0 1 0 912026666 168656896 33858 4294967295 134512640 135730672 3221224576 3221223120 134740310 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41176 33858 301 301 0 40875 0 vsize: 164704 [startup+390.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 68122 0 0 0 38821 182 0 0 25 0 1 0 912026666 168943616 33933 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41246 33933 301 301 0 40945 0 vsize: 164984 [startup+400.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 68970 0 0 0 39818 185 0 0 25 0 1 0 912026666 169140224 33959 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41294 33959 301 301 0 40993 0 vsize: 165176 [startup+410.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 69036 0 0 0 40816 187 0 0 25 0 1 0 912026666 169336832 34025 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41342 34025 301 301 0 41041 0 vsize: 165368 [startup+420.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 69053 0 0 0 41815 188 0 0 25 0 1 0 912026666 169336832 34042 4294967295 134512640 135730672 3221224576 3221223072 134747613 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41342 34042 301 301 0 41041 0 vsize: 165368 [startup+430.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 69067 0 0 0 42814 189 0 0 25 0 1 0 912026666 169336832 34056 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41342 34056 301 301 0 41041 0 vsize: 165368 [startup+440.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 69083 0 0 0 43813 190 0 0 25 0 1 0 912026666 169336832 34072 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41342 34072 301 301 0 41041 0 vsize: 165368 [startup+450.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 69167 0 0 0 44812 192 0 0 25 0 1 0 912026666 169779200 34156 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41450 34156 301 301 0 41149 0 vsize: 165800 [startup+460.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 69212 0 0 0 45811 193 0 0 25 0 1 0 912026666 169914368 34201 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41483 34201 301 301 0 41182 0 vsize: 165932 [startup+470.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 69231 0 0 0 46810 194 0 0 25 0 1 0 912026666 169914368 34220 4294967295 134512640 135730672 3221224576 3221223200 134748168 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41483 34220 301 301 0 41182 0 vsize: 165932 [startup+480.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 70055 0 0 0 47808 196 0 0 25 0 1 0 912026666 169914368 34222 4294967295 134512640 135730672 3221224576 3221223072 134747528 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41483 34222 301 301 0 41182 0 vsize: 165932 [startup+490.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 70065 0 0 0 48807 197 0 0 25 0 1 0 912026666 169914368 34232 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41483 34232 301 301 0 41182 0 vsize: 165932 [startup+500.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 70073 0 0 0 49806 198 0 0 25 0 1 0 912026666 169914368 34240 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41483 34240 301 301 0 41182 0 vsize: 165932 [startup+510.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 70911 0 0 0 50803 201 0 0 25 0 1 0 912026666 170078208 34256 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41523 34256 301 301 0 41222 0 vsize: 166092 [startup+520.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 71738 0 0 0 51801 204 0 0 25 0 1 0 912026666 170078208 34261 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41523 34261 301 301 0 41222 0 vsize: 166092 [startup+530.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 72563 0 0 0 52798 207 0 0 25 0 1 0 912026666 170078208 34264 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41523 34264 301 301 0 41222 0 vsize: 166092 [startup+540.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 72575 0 0 0 53798 207 0 0 25 0 1 0 912026666 170078208 34276 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41523 34276 301 301 0 41222 0 vsize: 166092 [startup+550.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 73400 0 0 0 54796 210 0 0 25 0 1 0 912026666 170078208 34279 4294967295 134512640 135730672 3221224576 3221223176 134747441 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41523 34279 301 301 0 41222 0 vsize: 166092 [startup+560.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 74225 0 0 0 55793 212 0 0 25 0 1 0 912026666 170078208 34282 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41523 34282 301 301 0 41222 0 vsize: 166092 [startup+570.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 75052 0 0 0 56791 215 0 0 25 0 1 0 912026666 170078208 34287 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41523 34287 301 301 0 41222 0 vsize: 166092 [startup+580.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 75880 0 0 0 57788 217 0 0 25 0 1 0 912026666 170078208 34293 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41523 34293 301 301 0 41222 0 vsize: 166092 [startup+590.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 75905 0 0 0 58788 218 0 0 25 0 1 0 912026666 170242048 34318 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41563 34318 301 301 0 41262 0 vsize: 166252 [startup+600.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 76729 0 0 0 59786 220 0 0 25 0 1 0 912026666 170242048 34320 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41563 34320 301 301 0 41262 0 vsize: 166252 [startup+610.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 77557 0 0 0 60784 222 0 0 25 0 1 0 912026666 173608960 35148 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42385 35148 301 301 0 42084 0 vsize: 169540 [startup+620.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 77560 0 0 0 61783 223 0 0 25 0 1 0 912026666 170242048 34329 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41563 34329 301 301 0 41262 0 vsize: 166252 [startup+630.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 78357 0 0 0 62781 226 0 0 25 0 1 0 912026666 173608960 35126 4294967295 134512640 135730672 3221224576 3221222912 134767241 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42385 35134 301 301 0 42084 0 vsize: 169540 [startup+640.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 78390 0 0 0 63780 227 0 0 25 0 1 0 912026666 170242048 34337 4294967295 134512640 135730672 3221224576 3221223232 134748656 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41563 34337 301 301 0 41262 0 vsize: 166252 [startup+650.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 79231 0 0 0 64777 230 0 0 25 0 1 0 912026666 170242048 34356 4294967295 134512640 135730672 3221224576 3221223232 134734837 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41563 34356 301 301 0 41262 0 vsize: 166252 [startup+660.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 79245 0 0 0 65777 231 0 0 25 0 1 0 912026666 170242048 34370 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41563 34370 301 301 0 41262 0 vsize: 166252 [startup+670.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 80070 0 0 0 66774 234 0 0 25 0 1 0 912026666 170242048 34373 4294967295 134512640 135730672 3221224576 3221223232 134734842 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41563 34373 301 301 0 41262 0 vsize: 166252 [startup+680.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 80080 0 0 0 67773 235 0 0 25 0 1 0 912026666 170242048 34383 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41563 34383 301 301 0 41262 0 vsize: 166252 [startup+690.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 80906 0 0 0 68770 237 0 0 25 0 1 0 912026666 170242048 34387 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41563 34387 301 301 0 41262 0 vsize: 166252 [startup+700.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 81739 0 0 0 69767 240 0 0 25 0 1 0 912026666 170242048 34398 4294967295 134512640 135730672 3221224576 3221223072 134747960 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41563 34398 301 301 0 41262 0 vsize: 166252 [startup+710.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 81752 0 0 0 70766 242 0 0 25 0 1 0 912026666 170242048 34411 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41563 34411 301 301 0 41262 0 vsize: 166252 [startup+720.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 82583 0 0 0 71764 244 0 0 25 0 1 0 912026666 170242048 34420 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41563 34420 301 301 0 41262 0 vsize: 166252 [startup+730.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 83427 0 0 0 72762 246 0 0 25 0 1 0 912026666 170438656 34442 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41611 34442 301 301 0 41310 0 vsize: 166444 [startup+740.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 84261 0 0 0 73760 248 0 0 25 0 1 0 912026666 170438656 34454 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41611 34454 301 301 0 41310 0 vsize: 166444 [startup+750.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 85094 0 0 0 74758 251 0 0 25 0 1 0 912026666 170438656 34465 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41611 34465 301 301 0 41310 0 vsize: 166444 [startup+760.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 85109 0 0 0 75757 251 0 0 25 0 1 0 912026666 170438656 34480 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41611 34480 301 301 0 41310 0 vsize: 166444 [startup+770.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 85946 0 0 0 76755 255 0 0 25 0 1 0 912026666 173805568 35317 4294967295 134512640 135730672 3221224576 3221222724 134768817 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42433 35317 301 301 0 42132 0 vsize: 169732 [startup+780.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 85967 0 0 0 77754 256 0 0 25 0 1 0 912026666 170438656 34516 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41611 34516 301 301 0 41310 0 vsize: 166444 [startup+790.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 86795 0 0 0 78751 259 0 0 25 0 1 0 912026666 170438656 34522 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41611 34522 301 301 0 41310 0 vsize: 166444 [startup+800.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 87628 0 0 0 79748 262 0 0 25 0 1 0 912026666 170438656 34533 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41611 34533 301 301 0 41310 0 vsize: 166444 [startup+810.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 87643 0 0 0 80747 263 0 0 25 0 1 0 912026666 170438656 34548 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41611 34548 301 301 0 41310 0 vsize: 166444 [startup+820.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 88475 0 0 0 81744 266 0 0 25 0 1 0 912026666 170438656 34558 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41611 34558 301 301 0 41310 0 vsize: 166444 [startup+830.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 89309 0 0 0 82742 268 0 0 25 0 1 0 912026666 170438656 34570 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41611 34570 301 301 0 41310 0 vsize: 166444 [startup+840.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 90146 0 0 0 83740 270 0 0 25 0 1 0 912026666 170438656 34585 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41611 34585 301 301 0 41310 0 vsize: 166444 [startup+850.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 90164 0 0 0 84740 271 0 0 25 0 1 0 912026666 170438656 34603 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41611 34603 301 301 0 41310 0 vsize: 166444 [startup+860.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 91000 0 0 0 85738 273 0 0 25 0 1 0 912026666 170569728 34617 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41643 34617 301 301 0 41342 0 vsize: 166572 [startup+870.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 91839 0 0 0 86735 276 0 0 25 0 1 0 912026666 170569728 34634 4294967295 134512640 135730672 3221224576 3221223264 134748440 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41643 34634 301 301 0 41342 0 vsize: 166572 [startup+880.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 92676 0 0 0 87732 279 0 0 25 0 1 0 912026666 170569728 34649 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41643 34649 301 301 0 41342 0 vsize: 166572 [startup+890.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 92695 0 0 0 88731 280 0 0 25 0 1 0 912026666 170569728 34668 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41643 34668 301 301 0 41342 0 vsize: 166572 [startup+900.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 93543 0 0 0 89729 282 0 0 25 0 1 0 912026666 170721280 34694 4294967295 134512640 135730672 3221224576 3221223200 134748191 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41680 34694 301 301 0 41379 0 vsize: 166720 [startup+910.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 94385 0 0 0 90726 285 0 0 25 0 1 0 912026666 170721280 34714 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41680 34714 301 301 0 41379 0 vsize: 166720 [startup+920.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 95219 0 0 0 91724 288 0 0 25 0 1 0 912026666 170721280 34726 4294967295 134512640 135730672 3221224576 3221223232 134734780 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41680 34726 301 301 0 41379 0 vsize: 166720 [startup+930.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 95236 0 0 0 92723 288 0 0 25 0 1 0 912026666 170721280 34743 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41680 34743 301 301 0 41379 0 vsize: 166720 [startup+940.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 96074 0 0 0 93721 291 0 0 25 0 1 0 912026666 170721280 34759 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41680 34759 301 301 0 41379 0 vsize: 166720 [startup+950.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 96911 0 0 0 94718 294 0 0 25 0 1 0 912026666 170721280 34774 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41680 34774 301 301 0 41379 0 vsize: 166720 [startup+960.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 97749 0 0 0 95716 297 0 0 25 0 1 0 912026666 174223360 35612 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42535 35612 301 301 0 42234 0 vsize: 170140 [startup+970.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 97763 0 0 0 96715 298 0 0 25 0 1 0 912026666 170856448 34804 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41713 34804 301 301 0 41412 0 vsize: 166852 [startup+980.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 98600 0 0 0 97711 301 0 0 25 0 1 0 912026666 170856448 34819 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41713 34819 301 301 0 41412 0 vsize: 166852 [startup+990.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 99438 0 0 0 98708 305 0 0 25 0 1 0 912026666 170856448 34835 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41713 34835 301 301 0 41412 0 vsize: 166852 [startup+1000.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 100277 0 0 0 99705 308 0 0 25 0 1 0 912026666 174223360 35674 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42535 35674 301 301 0 42234 0 vsize: 170140 [startup+1010.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 100295 0 0 0 100704 309 0 0 25 0 1 0 912026666 170856448 34870 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41713 34870 301 301 0 41412 0 vsize: 166852 [startup+1020.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 101135 0 0 0 101702 312 0 0 25 0 1 0 912026666 170987520 34888 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41745 34888 301 301 0 41444 0 vsize: 166980 [startup+1030.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 101975 0 0 0 102700 314 0 0 25 0 1 0 912026666 170987520 34906 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41745 34906 301 301 0 41444 0 vsize: 166980 [startup+1040.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 102810 0 0 0 103697 317 0 0 25 0 1 0 912026666 170987520 34919 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41745 34919 301 301 0 41444 0 vsize: 166980 [startup+1050.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 102826 0 0 0 104696 318 0 0 25 0 1 0 912026666 170987520 34935 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41745 34935 301 301 0 41444 0 vsize: 166980 [startup+1060.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 103658 0 0 0 105694 320 0 0 25 0 1 0 912026666 170987520 34945 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41745 34945 301 301 0 41444 0 vsize: 166980 [startup+1070.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 104491 0 0 0 106691 323 0 0 25 0 1 0 912026666 174354432 35778 4294967295 134512640 135730672 3221224576 3221222724 134768817 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42567 35778 301 301 0 42266 0 vsize: 170268 [startup+1080.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 104516 0 0 0 107691 324 0 0 25 0 1 0 912026666 170987520 34981 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41745 34981 301 301 0 41444 0 vsize: 166980 [startup+1090.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 105354 0 0 0 108688 327 0 0 25 0 1 0 912026666 171118592 34997 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41777 34997 301 301 0 41476 0 vsize: 167108 [startup+1100.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 106198 0 0 0 109685 330 0 0 25 0 1 0 912026666 171118592 35019 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41777 35019 301 301 0 41476 0 vsize: 167108 [startup+1110.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 106209 0 0 0 110685 330 0 0 25 0 1 0 912026666 171118592 35030 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41777 35030 301 301 0 41476 0 vsize: 167108 [startup+1120.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 107042 0 0 0 111682 334 0 0 25 0 1 0 912026666 171118592 35041 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41777 35041 301 301 0 41476 0 vsize: 167108 [startup+1130.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 107880 0 0 0 112679 337 0 0 25 0 1 0 912026666 171118592 35057 4294967295 134512640 135730672 3221224576 3221223200 134783328 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41777 35057 301 301 0 41476 0 vsize: 167108 [startup+1140.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 107894 0 0 0 113679 337 0 0 25 0 1 0 912026666 171118592 35071 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41777 35071 301 301 0 41476 0 vsize: 167108 [startup+1150.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 108730 0 0 0 114676 340 0 0 25 0 1 0 912026666 171118592 35085 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41777 35085 301 301 0 41476 0 vsize: 167108 [startup+1160.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 109568 0 0 0 115673 344 0 0 25 0 1 0 912026666 171253760 35101 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41810 35101 301 301 0 41509 0 vsize: 167240 [startup+1170.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 110405 0 0 0 116669 347 0 0 25 0 1 0 912026666 171253760 35116 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41810 35116 301 301 0 41509 0 vsize: 167240 [startup+1180.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 110426 0 0 0 117668 348 0 0 25 0 1 0 912026666 171253760 35137 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41810 35137 301 301 0 41509 0 vsize: 167240 [startup+1190.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 111261 0 0 0 118665 351 0 0 25 0 1 0 912026666 171253760 35150 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41810 35150 301 301 0 41509 0 vsize: 167240 [startup+1200.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 15634 Raw data (stat): 15634 (pb2sat-v2) R 15633 8378 8377 0 -1 0 112092 0 0 0 119663 354 0 0 25 0 1 0 912026666 171253760 35159 4294967295 134512640 135730672 3221224576 3221223072 134747899 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41810 35159 301 301 0 41509 0 vsize: 167240 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1201.1 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 15634 Raw data (stat): 15634 (pb2sat-v2) Z 15633 8378 8377 0 -1 12 112094 0 0 0 119763 361 0 0 25 0 1 0 912026666 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 0 Real time (s): 1201.1 CPU time (s): 1201.26 CPU user time (s): 1197.64 CPU system time (s): 3.61745 CPU usage (%): 100.013 Max. virtual memory (Kb): 170268 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####