Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-set1ch.opb |
MD5SUM | 28671fa27f6142d46ae445332a951f0d |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 71225856 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 4880 |
Biggest coefficient in the objective function | 10485760 |
Number of bits for the biggest coefficient in the objective function | 24 |
Sum of the numbers in the objective function | 1662757407 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 10485760 |
Number of bits of the biggest number in a constraint | 24 |
Biggest sum of numbers in a constraint | 1662757407 |
Number of bits of the biggest sum of numbers | 31 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1254.32 |
Number of variables | 9680 |
Total number of constraints | 732 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 240 |
Number of constraints which are nor clauses,nor cardinality constraints | 492 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 420 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-06-16 18:52:51 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=26152 boxname=wulflinc5 idbench=1452 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 28671fa27f6142d46ae445332a951f0d /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-set1ch.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-set1ch.opb IDLAUNCH: 26152 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 701716 kB Buffers: 27484 kB Cached: 282344 kB SwapCached: 660 kB Active: 26556 kB Inactive: 285324 kB HighTotal: 131008 kB HighFree: 280 kB LowTotal: 903652 kB LowFree: 701436 kB SwapTotal: 2097136 kB SwapFree: 2095536 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5156 kB Slab: 15380 kB Committed_AS: 63712 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 19:12:54 (client local time) WITH STATUS 0 IN 1200.79 SECONDS stats: 26152 7 1200.79 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... 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): 0.91 0.95 0.91 2/54 18785 Raw data (stat): 18785 (runsolver) R 18784 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 973071535 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.0002 s] Raw data (loadavg): 0.93 0.95 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 25318 0 0 0 943 55 0 0 25 0 1 0 973071535 77934592 14329 4294967295 134512640 135730672 3221224576 3221213904 134770712 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 19027 14329 301 301 0 18726 0 vsize: 76108 [startup+20.0005 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 27906 0 0 0 1932 66 0 0 25 0 1 0 973071535 82440192 16458 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 20127 16458 301 301 0 19826 0 vsize: 80508 [startup+30.0013 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 28034 0 0 0 2927 72 0 0 25 0 1 0 973071535 82849792 16586 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 20227 16586 301 301 0 19926 0 vsize: 80908 [startup+40.0019 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 28144 0 0 0 3921 78 0 0 25 0 1 0 973071535 83283968 16696 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 20333 16696 301 301 0 20032 0 vsize: 81332 [startup+50.0027 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 28302 0 0 0 4915 84 0 0 25 0 1 0 973071535 83832832 16854 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 20467 16854 301 301 0 20166 0 vsize: 81868 [startup+60.0025 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 28388 0 0 0 5910 89 0 0 25 0 1 0 973071535 84111360 16940 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 20535 16940 301 301 0 20234 0 vsize: 82140 [startup+70.0037 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 28521 0 0 0 6905 94 0 0 25 0 1 0 973071535 84656128 17073 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 20668 17073 301 301 0 20367 0 vsize: 82672 [startup+80.004 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 28581 0 0 0 7901 98 0 0 25 0 1 0 973071535 84795392 17133 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 20702 17133 301 301 0 20401 0 vsize: 82808 [startup+90.0037 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 28701 0 0 0 8897 103 0 0 25 0 1 0 973071535 85364736 17253 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 20841 17253 301 301 0 20540 0 vsize: 83364 [startup+100.004 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 28805 0 0 0 9892 108 0 0 25 0 1 0 973071535 85635072 17357 4294967295 134512640 135730672 3221224576 3221223200 134748101 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 20907 17357 301 301 0 20606 0 vsize: 83628 [startup+110.004 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 28884 0 0 0 10887 112 0 0 25 0 1 0 973071535 85909504 17436 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 20974 17436 301 301 0 20673 0 vsize: 83896 [startup+120.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 28945 0 0 0 11882 118 0 0 25 0 1 0 973071535 86183936 17497 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21041 17497 301 301 0 20740 0 vsize: 84164 [startup+130.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 29064 0 0 0 12876 124 0 0 25 0 1 0 973071535 86630400 17616 4294967295 134512640 135730672 3221224576 3221223072 134747566 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21150 17616 301 301 0 20849 0 vsize: 84600 [startup+140.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 29175 0 0 0 13871 129 0 0 25 0 1 0 973071535 87080960 17727 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21260 17727 301 301 0 20959 0 vsize: 85040 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 29314 0 0 0 14864 136 0 0 25 0 1 0 973071535 87638016 17866 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21396 17866 301 301 0 21095 0 vsize: 85584 [startup+160.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 29361 0 0 0 15859 141 0 0 25 0 1 0 973071535 87785472 17913 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21432 17913 301 301 0 21131 0 vsize: 85728 [startup+170.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 29482 0 0 0 16855 145 0 0 25 0 1 0 973071535 88211456 18034 4294967295 134512640 135730672 3221224576 3221222896 134732493 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21536 18034 301 301 0 21235 0 vsize: 86144 [startup+180.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 29610 0 0 0 17851 149 0 0 25 0 1 0 973071535 88801280 18162 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21680 18162 301 301 0 21379 0 vsize: 86720 [startup+190.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 29699 0 0 0 18847 153 0 0 25 0 1 0 973071535 89096192 18251 4294967295 134512640 135730672 3221224576 3221223072 134747495 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21752 18251 301 301 0 21451 0 vsize: 87008 [startup+200.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 29789 0 0 0 19841 160 0 0 25 0 1 0 973071535 89538560 18341 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21860 18341 301 301 0 21559 0 vsize: 87440 [startup+210.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 29871 0 0 0 20835 165 0 0 25 0 1 0 973071535 89980928 18423 4294967295 134512640 135730672 3221224576 3221223072 134747647 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21968 18423 301 301 0 21667 0 vsize: 87872 [startup+220.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 30052 0 0 0 21830 171 0 0 25 0 1 0 973071535 90750976 18604 4294967295 134512640 135730672 3221224576 3221223200 134748111 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22156 18604 301 301 0 21855 0 vsize: 88624 [startup+230.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 30195 0 0 0 22825 176 0 0 25 0 1 0 973071535 91406336 18747 4294967295 134512640 135730672 3221224576 3221223072 134747930 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22316 18747 301 301 0 22015 0 vsize: 89264 [startup+240.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 30310 0 0 0 23822 179 0 0 25 0 1 0 973071535 91848704 18862 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22424 18862 301 301 0 22123 0 vsize: 89696 [startup+250.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 30406 0 0 0 24818 183 0 0 25 0 1 0 973071535 92143616 18958 4294967295 134512640 135730672 3221224576 3221223244 134748653 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22496 18958 301 301 0 22195 0 vsize: 89984 [startup+260.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 30510 0 0 0 25813 189 0 0 25 0 1 0 973071535 92635136 19062 4294967295 134512640 135730672 3221224576 3221223244 134748650 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22616 19062 301 301 0 22315 0 vsize: 90464 [startup+270.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 30567 0 0 0 26808 194 0 0 25 0 1 0 973071535 92798976 19119 4294967295 134512640 135730672 3221224576 3221223072 134747627 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22656 19119 301 301 0 22355 0 vsize: 90624 [startup+280.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 30585 0 0 0 27802 200 0 0 25 0 1 0 973071535 92798976 19137 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22656 19137 301 301 0 22355 0 vsize: 90624 [startup+290.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 30600 0 0 0 28797 205 0 0 25 0 1 0 973071535 92946432 19152 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22692 19152 301 301 0 22391 0 vsize: 90768 [startup+300.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 30643 0 0 0 29792 210 0 0 25 0 1 0 973071535 92946432 19195 4294967295 134512640 135730672 3221224576 3221223200 134748163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22692 19195 301 301 0 22391 0 vsize: 90768 [startup+310.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 30717 0 0 0 30788 214 0 0 25 0 1 0 973071535 93220864 19236 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22759 19236 301 301 0 22458 0 vsize: 91036 [startup+320.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 30767 0 0 0 31783 219 0 0 25 0 1 0 973071535 93491200 19286 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22825 19286 301 301 0 22524 0 vsize: 91300 [startup+330.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 30823 0 0 0 32778 224 0 0 25 0 1 0 973071535 93626368 19342 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22858 19342 301 301 0 22557 0 vsize: 91432 [startup+340.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 30862 0 0 0 33773 229 0 0 25 0 1 0 973071535 93765632 19381 4294967295 134512640 135730672 3221224576 3221222876 134729109 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22892 19381 301 301 0 22591 0 vsize: 91568 [startup+350.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 30951 0 0 0 34767 236 0 0 25 0 1 0 973071535 94052352 19470 4294967295 134512640 135730672 3221224576 3221223200 134748163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22962 19470 301 301 0 22661 0 vsize: 91848 [startup+360.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 30979 0 0 0 35762 240 0 0 25 0 1 0 973071535 94191616 19498 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22996 19498 301 301 0 22695 0 vsize: 91984 [startup+370.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 31026 0 0 0 36756 246 0 0 25 0 1 0 973071535 94326784 19545 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23029 19545 301 301 0 22728 0 vsize: 92116 [startup+380.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 31074 0 0 0 37752 251 0 0 25 0 1 0 973071535 94470144 19593 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23064 19593 301 301 0 22763 0 vsize: 92256 [startup+390.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 31140 0 0 0 38746 257 0 0 25 0 1 0 973071535 94773248 19659 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23138 19659 301 301 0 22837 0 vsize: 92552 [startup+400.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 31193 0 0 0 39740 264 0 0 25 0 1 0 973071535 94920704 19712 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23174 19712 301 301 0 22873 0 vsize: 92696 [startup+410.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 31320 0 0 0 40734 269 0 0 25 0 1 0 973071535 95559680 19839 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23330 19839 301 301 0 23029 0 vsize: 93320 [startup+420.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 31362 0 0 0 41730 274 0 0 25 0 1 0 973071535 95698944 19881 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23364 19881 301 301 0 23063 0 vsize: 93456 [startup+430.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18785 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 31395 0 0 0 42725 279 0 0 25 0 1 0 973071535 95698944 19914 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23364 19914 301 301 0 23063 0 vsize: 93456 [startup+440.014 s] Raw data (loadavg): 1.15 1.00 0.93 2/54 18838 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 31463 0 0 0 43720 284 0 0 25 0 1 0 973071535 95981568 19982 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23433 19982 301 301 0 23132 0 vsize: 93732 [startup+450.014 s] Raw data (loadavg): 1.13 1.00 0.93 2/54 18838 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 31529 0 0 0 44714 289 0 0 25 0 1 0 973071535 96251904 20048 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23499 20048 301 301 0 23198 0 vsize: 93996 [startup+460.014 s] Raw data (loadavg): 1.11 1.00 0.93 2/54 18838 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 31562 0 0 0 45710 293 0 0 25 0 1 0 973071535 96251904 20081 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23499 20081 301 301 0 23198 0 vsize: 93996 [startup+470.014 s] Raw data (loadavg): 1.09 1.00 0.93 2/54 18838 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 31621 0 0 0 46706 297 0 0 25 0 1 0 973071535 96534528 20140 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23568 20140 301 301 0 23267 0 vsize: 94272 [startup+480.014 s] Raw data (loadavg): 1.08 1.00 0.93 2/54 18838 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 31656 0 0 0 47702 302 0 0 25 0 1 0 973071535 96534528 20175 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23568 20175 301 301 0 23267 0 vsize: 94272 [startup+490.014 s] Raw data (loadavg): 1.07 1.00 0.93 2/54 18838 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 31752 0 0 0 48696 308 0 0 25 0 1 0 973071535 96997376 20271 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23681 20271 301 301 0 23380 0 vsize: 94724 [startup+500.014 s] Raw data (loadavg): 1.06 1.00 0.93 2/54 18840 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 31831 0 0 0 49691 313 0 0 25 0 1 0 973071535 97275904 20350 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23749 20350 301 301 0 23448 0 vsize: 94996 [startup+510.014 s] Raw data (loadavg): 1.05 1.00 0.93 2/54 18840 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 31910 0 0 0 50685 320 0 0 25 0 1 0 973071535 97579008 20429 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23823 20429 301 301 0 23522 0 vsize: 95292 [startup+520.014 s] Raw data (loadavg): 1.04 1.00 0.93 2/54 18840 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 31961 0 0 0 51680 325 0 0 25 0 1 0 973071535 97890304 20480 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23899 20480 301 301 0 23598 0 vsize: 95596 [startup+530.014 s] Raw data (loadavg): 1.03 1.00 0.93 2/54 18840 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32018 0 0 0 52675 330 0 0 25 0 1 0 973071535 98037760 20537 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23935 20537 301 301 0 23634 0 vsize: 95740 [startup+540.013 s] Raw data (loadavg): 1.03 1.00 0.93 2/54 18840 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32095 0 0 0 53670 335 0 0 25 0 1 0 973071535 98324480 20614 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24005 20614 301 301 0 23704 0 vsize: 96020 [startup+550.013 s] Raw data (loadavg): 1.02 1.00 0.93 2/54 18840 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32165 0 0 0 54664 341 0 0 25 0 1 0 973071535 98619392 20684 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24077 20684 301 301 0 23776 0 vsize: 96308 [startup+560.013 s] Raw data (loadavg): 1.02 1.00 0.93 2/54 18840 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32243 0 0 0 55657 348 0 0 25 0 1 0 973071535 99053568 20762 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24183 20762 301 301 0 23882 0 vsize: 96732 [startup+570.014 s] Raw data (loadavg): 1.02 1.00 0.93 2/54 18840 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32307 0 0 0 56652 353 0 0 25 0 1 0 973071535 99340288 20826 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24253 20826 301 301 0 23952 0 vsize: 97012 [startup+580.014 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 18840 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32357 0 0 0 57648 358 0 0 25 0 1 0 973071535 99487744 20876 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24289 20876 301 301 0 23988 0 vsize: 97156 [startup+590.013 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 18840 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32392 0 0 0 58643 362 0 0 25 0 1 0 973071535 99635200 20911 4294967295 134512640 135730672 3221224576 3221222908 134739224 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24325 20911 301 301 0 24024 0 vsize: 97300 [startup+600.013 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 18840 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32462 0 0 0 59638 368 0 0 25 0 1 0 973071535 99782656 20981 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24361 20981 301 301 0 24060 0 vsize: 97444 [startup+610.013 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 18840 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32506 0 0 0 60633 373 0 0 25 0 1 0 973071535 99930112 21025 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24397 21025 301 301 0 24096 0 vsize: 97588 [startup+620.013 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18840 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32558 0 0 0 61629 377 0 0 25 0 1 0 973071535 100225024 21077 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24469 21077 301 301 0 24168 0 vsize: 97876 [startup+630.013 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18840 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32622 0 0 0 62624 382 0 0 25 0 1 0 973071535 100364288 21141 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24503 21141 301 301 0 24202 0 vsize: 98012 [startup+640.013 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18840 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32691 0 0 0 63619 388 0 0 25 0 1 0 973071535 100659200 21210 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24575 21210 301 301 0 24274 0 vsize: 98300 [startup+650.014 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18840 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32731 0 0 0 64614 393 0 0 25 0 1 0 973071535 100806656 21250 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24611 21250 301 301 0 24310 0 vsize: 98444 [startup+660.013 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18840 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32813 0 0 0 65609 398 0 0 25 0 1 0 973071535 101101568 21332 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24683 21332 301 301 0 24382 0 vsize: 98732 [startup+670.013 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18840 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32855 0 0 0 66604 403 0 0 25 0 1 0 973071535 101249024 21374 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24719 21374 301 301 0 24418 0 vsize: 98876 [startup+680.014 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18840 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32906 0 0 0 67599 409 0 0 25 0 1 0 973071535 101396480 21425 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24755 21425 301 301 0 24454 0 vsize: 99020 [startup+690.013 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18840 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32965 0 0 0 68594 413 0 0 25 0 1 0 973071535 101543936 21484 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24791 21484 301 301 0 24490 0 vsize: 99164 [startup+700.014 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18840 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33011 0 0 0 69589 419 0 0 25 0 1 0 973071535 101683200 21530 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24825 21530 301 301 0 24524 0 vsize: 99300 [startup+710.014 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18840 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33060 0 0 0 70582 426 0 0 25 0 1 0 973071535 101822464 21579 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24859 21579 301 301 0 24558 0 vsize: 99436 [startup+720.015 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18840 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33106 0 0 0 71577 431 0 0 25 0 1 0 973071535 101969920 21625 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24895 21625 301 301 0 24594 0 vsize: 99580 [startup+730.015 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18840 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33143 0 0 0 72572 437 0 0 25 0 1 0 973071535 102117376 21662 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24931 21662 301 301 0 24630 0 vsize: 99724 [startup+740.015 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18840 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33180 0 0 0 73567 442 0 0 25 0 1 0 973071535 102256640 21699 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24965 21699 301 301 0 24664 0 vsize: 99860 [startup+750.016 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18840 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33227 0 0 0 74562 446 0 0 25 0 1 0 973071535 102395904 21746 4294967295 134512640 135730672 3221224576 3221223232 134734837 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24999 21746 301 301 0 24698 0 vsize: 99996 [startup+760.016 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18840 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33262 0 0 0 75558 451 0 0 25 0 1 0 973071535 102531072 21781 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25032 21781 301 301 0 24731 0 vsize: 100128 [startup+770.016 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18840 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33301 0 0 0 76553 457 0 0 25 0 1 0 973071535 102678528 21820 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25068 21820 301 301 0 24767 0 vsize: 100272 [startup+780.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33353 0 0 0 77547 462 0 0 25 0 1 0 973071535 102817792 21872 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25102 21872 301 301 0 24801 0 vsize: 100408 [startup+790.017 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33402 0 0 0 78543 467 0 0 25 0 1 0 973071535 103112704 21921 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25174 21921 301 301 0 24873 0 vsize: 100696 [startup+800.017 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33435 0 0 0 79538 472 0 0 25 0 1 0 973071535 103260160 21954 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25210 21954 301 301 0 24909 0 vsize: 100840 [startup+810.017 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33483 0 0 0 80533 477 0 0 25 0 1 0 973071535 103395328 22002 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25243 22002 301 301 0 24942 0 vsize: 100972 [startup+820.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33517 0 0 0 81527 483 0 0 25 0 1 0 973071535 103530496 22036 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25276 22036 301 301 0 24975 0 vsize: 101104 [startup+830.017 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33554 0 0 0 82522 488 0 0 25 0 1 0 973071535 103669760 22073 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25310 22073 301 301 0 25009 0 vsize: 101240 [startup+840.017 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33607 0 0 0 83516 495 0 0 25 0 1 0 973071535 103948288 22126 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25378 22126 301 301 0 25077 0 vsize: 101512 [startup+850.017 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33652 0 0 0 84510 501 0 0 25 0 1 0 973071535 104095744 22171 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25414 22171 301 301 0 25113 0 vsize: 101656 [startup+860.017 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33705 0 0 0 85505 506 0 0 25 0 1 0 973071535 104259584 22224 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25454 22224 301 301 0 25153 0 vsize: 101816 [startup+870.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33716 0 0 0 86500 511 0 0 25 0 1 0 973071535 104259584 22235 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25454 22235 301 301 0 25153 0 vsize: 101816 [startup+880.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33737 0 0 0 87495 516 0 0 25 0 1 0 973071535 104394752 22256 4294967295 134512640 135730672 3221224576 3221223184 134744732 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25487 22256 301 301 0 25186 0 vsize: 101948 [startup+890.017 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33777 0 0 0 88491 520 0 0 25 0 1 0 973071535 104529920 22296 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25520 22296 301 301 0 25219 0 vsize: 102080 [startup+900.017 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33845 0 0 0 89486 526 0 0 25 0 1 0 973071535 104660992 22364 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25552 22364 301 301 0 25251 0 vsize: 102208 [startup+910.017 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33888 0 0 0 90481 531 0 0 25 0 1 0 973071535 104951808 22407 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25623 22407 301 301 0 25322 0 vsize: 102492 [startup+920.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33911 0 0 0 91477 535 0 0 25 0 1 0 973071535 104951808 22430 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25623 22430 301 301 0 25322 0 vsize: 102492 [startup+930.017 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33940 0 0 0 92472 541 0 0 25 0 1 0 973071535 105115648 22459 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25663 22459 301 301 0 25362 0 vsize: 102652 [startup+940.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33995 0 0 0 93466 546 0 0 25 0 1 0 973071535 105279488 22514 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25703 22514 301 301 0 25402 0 vsize: 102812 [startup+950.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34039 0 0 0 94462 551 0 0 25 0 1 0 973071535 105607168 22558 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25783 22558 301 301 0 25482 0 vsize: 103132 [startup+960.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34045 0 0 0 95458 555 0 0 25 0 1 0 973071535 105607168 22564 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25783 22564 301 301 0 25482 0 vsize: 103132 [startup+970.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34084 0 0 0 96453 560 0 0 25 0 1 0 973071535 105754624 22603 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25819 22603 301 301 0 25518 0 vsize: 103276 [startup+980.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34139 0 0 0 97447 566 0 0 25 0 1 0 973071535 105893888 22658 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25853 22658 301 301 0 25552 0 vsize: 103412 [startup+990.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34170 0 0 0 98442 571 0 0 25 0 1 0 973071535 106033152 22689 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25887 22689 301 301 0 25586 0 vsize: 103548 [startup+1000.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34184 0 0 0 99437 577 0 0 25 0 1 0 973071535 106033152 22703 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25887 22703 301 301 0 25586 0 vsize: 103548 [startup+1010.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34198 0 0 0 100431 583 0 0 25 0 1 0 973071535 106033152 22717 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25887 22717 301 301 0 25586 0 vsize: 103548 [startup+1020.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34216 0 0 0 101426 588 0 0 25 0 1 0 973071535 106172416 22735 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25921 22735 301 301 0 25620 0 vsize: 103684 [startup+1030.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34239 0 0 0 102420 594 0 0 25 0 1 0 973071535 106172416 22758 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25921 22758 301 301 0 25620 0 vsize: 103684 [startup+1040.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34299 0 0 0 103416 599 0 0 25 0 1 0 973071535 106463232 22818 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25992 22818 301 301 0 25691 0 vsize: 103968 [startup+1050.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34311 0 0 0 104410 604 0 0 25 0 1 0 973071535 106463232 22830 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25992 22830 301 301 0 25691 0 vsize: 103968 [startup+1060.02 s] Raw data (loadavg): 1.08 1.02 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34353 0 0 0 105405 609 0 0 25 0 1 0 973071535 106627072 22872 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26032 22872 301 301 0 25731 0 vsize: 104128 [startup+1070.02 s] Raw data (loadavg): 1.07 1.02 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34376 0 0 0 106401 614 0 0 25 0 1 0 973071535 106627072 22895 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26032 22895 301 301 0 25731 0 vsize: 104128 [startup+1080.02 s] Raw data (loadavg): 1.06 1.01 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34411 0 0 0 107396 619 0 0 25 0 1 0 973071535 106770432 22930 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26067 22930 301 301 0 25766 0 vsize: 104268 [startup+1090.02 s] Raw data (loadavg): 1.05 1.01 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34441 0 0 0 108392 623 0 0 25 0 1 0 973071535 106770432 22960 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26067 22960 301 301 0 25766 0 vsize: 104268 [startup+1100.02 s] Raw data (loadavg): 1.04 1.01 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34468 0 0 0 109387 628 0 0 25 0 1 0 973071535 106909696 22987 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26101 22987 301 301 0 25800 0 vsize: 104404 [startup+1110.02 s] Raw data (loadavg): 1.03 1.01 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34493 0 0 0 110382 633 0 0 25 0 1 0 973071535 106909696 23012 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26101 23012 301 301 0 25800 0 vsize: 104404 [startup+1120.02 s] Raw data (loadavg): 1.03 1.01 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34517 0 0 0 111377 639 0 0 25 0 1 0 973071535 107044864 23036 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26134 23036 301 301 0 25833 0 vsize: 104536 [startup+1130.02 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34555 0 0 0 112371 645 0 0 25 0 1 0 973071535 107044864 23074 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26134 23074 301 301 0 25833 0 vsize: 104536 [startup+1140.02 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34569 0 0 0 113365 651 0 0 25 0 1 0 973071535 107044864 23088 4294967295 134512640 135730672 3221224576 3221223224 134748261 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26134 23088 301 301 0 25833 0 vsize: 104536 [startup+1150.02 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34599 0 0 0 114360 657 0 0 25 0 1 0 973071535 107192320 23118 4294967295 134512640 135730672 3221224576 3221223072 134747597 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26170 23118 301 301 0 25869 0 vsize: 104680 [startup+1160.02 s] Raw data (loadavg): 1.01 1.01 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34656 0 0 0 115356 660 0 0 25 0 1 0 973071535 107462656 23175 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26236 23175 301 301 0 25935 0 vsize: 104944 [startup+1170.02 s] Raw data (loadavg): 1.01 1.01 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34674 0 0 0 116349 667 0 0 25 0 1 0 973071535 107462656 23193 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26236 23193 301 301 0 25935 0 vsize: 104944 [startup+1180.02 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34698 0 0 0 117344 673 0 0 25 0 1 0 973071535 107462656 23217 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26236 23217 301 301 0 25935 0 vsize: 104944 [startup+1190.02 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34727 0 0 0 118338 678 0 0 25 0 1 0 973071535 107601920 23246 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26270 23246 301 301 0 25969 0 vsize: 105080 [startup+1200.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 18842 Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34743 0 0 0 119334 683 0 0 25 0 1 0 973071535 107601920 23262 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26270 23262 301 301 0 25969 0 vsize: 105080 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.64 s] Raw data (loadavg): 1.00 1.00 0.93 1/54 18842 Raw data (stat): 18785 (pb2sat-v2) Z 18784 7266 7265 0 -1 12 34745 0 0 0 119390 688 0 0 25 0 1 0 973071535 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): 1200.63 CPU time (s): 1200.79 CPU user time (s): 1193.91 CPU system time (s): 6.88395 CPU usage (%): 100.013 Max. virtual memory (Kb): 105080 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####