Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos12.opb |
MD5SUM | 4968ba84d5c370c0dd8f5e6c6068a443 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2147483647 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 13440 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 481036336704 |
Number of bits of the sum of numbers in the objective function | 39 |
Biggest number in a constraint | 536870912 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 481036336704 |
Number of bits of the biggest sum of numbers | 39 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1211.72 |
Number of variables | 22960 |
Total number of constraints | 11747 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 3136 |
Number of constraints which are nor clauses,nor cardinality constraints | 8611 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 840 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-06-16 12:24:50 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25819 boxname=wulflinc1 idbench=1119 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 4968ba84d5c370c0dd8f5e6c6068a443 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-neos12.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-neos12.opb IDLAUNCH: 25819 /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: 632716 kB Buffers: 31040 kB Cached: 345856 kB SwapCached: 1184 kB Active: 30800 kB Inactive: 348456 kB HighTotal: 131008 kB HighFree: 9464 kB LowTotal: 903652 kB LowFree: 623252 kB SwapTotal: 2097136 kB SwapFree: 2094888 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5364 kB Slab: 16632 kB Committed_AS: 92720 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 12:44:54 (client local time) WITH STATUS 0 IN 1201.27 SECONDS stats: 25819 7 1201.27 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 109472/428306 Time: 143.033/86400 c Decision: 109472/428306 Time: 201.117/86400 c Decision: 109472/428306 Time: 249.813/86400 c Decision: 109472/428306 Time: 302.508/86400 c Decision: 109472/428306 Time: 367.964/86400 c Decision: 109472/428306 Time: 429.756/86400 c Decision: 109472/428306 Time: 490.944/86400 c Decision: 109472/428306 Time: 546.84/86400 c Decision: 109478/428306 Time: 621.04/86400 c Decision: 109490/428306 Time: 735.047/86400 c Decision: 109496/428306 Time: 841.41/86400 c Decision: 109496/428306 Time: 899.575/86400 c Decision: 109496/428306 Time: 959.396/86400 c Decision: 109496/428306 Time: 1014.27/86400 c Decision: 109496/428306 Time: 1065.96/86400 c Decision: 109496/428306 Time: 1125.34/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 18334 Raw data (stat): 18334 (runsolver) R 18333 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 913885883 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.0009 s] Raw data (loadavg): 0.93 0.95 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 18501 0 0 0 957 40 0 0 25 0 1 0 913885883 56213504 10577 4294967295 134512640 135730672 3221224576 3221221728 134576198 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13724 10577 301 301 0 13423 0 vsize: 54896 [startup+20.0017 s] Raw data (loadavg): 0.94 0.95 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 38501 0 0 0 1912 86 0 0 25 0 1 0 913885883 111710208 22727 4294967295 134512640 135730672 3221224576 3221221520 134539724 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27273 22727 301 301 0 26972 0 vsize: 109092 [startup+30.0015 s] Raw data (loadavg): 0.95 0.95 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 51682 0 0 0 2879 119 0 0 25 0 1 0 913885883 160854016 29654 4294967295 134512640 135730672 3221224576 3221222880 134768821 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39271 29654 301 301 0 38970 0 vsize: 157084 [startup+40.0028 s] Raw data (loadavg): 0.95 0.95 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 52334 0 0 0 3878 120 0 0 25 0 1 0 913885883 160026624 29261 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39069 29261 301 301 0 38768 0 vsize: 156276 [startup+50.003 s] Raw data (loadavg): 0.96 0.95 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 53902 0 0 0 4873 126 0 0 25 0 1 0 913885883 166309888 30486 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40603 30487 301 301 0 40302 0 vsize: 162412 [startup+60.0038 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 56594 0 0 0 5868 131 0 0 25 0 1 0 913885883 175607808 32128 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42873 32128 301 301 0 42572 0 vsize: 171492 [startup+70.0037 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 57693 0 0 0 6865 134 0 0 25 0 1 0 913885883 179384320 32753 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43795 32753 301 301 0 43494 0 vsize: 175180 [startup+80.0034 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 58880 0 0 0 7862 137 0 0 25 0 1 0 913885883 182689792 33384 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 44602 33384 301 301 0 44301 0 vsize: 178408 [startup+90.0032 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 60067 0 0 0 8860 139 0 0 25 0 1 0 913885883 186253312 33984 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45472 33984 301 301 0 45171 0 vsize: 181888 [startup+100.004 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 60781 0 0 0 9858 141 0 0 25 0 1 0 913885883 189677568 34583 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46308 34583 301 301 0 46007 0 vsize: 185232 [startup+110.004 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 61687 0 0 0 10857 143 0 0 25 0 1 0 913885883 192925696 35160 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 47101 35160 301 301 0 46800 0 vsize: 188404 [startup+120.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 62408 0 0 0 11855 145 0 0 25 0 1 0 913885883 194891776 35393 4294967295 134512640 135730672 3221224576 3221223072 134747495 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 47581 35393 301 301 0 47280 0 vsize: 190324 [startup+130.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 62890 0 0 0 12854 146 0 0 25 0 1 0 913885883 196071424 35582 4294967295 134512640 135730672 3221224576 3221223180 134747727 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 47869 35582 301 301 0 47568 0 vsize: 191476 [startup+140.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 63274 0 0 0 13853 147 0 0 25 0 1 0 913885883 197390336 35738 4294967295 134512640 135730672 3221224576 3221223224 134748061 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 48191 35738 301 301 0 47890 0 vsize: 192764 [startup+150.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 63549 0 0 0 14853 148 0 0 25 0 1 0 913885883 198176768 35818 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 48383 35818 301 301 0 48082 0 vsize: 193532 [startup+160.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 63987 0 0 0 15852 149 0 0 25 0 1 0 913885883 199491584 35995 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 48704 35995 301 301 0 48403 0 vsize: 194816 [startup+170.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 64397 0 0 0 16851 150 0 0 25 0 1 0 913885883 200675328 36177 4294967295 134512640 135730672 3221224576 3221222992 134741573 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 48993 36177 301 301 0 48692 0 vsize: 195972 [startup+180.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 65389 0 0 0 17848 153 0 0 25 0 1 0 913885883 200937472 36267 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49057 36267 301 301 0 48756 0 vsize: 196228 [startup+190.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 65666 0 0 0 18847 154 0 0 25 0 1 0 913885883 201863168 36446 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49283 36446 301 301 0 48982 0 vsize: 197132 [startup+200.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 66107 0 0 0 19846 155 0 0 25 0 1 0 913885883 203448320 36692 4294967295 134512640 135730672 3221224576 3221223264 134748557 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49670 36692 301 301 0 49369 0 vsize: 198680 [startup+210.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 66630 0 0 0 20846 156 0 0 25 0 1 0 913885883 205369344 37036 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50139 37036 301 301 0 49838 0 vsize: 200556 [startup+220.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 66802 0 0 0 21845 157 0 0 25 0 1 0 913885883 205897728 37143 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50268 37143 301 301 0 49967 0 vsize: 201072 [startup+230.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 67644 0 0 0 22844 159 0 0 25 0 1 0 913885883 209326080 37985 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51105 37985 301 301 0 50804 0 vsize: 204420 [startup+240.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 67809 0 0 0 23842 160 0 0 25 0 1 0 913885883 206426112 37248 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50397 37248 301 301 0 50096 0 vsize: 201588 [startup+250.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 67884 0 0 0 24842 160 0 0 25 0 1 0 913885883 206692352 37323 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50462 37323 301 301 0 50161 0 vsize: 201848 [startup+260.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 68232 0 0 0 25841 161 0 0 25 0 1 0 913885883 208187392 37605 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50827 37605 301 301 0 50526 0 vsize: 203308 [startup+270.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 68951 0 0 0 26840 163 0 0 25 0 1 0 913885883 211435520 38161 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51620 38161 301 301 0 51319 0 vsize: 206480 [startup+280.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 70023 0 0 0 27838 165 0 0 25 0 1 0 913885883 212226048 38266 4294967295 134512640 135730672 3221224576 3221223072 134747486 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51813 38266 301 301 0 51512 0 vsize: 207252 [startup+290.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 70204 0 0 0 28838 165 0 0 25 0 1 0 913885883 212750336 38317 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51941 38317 301 301 0 51640 0 vsize: 207764 [startup+300.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 70209 0 0 0 29838 165 0 0 25 0 1 0 913885883 212750336 38322 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51941 38322 301 301 0 51640 0 vsize: 207764 [startup+310.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 70247 0 0 0 30838 166 0 0 25 0 1 0 913885883 212750336 38360 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51941 38360 301 301 0 51640 0 vsize: 207764 [startup+320.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 70402 0 0 0 31838 166 0 0 25 0 1 0 913885883 213143552 38417 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52037 38417 301 301 0 51736 0 vsize: 208148 [startup+330.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 70434 0 0 0 32838 166 0 0 25 0 1 0 913885883 213143552 38449 4294967295 134512640 135730672 3221224576 3221223200 134748104 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52037 38449 301 301 0 51736 0 vsize: 208148 [startup+340.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 71299 0 0 0 33836 168 0 0 25 0 1 0 913885883 213143552 38477 4294967295 134512640 135730672 3221224576 3221223072 134747618 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52037 38477 301 301 0 51736 0 vsize: 208148 [startup+350.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 71314 0 0 0 34836 168 0 0 25 0 1 0 913885883 213143552 38492 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52037 38492 301 301 0 51736 0 vsize: 208148 [startup+360.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 71375 0 0 0 35836 168 0 0 25 0 1 0 913885883 213409792 38553 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52102 38553 301 301 0 51801 0 vsize: 208408 [startup+370.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 71503 0 0 0 36836 169 0 0 25 0 1 0 913885883 213671936 38616 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52166 38616 301 301 0 51865 0 vsize: 208664 [startup+380.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 71510 0 0 0 37836 169 0 0 25 0 1 0 913885883 213671936 38623 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52166 38623 301 301 0 51865 0 vsize: 208664 [startup+390.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 71516 0 0 0 38836 169 0 0 25 0 1 0 913885883 213671936 38629 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52166 38629 301 301 0 51865 0 vsize: 208664 [startup+400.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 72357 0 0 0 39835 170 0 0 25 0 1 0 913885883 213671936 38633 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52166 38633 301 301 0 51865 0 vsize: 208664 [startup+410.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 72362 0 0 0 40835 171 0 0 25 0 1 0 913885883 213671936 38638 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52166 38638 301 301 0 51865 0 vsize: 208664 [startup+420.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 72371 0 0 0 41835 171 0 0 25 0 1 0 913885883 213671936 38647 4294967295 134512640 135730672 3221224576 3221223168 134763992 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52166 38647 301 301 0 51865 0 vsize: 208664 [startup+430.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 72441 0 0 0 42835 171 0 0 25 0 1 0 913885883 213938176 38717 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52231 38717 301 301 0 51930 0 vsize: 208924 [startup+440.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 72447 0 0 0 43835 171 0 0 25 0 1 0 913885883 213938176 38723 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52231 38723 301 301 0 51930 0 vsize: 208924 [startup+450.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 72455 0 0 0 44835 171 0 0 25 0 1 0 913885883 213938176 38731 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52231 38731 301 301 0 51930 0 vsize: 208924 [startup+460.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 73296 0 0 0 45834 173 0 0 25 0 1 0 913885883 213938176 38735 4294967295 134512640 135730672 3221224576 3221223264 134748452 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52231 38735 301 301 0 51930 0 vsize: 208924 [startup+470.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 73297 0 0 0 46834 173 0 0 25 0 1 0 913885883 213938176 38736 4294967295 134512640 135730672 3221224576 3221223072 134747555 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52231 38736 301 301 0 51930 0 vsize: 208924 [startup+480.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 73298 0 0 0 47834 173 0 0 25 0 1 0 913885883 213938176 38737 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52231 38737 301 301 0 51930 0 vsize: 208924 [startup+490.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 73307 0 0 0 48834 173 0 0 25 0 1 0 913885883 213938176 38746 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52231 38746 301 301 0 51930 0 vsize: 208924 [startup+500.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 73312 0 0 0 49834 173 0 0 25 0 1 0 913885883 213938176 38751 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52231 38751 301 301 0 51930 0 vsize: 208924 [startup+510.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 73340 0 0 0 50834 173 0 0 25 0 1 0 913885883 213938176 38779 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52231 38779 301 301 0 51930 0 vsize: 208924 [startup+520.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 74177 0 0 0 51833 175 0 0 25 0 1 0 913885883 213938176 38779 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52231 38779 301 301 0 51930 0 vsize: 208924 [startup+530.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 74183 0 0 0 52833 175 0 0 25 0 1 0 913885883 213938176 38785 4294967295 134512640 135730672 3221224576 3221223168 134763576 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52231 38785 301 301 0 51930 0 vsize: 208924 [startup+540.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 74191 0 0 0 53833 175 0 0 25 0 1 0 913885883 213938176 38793 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52231 38793 301 301 0 51930 0 vsize: 208924 [startup+550.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 74198 0 0 0 54832 175 0 0 25 0 1 0 913885883 213938176 38800 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52231 38800 301 301 0 51930 0 vsize: 208924 [startup+560.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 74502 0 0 0 55832 176 0 0 25 0 1 0 913885883 214994944 38974 4294967295 134512640 135730672 3221224576 3221223072 134747624 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52489 38974 301 301 0 52188 0 vsize: 209956 [startup+570.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 74901 0 0 0 56831 178 0 0 25 0 1 0 913885883 215916544 39210 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52714 39210 301 301 0 52413 0 vsize: 210856 [startup+580.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 75783 0 0 0 57829 180 0 0 25 0 1 0 913885883 216182784 39255 4294967295 134512640 135730672 3221224576 3221223168 134763576 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52779 39255 301 301 0 52478 0 vsize: 211116 [startup+590.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 75961 0 0 0 58829 180 0 0 25 0 1 0 913885883 216707072 39303 4294967295 134512640 135730672 3221224576 3221223244 134748650 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52907 39303 301 301 0 52606 0 vsize: 211628 [startup+600.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 76068 0 0 0 59829 180 0 0 25 0 1 0 913885883 216969216 39345 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52971 39345 301 301 0 52670 0 vsize: 211884 [startup+610.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 76172 0 0 0 60828 181 0 0 25 0 1 0 913885883 217231360 39384 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53035 39384 301 301 0 52734 0 vsize: 212140 [startup+620.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 76219 0 0 0 61828 181 0 0 25 0 1 0 913885883 217231360 39431 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53035 39431 301 301 0 52734 0 vsize: 212140 [startup+630.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 76228 0 0 0 62828 181 0 0 25 0 1 0 913885883 217231360 39440 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53035 39440 301 301 0 52734 0 vsize: 212140 [startup+640.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 76240 0 0 0 63828 181 0 0 25 0 1 0 913885883 217231360 39452 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53035 39452 301 301 0 52734 0 vsize: 212140 [startup+650.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 77177 0 0 0 64826 183 0 0 25 0 1 0 913885883 217497600 39519 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53100 39519 301 301 0 52799 0 vsize: 212400 [startup+660.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 77184 0 0 0 65826 183 0 0 25 0 1 0 913885883 217497600 39526 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53100 39526 301 301 0 52799 0 vsize: 212400 [startup+670.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 77191 0 0 0 66826 184 0 0 25 0 1 0 913885883 217497600 39533 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53100 39533 301 301 0 52799 0 vsize: 212400 [startup+680.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 77242 0 0 0 67826 184 0 0 25 0 1 0 913885883 217497600 39584 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53100 39584 301 301 0 52799 0 vsize: 212400 [startup+690.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 77248 0 0 0 68826 184 0 0 25 0 1 0 913885883 217497600 39590 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53100 39590 301 301 0 52799 0 vsize: 212400 [startup+700.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 77501 0 0 0 69827 185 0 0 25 0 1 0 913885883 218288128 39713 4294967295 134512640 135730672 3221224576 3221223072 134747930 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53293 39713 301 301 0 52992 0 vsize: 213172 [startup+710.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 77508 0 0 0 70827 185 0 0 25 0 1 0 913885883 218288128 39720 4294967295 134512640 135730672 3221224576 3221223072 134747788 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53293 39720 301 301 0 52992 0 vsize: 213172 [startup+720.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 77512 0 0 0 71827 185 0 0 25 0 1 0 913885883 218288128 39724 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53293 39724 301 301 0 52992 0 vsize: 213172 [startup+730.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 77586 0 0 0 72826 186 0 0 25 0 1 0 913885883 218554368 39798 4294967295 134512640 135730672 3221224576 3221223200 134748166 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53358 39798 301 301 0 53057 0 vsize: 213432 [startup+740.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 77592 0 0 0 73826 186 0 0 25 0 1 0 913885883 218554368 39804 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53358 39804 301 301 0 53057 0 vsize: 213432 [startup+750.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 77610 0 0 0 74827 186 0 0 25 0 1 0 913885883 218554368 39822 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53358 39822 301 301 0 53057 0 vsize: 213432 [startup+760.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 77686 0 0 0 75827 186 0 0 25 0 1 0 913885883 218816512 39833 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53422 39833 301 301 0 53121 0 vsize: 213688 [startup+770.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 78537 0 0 0 76824 188 0 0 25 0 1 0 913885883 218816512 39847 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 53422 39847 301 301 0 53121 0 vsize: 213688 [startup+780.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 78541 0 0 0 77824 188 0 0 25 0 1 0 913885883 218816512 39851 4294967295 134512640 135730672 3221224576 3221223072 134747899 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53422 39851 301 301 0 53121 0 vsize: 213688 [startup+790.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 78579 0 0 0 78824 188 0 0 25 0 1 0 913885883 218816512 39889 4294967295 134512640 135730672 3221224576 3221223232 134748661 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53422 39889 301 301 0 53121 0 vsize: 213688 [startup+800.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 78618 0 0 0 79824 189 0 0 25 0 1 0 913885883 218816512 39928 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53422 39928 301 301 0 53121 0 vsize: 213688 [startup+810.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 78622 0 0 0 80824 189 0 0 25 0 1 0 913885883 218816512 39932 4294967295 134512640 135730672 3221224576 3221223200 134748255 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53422 39932 301 301 0 53121 0 vsize: 213688 [startup+820.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 78751 0 0 0 81824 189 0 0 25 0 1 0 913885883 219078656 39996 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53486 39996 301 301 0 53185 0 vsize: 213944 [startup+830.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 78757 0 0 0 82824 189 0 0 25 0 1 0 913885883 219078656 40002 4294967295 134512640 135730672 3221224576 3221223168 134763576 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53486 40002 301 301 0 53185 0 vsize: 213944 [startup+840.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 78764 0 0 0 83824 189 0 0 25 0 1 0 913885883 219078656 40009 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53486 40009 301 301 0 53185 0 vsize: 213944 [startup+850.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 78775 0 0 0 84824 189 0 0 25 0 1 0 913885883 219078656 40020 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53486 40020 301 301 0 53185 0 vsize: 213944 [startup+860.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 78886 0 0 0 85824 190 0 0 25 0 1 0 913885883 219340800 40066 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53550 40066 301 301 0 53249 0 vsize: 214200 [startup+870.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 79733 0 0 0 86822 192 0 0 25 0 1 0 913885883 219340800 40076 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53550 40076 301 301 0 53249 0 vsize: 214200 [startup+880.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 79734 0 0 0 87822 192 0 0 25 0 1 0 913885883 219340800 40077 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53550 40077 301 301 0 53249 0 vsize: 214200 [startup+890.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 79809 0 0 0 88822 193 0 0 25 0 1 0 913885883 219471872 40119 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53582 40119 301 301 0 53281 0 vsize: 214328 [startup+900.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 79810 0 0 0 89822 193 0 0 25 0 1 0 913885883 219471872 40120 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53582 40120 301 301 0 53281 0 vsize: 214328 [startup+910.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 79810 0 0 0 90822 193 0 0 25 0 1 0 913885883 219471872 40120 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53582 40120 301 301 0 53281 0 vsize: 214328 [startup+920.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 79811 0 0 0 91822 193 0 0 25 0 1 0 913885883 219471872 40121 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53582 40121 301 301 0 53281 0 vsize: 214328 [startup+930.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 80652 0 0 0 92820 195 0 0 25 0 1 0 913885883 219471872 40125 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53582 40125 301 301 0 53281 0 vsize: 214328 [startup+940.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 80653 0 0 0 93820 195 0 0 25 0 1 0 913885883 219471872 40126 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53582 40126 301 301 0 53281 0 vsize: 214328 [startup+950.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 80654 0 0 0 94820 195 0 0 25 0 1 0 913885883 219471872 40127 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53582 40127 301 301 0 53281 0 vsize: 214328 [startup+960.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 80657 0 0 0 95820 195 0 0 25 0 1 0 913885883 219471872 40130 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53582 40130 301 301 0 53281 0 vsize: 214328 [startup+970.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 80657 0 0 0 96820 195 0 0 25 0 1 0 913885883 219471872 40130 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53582 40130 301 301 0 53281 0 vsize: 214328 [startup+980.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 80663 0 0 0 97820 195 0 0 25 0 1 0 913885883 219471872 40136 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53582 40136 301 301 0 53281 0 vsize: 214328 [startup+990.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 81501 0 0 0 98819 197 0 0 25 0 1 0 913885883 219471872 40137 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53582 40137 301 301 0 53281 0 vsize: 214328 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 81502 0 0 0 99818 198 0 0 25 0 1 0 913885883 219471872 40138 4294967295 134512640 135730672 3221224576 3221223200 134748204 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53582 40138 301 301 0 53281 0 vsize: 214328 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 81613 0 0 0 100818 198 0 0 25 0 1 0 913885883 219734016 40184 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53646 40184 301 301 0 53345 0 vsize: 214584 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 81629 0 0 0 101819 198 0 0 25 0 1 0 913885883 219734016 40200 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53646 40200 301 301 0 53345 0 vsize: 214584 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 81665 0 0 0 102818 198 0 0 25 0 1 0 913885883 220000256 40236 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53711 40236 301 301 0 53410 0 vsize: 214844 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 81698 0 0 0 103818 199 0 0 25 0 1 0 913885883 220266496 40269 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53776 40269 301 301 0 53475 0 vsize: 215104 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 82570 0 0 0 104816 201 0 0 25 0 1 0 913885883 220532736 40304 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53841 40304 301 301 0 53540 0 vsize: 215364 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 82571 0 0 0 105816 202 0 0 25 0 1 0 913885883 220532736 40305 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53841 40305 301 301 0 53540 0 vsize: 215364 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 82571 0 0 0 106816 202 0 0 25 0 1 0 913885883 220532736 40305 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53841 40305 301 301 0 53540 0 vsize: 215364 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 82594 0 0 0 107816 202 0 0 25 0 1 0 913885883 220532736 40328 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53841 40328 301 301 0 53540 0 vsize: 215364 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 82681 0 0 0 108816 202 0 0 25 0 1 0 913885883 220532736 40415 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53841 40415 301 301 0 53540 0 vsize: 215364 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 83601 0 0 0 109813 205 0 0 25 0 1 0 913885883 220794880 40433 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53905 40433 301 301 0 53604 0 vsize: 215620 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 83609 0 0 0 110813 205 0 0 25 0 1 0 913885883 220794880 40441 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53905 40441 301 301 0 53604 0 vsize: 215620 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 83609 0 0 0 111813 205 0 0 25 0 1 0 913885883 220794880 40441 4294967295 134512640 135730672 3221224576 3221223200 134748111 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53905 40441 301 301 0 53604 0 vsize: 215620 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 83610 0 0 0 112813 205 0 0 25 0 1 0 913885883 220794880 40442 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53905 40442 301 301 0 53604 0 vsize: 215620 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 83611 0 0 0 113813 205 0 0 25 0 1 0 913885883 220794880 40443 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53905 40443 301 301 0 53604 0 vsize: 215620 [startup+1150.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 83612 0 0 0 114813 205 0 0 25 0 1 0 913885883 220794880 40444 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53905 40444 301 301 0 53604 0 vsize: 215620 [startup+1160.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 84450 0 0 0 115812 207 0 0 25 0 1 0 913885883 220794880 40445 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53905 40445 301 301 0 53604 0 vsize: 215620 [startup+1170.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 84471 0 0 0 116811 208 0 0 25 0 1 0 913885883 220794880 40466 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53905 40466 301 301 0 53604 0 vsize: 215620 [startup+1180.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 84572 0 0 0 117811 208 0 0 25 0 1 0 913885883 221057024 40502 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53969 40502 301 301 0 53668 0 vsize: 215876 [startup+1190.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 84587 0 0 0 118811 209 0 0 25 0 1 0 913885883 221057024 40517 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53969 40517 301 301 0 53668 0 vsize: 215876 [startup+1200.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18334 Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 84595 0 0 0 119811 209 0 0 25 0 1 0 913885883 221057024 40525 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53969 40525 301 301 0 53668 0 vsize: 215876 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1201.14 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 18334 Raw data (stat): 18334 (pb2sat-v2) Z 18333 8378 8377 0 -1 12 84597 0 0 0 119909 217 0 0 22 0 1 0 913885883 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.14 CPU time (s): 1201.27 CPU user time (s): 1199.1 CPU system time (s): 2.17167 CPU usage (%): 100.011 Max. virtual memory (Kb): 215876 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####