Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2p.opb |
MD5SUM | 6958cafd776838585aada2c9dcafd103 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 246163 |
Biggest coefficient in the objective function | 10737418240 |
Number of bits for the biggest coefficient in the objective function | 34 |
Sum of the numbers in the objective function | 43487073153772 |
Number of bits of the sum of numbers in the objective function | 46 |
Biggest number in a constraint | 31729070899200 |
Number of bits of the biggest number in a constraint | 45 |
Biggest sum of numbers in a constraint | 103505525327531 |
Number of bits of the biggest sum of numbers | 47 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 2.77058 |
Number of variables | 293602 |
Total number of constraints | 10500 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 10500 |
Minimum length of a constraint | 13 |
Maximum length of a constraint | 612 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-06-16 05:28:55 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25533 boxname=wulflinc2 idbench=833 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 6958cafd776838585aada2c9dcafd103 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-fit2p.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-fit2p.opb IDLAUNCH: 25533 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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.191 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: 706788 kB Buffers: 34624 kB Cached: 267132 kB SwapCached: 4448 kB Active: 98992 kB Inactive: 207852 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 706536 kB SwapTotal: 2097136 kB SwapFree: 2091696 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5056 kB Slab: 15384 kB Committed_AS: 71900 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 05:48:59 (client local time) WITH STATUS 0 IN 1201.28 SECONDS stats: 25533 7 1201.28 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified s 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): 1.01 0.96 0.91 1/54 4985 Raw data (stat): 4985 (runsolver) R 4984 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 968251227 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): 1.00 0.96 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 2154 0 0 0 993 6 0 0 25 0 1 0 968251227 7958528 1478 4294967295 134512640 135730672 3221224576 3221221664 134561677 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 1943 1478 301 301 0 1642 0 vsize: 7772 [startup+20.002 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 2699 0 0 0 1992 7 0 0 25 0 1 0 968251227 9310208 2015 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 2273 2015 301 301 0 1972 0 vsize: 9092 [startup+30.0023 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 3872 0 0 0 2990 9 0 0 25 0 1 0 968251227 13414400 2476 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3275 2476 301 301 0 2974 0 vsize: 13100 [startup+40.003 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 4126 0 0 0 3988 11 0 0 25 0 1 0 968251227 14090240 2725 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3440 2725 301 301 0 3139 0 vsize: 13760 [startup+50.0031 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 4387 0 0 0 4988 12 0 0 25 0 1 0 968251227 14766080 2981 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3605 2981 301 301 0 3304 0 vsize: 14420 [startup+60.0034 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 4612 0 0 0 5987 13 0 0 25 0 1 0 968251227 15306752 3203 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3737 3203 301 301 0 3436 0 vsize: 14948 [startup+70.003 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 4818 0 0 0 6986 14 0 0 25 0 1 0 968251227 15847424 3405 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3869 3405 301 301 0 3568 0 vsize: 15476 [startup+80.0042 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 5008 0 0 0 7986 14 0 0 25 0 1 0 968251227 16388096 3592 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4001 3592 301 301 0 3700 0 vsize: 16004 [startup+90.0045 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 5188 0 0 0 8985 15 0 0 25 0 1 0 968251227 16928768 3769 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4133 3769 301 301 0 3832 0 vsize: 16532 [startup+100.004 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 5359 0 0 0 9985 15 0 0 25 0 1 0 968251227 17334272 3938 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4232 3938 301 301 0 3931 0 vsize: 16928 [startup+110.005 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 6390 0 0 0 10984 17 0 0 25 0 1 0 968251227 27738112 4933 4294967295 134512640 135730672 3221224576 3221221120 134775558 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6772 4933 301 301 0 6471 0 vsize: 27088 [startup+120.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 7497 0 0 0 11981 19 0 0 25 0 1 0 968251227 25407488 4661 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6203 4661 301 301 0 5902 0 vsize: 24812 [startup+130.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 7552 0 0 0 12981 20 0 0 25 0 1 0 968251227 25407488 4713 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6203 4713 301 301 0 5902 0 vsize: 24812 [startup+140.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 7603 0 0 0 13980 20 0 0 25 0 1 0 968251227 25407488 4762 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6203 4762 301 301 0 5902 0 vsize: 24812 [startup+150.007 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 7680 0 0 0 14980 21 0 0 25 0 1 0 968251227 25407488 4837 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6203 4837 301 301 0 5902 0 vsize: 24812 [startup+160.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 7729 0 0 0 15980 21 0 0 25 0 1 0 968251227 25407488 4883 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6203 4883 301 301 0 5902 0 vsize: 24812 [startup+170.007 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 7856 0 0 0 16979 22 0 0 25 0 1 0 968251227 25812992 5008 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6302 5008 301 301 0 6001 0 vsize: 25208 [startup+180.007 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 7985 0 0 0 17978 23 0 0 25 0 1 0 968251227 26083328 5135 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6368 5135 301 301 0 6067 0 vsize: 25472 [startup+190.008 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 8111 0 0 0 18978 24 0 0 25 0 1 0 968251227 26488832 5259 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6467 5259 301 301 0 6166 0 vsize: 25868 [startup+200.008 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 8234 0 0 0 19977 24 0 0 25 0 1 0 968251227 26759168 5380 4294967295 134512640 135730672 3221224576 3221221776 134577618 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6533 5380 301 301 0 6232 0 vsize: 26132 [startup+210.008 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 8355 0 0 0 20977 25 0 0 25 0 1 0 968251227 27164672 5499 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6632 5499 301 301 0 6331 0 vsize: 26528 [startup+220.009 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 8473 0 0 0 21976 26 0 0 25 0 1 0 968251227 27435008 5615 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6698 5615 301 301 0 6397 0 vsize: 26792 [startup+230.01 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 8588 0 0 0 22976 27 0 0 25 0 1 0 968251227 27705344 5728 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6764 5728 301 301 0 6463 0 vsize: 27056 [startup+240.01 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 8700 0 0 0 23975 27 0 0 25 0 1 0 968251227 27975680 5839 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6830 5839 301 301 0 6529 0 vsize: 27320 [startup+250.01 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 8812 0 0 0 24975 27 0 0 25 0 1 0 968251227 28381184 5949 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6929 5949 301 301 0 6628 0 vsize: 27716 [startup+260.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 8921 0 0 0 25975 28 0 0 25 0 1 0 968251227 28651520 6056 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6995 6056 301 301 0 6694 0 vsize: 27980 [startup+270.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 9028 0 0 0 26974 28 0 0 25 0 1 0 968251227 28921856 6161 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7061 6161 301 301 0 6760 0 vsize: 28244 [startup+280.012 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 9132 0 0 0 27974 29 0 0 25 0 1 0 968251227 29192192 6264 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7127 6264 301 301 0 6826 0 vsize: 28508 [startup+290.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 9236 0 0 0 28973 30 0 0 25 0 1 0 968251227 29462528 6366 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7193 6366 301 301 0 6892 0 vsize: 28772 [startup+300.012 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 9338 0 0 0 29973 30 0 0 25 0 1 0 968251227 29732864 6466 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7259 6466 301 301 0 6958 0 vsize: 29036 [startup+310.012 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 9437 0 0 0 30972 31 0 0 25 0 1 0 968251227 30003200 6564 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7325 6564 301 301 0 7024 0 vsize: 29300 [startup+320.012 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 9536 0 0 0 31972 32 0 0 25 0 1 0 968251227 30273536 6661 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7391 6661 301 301 0 7090 0 vsize: 29564 [startup+330.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 9635 0 0 0 32970 33 0 0 25 0 1 0 968251227 30543872 6758 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7457 6758 301 301 0 7156 0 vsize: 29828 [startup+340.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 9729 0 0 0 33970 34 0 0 25 0 1 0 968251227 30814208 6851 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7523 6851 301 301 0 7222 0 vsize: 30092 [startup+350.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 9824 0 0 0 34969 35 0 0 25 0 1 0 968251227 30949376 6944 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7556 6944 301 301 0 7255 0 vsize: 30224 [startup+360.014 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 9916 0 0 0 35968 36 0 0 25 0 1 0 968251227 31219712 7035 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7622 7035 301 301 0 7321 0 vsize: 30488 [startup+370.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 10009 0 0 0 36968 36 0 0 25 0 1 0 968251227 31490048 7126 4294967295 134512640 135730672 3221224576 3221221776 134577521 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7688 7126 301 301 0 7387 0 vsize: 30752 [startup+380.015 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 10099 0 0 0 37967 37 0 0 25 0 1 0 968251227 31760384 7215 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7754 7215 301 301 0 7453 0 vsize: 31016 [startup+390.015 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 10188 0 0 0 38967 37 0 0 25 0 1 0 968251227 32030720 7303 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7820 7303 301 301 0 7519 0 vsize: 31280 [startup+400.014 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 10277 0 0 0 39967 38 0 0 25 0 1 0 968251227 32165888 7390 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7853 7390 301 301 0 7552 0 vsize: 31412 [startup+410.014 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 10365 0 0 0 40966 38 0 0 25 0 1 0 968251227 32436224 7477 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7919 7477 301 301 0 7618 0 vsize: 31676 [startup+420.014 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 10452 0 0 0 41965 39 0 0 25 0 1 0 968251227 32706560 7562 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7985 7562 301 301 0 7684 0 vsize: 31940 [startup+430.014 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 10537 0 0 0 42965 40 0 0 25 0 1 0 968251227 32841728 7646 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8018 7646 301 301 0 7717 0 vsize: 32072 [startup+440.015 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 10621 0 0 0 43965 40 0 0 25 0 1 0 968251227 33112064 7729 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8084 7729 301 301 0 7783 0 vsize: 32336 [startup+450.015 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 10705 0 0 0 44964 41 0 0 25 0 1 0 968251227 33382400 7811 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8150 7811 301 301 0 7849 0 vsize: 32600 [startup+460.015 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 10788 0 0 0 45964 41 0 0 25 0 1 0 968251227 33517568 7893 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8183 7893 301 301 0 7882 0 vsize: 32732 [startup+470.015 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 10870 0 0 0 46964 42 0 0 25 0 1 0 968251227 33787904 7974 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8249 7974 301 301 0 7948 0 vsize: 32996 [startup+480.015 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 10952 0 0 0 47963 43 0 0 25 0 1 0 968251227 33923072 8054 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8282 8054 301 301 0 7981 0 vsize: 33128 [startup+490.015 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 14827 0 0 0 48954 52 0 0 25 0 1 0 968251227 49258496 9110 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9110 301 301 0 11725 0 vsize: 48104 [startup+500.015 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 14856 0 0 0 49953 52 0 0 25 0 1 0 968251227 49258496 9138 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9138 301 301 0 11725 0 vsize: 48104 [startup+510.015 s] Raw data (loadavg): 1.08 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 14885 0 0 0 50953 53 0 0 25 0 1 0 968251227 49258496 9165 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9165 301 301 0 11725 0 vsize: 48104 [startup+520.015 s] Raw data (loadavg): 1.07 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 14912 0 0 0 51953 53 0 0 25 0 1 0 968251227 49258496 9191 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9191 301 301 0 11725 0 vsize: 48104 [startup+530.016 s] Raw data (loadavg): 1.06 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 14939 0 0 0 52952 53 0 0 25 0 1 0 968251227 49258496 9217 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9217 301 301 0 11725 0 vsize: 48104 [startup+540.016 s] Raw data (loadavg): 1.05 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 14967 0 0 0 53952 54 0 0 25 0 1 0 968251227 49258496 9244 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9244 301 301 0 11725 0 vsize: 48104 [startup+550.016 s] Raw data (loadavg): 1.04 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 14993 0 0 0 54952 54 0 0 25 0 1 0 968251227 49258496 9269 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9269 301 301 0 11725 0 vsize: 48104 [startup+560.017 s] Raw data (loadavg): 1.03 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15020 0 0 0 55951 55 0 0 25 0 1 0 968251227 49258496 9294 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9294 301 301 0 11725 0 vsize: 48104 [startup+570.017 s] Raw data (loadavg): 1.03 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15046 0 0 0 56951 55 0 0 25 0 1 0 968251227 49258496 9319 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9319 301 301 0 11725 0 vsize: 48104 [startup+580.019 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15073 0 0 0 57951 55 0 0 25 0 1 0 968251227 49258496 9345 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9345 301 301 0 11725 0 vsize: 48104 [startup+590.019 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15099 0 0 0 58951 56 0 0 25 0 1 0 968251227 49258496 9370 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9370 301 301 0 11725 0 vsize: 48104 [startup+600.019 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15124 0 0 0 59951 56 0 0 25 0 1 0 968251227 49258496 9394 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9394 301 301 0 11725 0 vsize: 48104 [startup+610.02 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15151 0 0 0 60951 56 0 0 25 0 1 0 968251227 49258496 9419 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9419 301 301 0 11725 0 vsize: 48104 [startup+620.019 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15196 0 0 0 61951 56 0 0 25 0 1 0 968251227 49258496 9463 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9463 301 301 0 11725 0 vsize: 48104 [startup+630.02 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15227 0 0 0 62950 57 0 0 25 0 1 0 968251227 49258496 9493 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9493 301 301 0 11725 0 vsize: 48104 [startup+640.021 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15252 0 0 0 63950 57 0 0 25 0 1 0 968251227 49258496 9517 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9517 301 301 0 11725 0 vsize: 48104 [startup+650.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15276 0 0 0 64950 58 0 0 25 0 1 0 968251227 49258496 9540 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9540 301 301 0 11725 0 vsize: 48104 [startup+660.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15301 0 0 0 65949 58 0 0 25 0 1 0 968251227 49258496 9564 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9564 301 301 0 11725 0 vsize: 48104 [startup+670.019 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15325 0 0 0 66949 59 0 0 25 0 1 0 968251227 49258496 9587 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9587 301 301 0 11725 0 vsize: 48104 [startup+680.021 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15372 0 0 0 67949 59 0 0 25 0 1 0 968251227 49393664 9632 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12059 9632 301 301 0 11758 0 vsize: 48236 [startup+690.021 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15439 0 0 0 68948 59 0 0 25 0 1 0 968251227 49528832 9698 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12092 9698 301 301 0 11791 0 vsize: 48368 [startup+700.021 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15506 0 0 0 69948 60 0 0 25 0 1 0 968251227 49799168 9764 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12158 9764 301 301 0 11857 0 vsize: 48632 [startup+710.021 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15573 0 0 0 70948 60 0 0 25 0 1 0 968251227 49934336 9830 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12191 9830 301 301 0 11890 0 vsize: 48764 [startup+720.021 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15640 0 0 0 71948 60 0 0 25 0 1 0 968251227 50069504 9896 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12224 9896 301 301 0 11923 0 vsize: 48896 [startup+730.022 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15706 0 0 0 72947 60 0 0 25 0 1 0 968251227 50339840 9961 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12290 9961 301 301 0 11989 0 vsize: 49160 [startup+740.023 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15772 0 0 0 73947 61 0 0 25 0 1 0 968251227 50475008 10026 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12323 10026 301 301 0 12022 0 vsize: 49292 [startup+750.023 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15837 0 0 0 74947 61 0 0 25 0 1 0 968251227 50610176 10090 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12356 10090 301 301 0 12055 0 vsize: 49424 [startup+760.023 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15901 0 0 0 75946 62 0 0 25 0 1 0 968251227 50745344 10153 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12389 10153 301 301 0 12088 0 vsize: 49556 [startup+770.023 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15966 0 0 0 76946 62 0 0 25 0 1 0 968251227 51015680 10217 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12455 10217 301 301 0 12154 0 vsize: 49820 [startup+780.023 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 16030 0 0 0 77946 62 0 0 25 0 1 0 968251227 51150848 10280 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12488 10280 301 301 0 12187 0 vsize: 49952 [startup+790.023 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 16093 0 0 0 78946 62 0 0 25 0 1 0 968251227 51286016 10342 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12521 10342 301 301 0 12220 0 vsize: 50084 [startup+800.023 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 16156 0 0 0 79946 63 0 0 25 0 1 0 968251227 51421184 10404 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12554 10404 301 301 0 12253 0 vsize: 50216 [startup+810.023 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 16219 0 0 0 80945 63 0 0 25 0 1 0 968251227 51691520 10466 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12620 10466 301 301 0 12319 0 vsize: 50480 [startup+820.024 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 16281 0 0 0 81945 64 0 0 25 0 1 0 968251227 51826688 10527 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12653 10527 301 301 0 12352 0 vsize: 50612 [startup+830.025 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 16345 0 0 0 82945 64 0 0 25 0 1 0 968251227 51961856 10590 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12686 10590 301 301 0 12385 0 vsize: 50744 [startup+840.025 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 16405 0 0 0 83945 64 0 0 25 0 1 0 968251227 52097024 10649 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12719 10649 301 301 0 12418 0 vsize: 50876 [startup+850.025 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 16467 0 0 0 84945 64 0 0 25 0 1 0 968251227 52367360 10710 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12785 10710 301 301 0 12484 0 vsize: 51140 [startup+860.026 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 16527 0 0 0 85945 65 0 0 25 0 1 0 968251227 52502528 10769 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12818 10769 301 301 0 12517 0 vsize: 51272 [startup+870.026 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 16588 0 0 0 86944 65 0 0 25 0 1 0 968251227 52637696 10829 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12851 10829 301 301 0 12550 0 vsize: 51404 [startup+880.026 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 16648 0 0 0 87944 65 0 0 25 0 1 0 968251227 52772864 10888 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12884 10888 301 301 0 12583 0 vsize: 51536 [startup+890.027 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 16709 0 0 0 88944 66 0 0 25 0 1 0 968251227 52908032 10948 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12917 10948 301 301 0 12616 0 vsize: 51668 [startup+900.027 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 16768 0 0 0 89944 66 0 0 25 0 1 0 968251227 53043200 11006 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12950 11006 301 301 0 12649 0 vsize: 51800 [startup+910.026 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 16828 0 0 0 90943 67 0 0 25 0 1 0 968251227 53313536 11065 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13016 11065 301 301 0 12715 0 vsize: 52064 [startup+920.028 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 16888 0 0 0 91942 68 0 0 25 0 1 0 968251227 53448704 11124 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13049 11124 301 301 0 12748 0 vsize: 52196 [startup+930.028 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 16946 0 0 0 92941 69 0 0 25 0 1 0 968251227 53583872 11181 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13082 11181 301 301 0 12781 0 vsize: 52328 [startup+940.028 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17004 0 0 0 93941 69 0 0 25 0 1 0 968251227 53719040 11238 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13115 11238 301 301 0 12814 0 vsize: 52460 [startup+950.028 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17063 0 0 0 94940 70 0 0 25 0 1 0 968251227 53854208 11296 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13148 11296 301 301 0 12847 0 vsize: 52592 [startup+960.028 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17120 0 0 0 95940 71 0 0 25 0 1 0 968251227 53989376 11352 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13181 11352 301 301 0 12880 0 vsize: 52724 [startup+970.028 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17177 0 0 0 96939 72 0 0 25 0 1 0 968251227 54124544 11408 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13214 11408 301 301 0 12913 0 vsize: 52856 [startup+980.029 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17235 0 0 0 97939 72 0 0 25 0 1 0 968251227 54394880 11465 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13280 11465 301 301 0 12979 0 vsize: 53120 [startup+990.029 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17291 0 0 0 98937 73 0 0 25 0 1 0 968251227 54530048 11521 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13313 11521 301 301 0 13012 0 vsize: 53252 [startup+1000.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17347 0 0 0 99937 74 0 0 25 0 1 0 968251227 54665216 11576 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13346 11576 301 301 0 13045 0 vsize: 53384 [startup+1010.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17403 0 0 0 100936 75 0 0 25 0 1 0 968251227 54800384 11631 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13379 11631 301 301 0 13078 0 vsize: 53516 [startup+1020.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17461 0 0 0 101936 75 0 0 25 0 1 0 968251227 54935552 11688 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13412 11688 301 301 0 13111 0 vsize: 53648 [startup+1030.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17516 0 0 0 102936 75 0 0 25 0 1 0 968251227 55070720 11742 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13445 11742 301 301 0 13144 0 vsize: 53780 [startup+1040.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17571 0 0 0 103935 76 0 0 25 0 1 0 968251227 55205888 11796 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13478 11796 301 301 0 13177 0 vsize: 53912 [startup+1050.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17627 0 0 0 104935 76 0 0 25 0 1 0 968251227 55341056 11851 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13511 11851 301 301 0 13210 0 vsize: 54044 [startup+1060.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17683 0 0 0 105935 77 0 0 25 0 1 0 968251227 55476224 11906 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13544 11906 301 301 0 13243 0 vsize: 54176 [startup+1070.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17737 0 0 0 106934 77 0 0 25 0 1 0 968251227 55611392 11959 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13577 11959 301 301 0 13276 0 vsize: 54308 [startup+1080.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17792 0 0 0 107934 77 0 0 25 0 1 0 968251227 55746560 12013 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13610 12013 301 301 0 13309 0 vsize: 54440 [startup+1090.03 s] Raw data (loadavg): 1.07 1.00 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17844 0 0 0 108934 78 0 0 25 0 1 0 968251227 55881728 12065 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13643 12065 301 301 0 13342 0 vsize: 54572 [startup+1100.03 s] Raw data (loadavg): 1.06 1.00 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17899 0 0 0 109934 78 0 0 25 0 1 0 968251227 56152064 12119 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13709 12119 301 301 0 13408 0 vsize: 54836 [startup+1110.03 s] Raw data (loadavg): 1.05 1.00 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17953 0 0 0 110933 79 0 0 25 0 1 0 968251227 56287232 12172 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13742 12172 301 301 0 13441 0 vsize: 54968 [startup+1120.03 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 18007 0 0 0 111933 79 0 0 25 0 1 0 968251227 56422400 12225 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13775 12225 301 301 0 13474 0 vsize: 55100 [startup+1130.03 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 18060 0 0 0 112933 79 0 0 25 0 1 0 968251227 56557568 12277 4294967295 134512640 135730672 3221224576 3221221520 134539724 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13808 12277 301 301 0 13507 0 vsize: 55232 [startup+1140.03 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 18114 0 0 0 113933 79 0 0 25 0 1 0 968251227 56692736 12330 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13841 12330 301 301 0 13540 0 vsize: 55364 [startup+1150.03 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 18166 0 0 0 114933 80 0 0 25 0 1 0 968251227 56827904 12381 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13874 12381 301 301 0 13573 0 vsize: 55496 [startup+1160.03 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 18218 0 0 0 115933 80 0 0 25 0 1 0 968251227 56963072 12433 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13907 12433 301 301 0 13606 0 vsize: 55628 [startup+1170.03 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 18271 0 0 0 116932 80 0 0 25 0 1 0 968251227 57098240 12485 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13940 12485 301 301 0 13639 0 vsize: 55760 [startup+1180.03 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 18322 0 0 0 117932 80 0 0 25 0 1 0 968251227 57233408 12535 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13973 12535 301 301 0 13672 0 vsize: 55892 [startup+1190.03 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 18376 0 0 0 118932 81 0 0 25 0 1 0 968251227 57368576 12588 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14006 12588 301 301 0 13705 0 vsize: 56024 [startup+1200.03 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 4985 Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 18427 0 0 0 119932 81 0 0 25 0 1 0 968251227 57503744 12638 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14039 12638 301 301 0 13738 0 vsize: 56156 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1201.17 s] Raw data (loadavg): 1.01 1.00 0.92 1/54 4985 Raw data (stat): 4985 (pb2sat-v2) Z 4984 31399 31398 0 -1 12 18431 0 0 0 120043 84 0 0 25 0 1 0 968251227 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 0 Real time (s): 1201.17 CPU time (s): 1201.28 CPU user time (s): 1200.43 CPU system time (s): 0.840872 CPU usage (%): 100.009 Max. virtual memory (Kb): 56156 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####