Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome11.opb |
MD5SUM | 0bcc00bfe1019c444b568fb7268c455a |
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 | 374066 |
Biggest coefficient in the objective function | 2150851580428025856 |
Number of bits for the biggest coefficient in the objective function | 61 |
Sum of the numbers in the objective function | 1765505311698925125632 |
Number of bits of the sum of numbers in the objective function | 71 |
Biggest number in a constraint | 53687091200000000000 |
Number of bits of the biggest number in a constraint | 66 |
Biggest sum of numbers in a constraint | 4277072243466308681728 |
Number of bits of the biggest sum of numbers | 72 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 6.86596 |
Number of variables | 733406 |
Total number of constraints | 12168 |
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 | 12168 |
Minimum length of a constraint | 13 |
Maximum length of a constraint | 6840 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-06-16 12:02:35 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25807 boxname=wulflinc1 idbench=1107 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 0bcc00bfe1019c444b568fb7268c455a /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-fome11.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-fome11.opb IDLAUNCH: 25807 /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: 505168 kB Buffers: 30632 kB Cached: 473628 kB SwapCached: 1184 kB Active: 83048 kB Inactive: 423528 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 504916 kB SwapTotal: 2097136 kB SwapFree: 2094888 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5364 kB Slab: 16992 kB Committed_AS: 92720 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 12:22:40 (client local time) WITH STATUS 0 IN 1201.23 SECONDS stats: 25807 7 1201.23 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): 0.88 0.94 0.91 2/55 18147 Raw data (stat): 18147 (runsolver) R 18146 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 913752488 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.0001 s] Raw data (loadavg): 0.89 0.94 0.91 2/55 18147 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 2015 0 0 0 994 4 0 0 25 0 1 0 913752488 7553024 1342 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 1844 1342 301 301 0 1543 0 vsize: 7376 [startup+20.0009 s] Raw data (loadavg): 0.91 0.94 0.91 2/55 18147 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 2592 0 0 0 1992 7 0 0 25 0 1 0 913752488 9039872 1909 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 2207 1909 301 301 0 1906 0 vsize: 8828 [startup+30.0007 s] Raw data (loadavg): 0.92 0.94 0.91 2/55 18147 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 3822 0 0 0 2989 10 0 0 25 0 1 0 913752488 13414400 2427 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3275 2427 301 301 0 2974 0 vsize: 13100 [startup+40.0005 s] Raw data (loadavg): 0.93 0.95 0.91 2/55 18147 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 4031 0 0 0 3989 11 0 0 25 0 1 0 913752488 13819904 2631 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3374 2631 301 301 0 3073 0 vsize: 13496 [startup+50.0013 s] Raw data (loadavg): 0.94 0.95 0.91 2/55 18147 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 4308 0 0 0 4988 11 0 0 25 0 1 0 913752488 14495744 2904 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3539 2904 301 301 0 3238 0 vsize: 14156 [startup+60.0011 s] Raw data (loadavg): 0.95 0.95 0.91 2/55 18147 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 4554 0 0 0 5987 13 0 0 25 0 1 0 913752488 15171584 3146 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3704 3146 301 301 0 3403 0 vsize: 14816 [startup+70.0019 s] Raw data (loadavg): 0.96 0.95 0.91 2/55 18147 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 4772 0 0 0 6986 14 0 0 25 0 1 0 913752488 15712256 3360 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3836 3360 301 301 0 3535 0 vsize: 15344 [startup+80.0027 s] Raw data (loadavg): 0.96 0.95 0.91 2/55 18147 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 4971 0 0 0 7985 15 0 0 25 0 1 0 913752488 16252928 3556 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3968 3556 301 301 0 3667 0 vsize: 15872 [startup+90.0024 s] Raw data (loadavg): 0.97 0.95 0.91 2/55 18147 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 5158 0 0 0 8985 16 0 0 25 0 1 0 913752488 16793600 3740 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4100 3740 301 301 0 3799 0 vsize: 16400 [startup+100.002 s] Raw data (loadavg): 0.97 0.95 0.91 2/55 18147 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 5333 0 0 0 9984 17 0 0 25 0 1 0 913752488 17199104 3912 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4199 3912 301 301 0 3898 0 vsize: 16796 [startup+110.002 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 18147 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 5501 0 0 0 10983 17 0 0 25 0 1 0 913752488 17739776 4077 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4331 4077 301 301 0 4030 0 vsize: 17324 [startup+120.003 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 18147 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 7491 0 0 0 11980 21 0 0 25 0 1 0 913752488 25407488 4655 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6203 4655 301 301 0 5902 0 vsize: 24812 [startup+130.003 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 18147 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 7546 0 0 0 12980 21 0 0 25 0 1 0 913752488 25407488 4707 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6203 4707 301 301 0 5902 0 vsize: 24812 [startup+140.002 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 18147 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 7598 0 0 0 13980 21 0 0 25 0 1 0 913752488 25407488 4757 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6203 4757 301 301 0 5902 0 vsize: 24812 [startup+150.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 18147 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 7675 0 0 0 14980 22 0 0 25 0 1 0 913752488 25407488 4832 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6203 4832 301 301 0 5902 0 vsize: 24812 [startup+160.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 18147 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 7724 0 0 0 15979 22 0 0 25 0 1 0 913752488 25407488 4879 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6203 4879 301 301 0 5902 0 vsize: 24812 [startup+170.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 18147 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 7844 0 0 0 16979 23 0 0 25 0 1 0 913752488 25812992 4996 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6302 4996 301 301 0 6001 0 vsize: 25208 [startup+180.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 7976 0 0 0 17979 23 0 0 25 0 1 0 913752488 26083328 5126 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6368 5126 301 301 0 6067 0 vsize: 25472 [startup+190.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 8103 0 0 0 18979 24 0 0 25 0 1 0 913752488 26488832 5251 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6467 5251 301 301 0 6166 0 vsize: 25868 [startup+200.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 8228 0 0 0 19978 24 0 0 25 0 1 0 913752488 26759168 5374 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6533 5374 301 301 0 6232 0 vsize: 26132 [startup+210.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 8349 0 0 0 20978 24 0 0 25 0 1 0 913752488 27164672 5493 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6632 5493 301 301 0 6331 0 vsize: 26528 [startup+220.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 8467 0 0 0 21977 25 0 0 25 0 1 0 913752488 27435008 5609 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6698 5609 301 301 0 6397 0 vsize: 26792 [startup+230.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 8584 0 0 0 22977 25 0 0 25 0 1 0 913752488 27705344 5724 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6764 5724 301 301 0 6463 0 vsize: 27056 [startup+240.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 8697 0 0 0 23977 25 0 0 25 0 1 0 913752488 27975680 5836 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6830 5836 301 301 0 6529 0 vsize: 27320 [startup+250.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 8811 0 0 0 24977 25 0 0 25 0 1 0 913752488 28381184 5948 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6929 5948 301 301 0 6628 0 vsize: 27716 [startup+260.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 8921 0 0 0 25977 26 0 0 25 0 1 0 913752488 28651520 6056 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6995 6056 301 301 0 6694 0 vsize: 27980 [startup+270.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 9029 0 0 0 26977 26 0 0 25 0 1 0 913752488 28921856 6162 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7061 6162 301 301 0 6760 0 vsize: 28244 [startup+280.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 9132 0 0 0 27976 27 0 0 25 0 1 0 913752488 29192192 6264 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7127 6264 301 301 0 6826 0 vsize: 28508 [startup+290.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 9238 0 0 0 28976 27 0 0 25 0 1 0 913752488 29462528 6368 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7193 6368 301 301 0 6892 0 vsize: 28772 [startup+300.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 9341 0 0 0 29976 27 0 0 25 0 1 0 913752488 29732864 6469 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7259 6469 301 301 0 6958 0 vsize: 29036 [startup+310.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 9441 0 0 0 30975 28 0 0 25 0 1 0 913752488 30003200 6568 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7325 6568 301 301 0 7024 0 vsize: 29300 [startup+320.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 9541 0 0 0 31975 28 0 0 25 0 1 0 913752488 30273536 6666 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7391 6666 301 301 0 7090 0 vsize: 29564 [startup+330.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 9640 0 0 0 32974 28 0 0 25 0 1 0 913752488 30543872 6763 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7457 6763 301 301 0 7156 0 vsize: 29828 [startup+340.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 9736 0 0 0 33974 29 0 0 25 0 1 0 913752488 30814208 6858 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7523 6858 301 301 0 7222 0 vsize: 30092 [startup+350.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 9832 0 0 0 34974 29 0 0 25 0 1 0 913752488 31084544 6952 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7589 6952 301 301 0 7288 0 vsize: 30356 [startup+360.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 9925 0 0 0 35974 30 0 0 25 0 1 0 913752488 31219712 7044 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7622 7044 301 301 0 7321 0 vsize: 30488 [startup+370.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 10018 0 0 0 36973 30 0 0 25 0 1 0 913752488 31490048 7135 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7688 7135 301 301 0 7387 0 vsize: 30752 [startup+380.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 10109 0 0 0 37973 30 0 0 25 0 1 0 913752488 31760384 7225 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7754 7225 301 301 0 7453 0 vsize: 31016 [startup+390.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 10201 0 0 0 38973 30 0 0 25 0 1 0 913752488 32030720 7315 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7820 7315 301 301 0 7519 0 vsize: 31280 [startup+400.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 10289 0 0 0 39973 31 0 0 25 0 1 0 913752488 32165888 7402 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7853 7402 301 301 0 7552 0 vsize: 31412 [startup+410.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 10379 0 0 0 40973 31 0 0 25 0 1 0 913752488 32436224 7490 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7919 7490 301 301 0 7618 0 vsize: 31676 [startup+420.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 10465 0 0 0 41972 32 0 0 25 0 1 0 913752488 32706560 7575 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7985 7575 301 301 0 7684 0 vsize: 31940 [startup+430.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 10551 0 0 0 42972 32 0 0 25 0 1 0 913752488 32976896 7660 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8051 7660 301 301 0 7750 0 vsize: 32204 [startup+440.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 10637 0 0 0 43972 33 0 0 25 0 1 0 913752488 33112064 7744 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8084 7744 301 301 0 7783 0 vsize: 32336 [startup+450.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 10722 0 0 0 44972 33 0 0 25 0 1 0 913752488 33382400 7828 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8150 7828 301 301 0 7849 0 vsize: 32600 [startup+460.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 10804 0 0 0 45972 33 0 0 25 0 1 0 913752488 33652736 7909 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8216 7909 301 301 0 7915 0 vsize: 32864 [startup+470.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 10888 0 0 0 46971 33 0 0 25 0 1 0 913752488 33787904 7991 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8249 7991 301 301 0 7948 0 vsize: 32996 [startup+480.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 14763 0 0 0 47963 42 0 0 25 0 1 0 913752488 51359744 9560 4294967295 134512640 135730672 3221224576 3221221504 134608797 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12539 9561 301 301 0 12238 0 vsize: 50156 [startup+490.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 14835 0 0 0 48962 43 0 0 25 0 1 0 913752488 49258496 9118 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9118 301 301 0 11725 0 vsize: 48104 [startup+500.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 14864 0 0 0 49963 43 0 0 25 0 1 0 913752488 49258496 9145 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9145 301 301 0 11725 0 vsize: 48104 [startup+510.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 14891 0 0 0 50963 43 0 0 25 0 1 0 913752488 49258496 9171 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9171 301 301 0 11725 0 vsize: 48104 [startup+520.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 14919 0 0 0 51962 43 0 0 25 0 1 0 913752488 49258496 9198 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9198 301 301 0 11725 0 vsize: 48104 [startup+530.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 14946 0 0 0 52962 43 0 0 25 0 1 0 913752488 49258496 9224 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9224 301 301 0 11725 0 vsize: 48104 [startup+540.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 14974 0 0 0 53962 43 0 0 25 0 1 0 913752488 49258496 9250 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9250 301 301 0 11725 0 vsize: 48104 [startup+550.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 15001 0 0 0 54962 43 0 0 25 0 1 0 913752488 49258496 9276 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9276 301 301 0 11725 0 vsize: 48104 [startup+560.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 15028 0 0 0 55962 43 0 0 25 0 1 0 913752488 49258496 9302 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9302 301 301 0 11725 0 vsize: 48104 [startup+570.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 15055 0 0 0 56962 44 0 0 25 0 1 0 913752488 49258496 9328 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9328 301 301 0 11725 0 vsize: 48104 [startup+580.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 15081 0 0 0 57961 44 0 0 25 0 1 0 913752488 49258496 9353 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9353 301 301 0 11725 0 vsize: 48104 [startup+590.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 15108 0 0 0 58961 45 0 0 25 0 1 0 913752488 49258496 9378 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9378 301 301 0 11725 0 vsize: 48104 [startup+600.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 15134 0 0 0 59961 45 0 0 25 0 1 0 913752488 49258496 9403 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9403 301 301 0 11725 0 vsize: 48104 [startup+610.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 15162 0 0 0 60961 45 0 0 25 0 1 0 913752488 49258496 9430 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9430 301 301 0 11725 0 vsize: 48104 [startup+620.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 15210 0 0 0 61961 45 0 0 25 0 1 0 913752488 49258496 9477 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9477 301 301 0 11725 0 vsize: 48104 [startup+630.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 15236 0 0 0 62961 45 0 0 25 0 1 0 913752488 49258496 9502 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9502 301 301 0 11725 0 vsize: 48104 [startup+640.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 15261 0 0 0 63960 46 0 0 25 0 1 0 913752488 49258496 9526 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9526 301 301 0 11725 0 vsize: 48104 [startup+650.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 15286 0 0 0 64959 46 0 0 25 0 1 0 913752488 49258496 9549 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9549 301 301 0 11725 0 vsize: 48104 [startup+660.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 15312 0 0 0 65959 46 0 0 25 0 1 0 913752488 49258496 9574 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9574 301 301 0 11725 0 vsize: 48104 [startup+670.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 15336 0 0 0 66959 46 0 0 25 0 1 0 913752488 49258496 9597 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9597 301 301 0 11725 0 vsize: 48104 [startup+680.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 15400 0 0 0 67959 47 0 0 25 0 1 0 913752488 49528832 9660 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12092 9660 301 301 0 11791 0 vsize: 48368 [startup+690.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 15467 0 0 0 68959 47 0 0 25 0 1 0 913752488 49664000 9726 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12125 9726 301 301 0 11824 0 vsize: 48500 [startup+700.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 15535 0 0 0 69958 47 0 0 25 0 1 0 913752488 49799168 9793 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12158 9793 301 301 0 11857 0 vsize: 48632 [startup+710.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 15603 0 0 0 70958 48 0 0 25 0 1 0 913752488 50069504 9860 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12224 9860 301 301 0 11923 0 vsize: 48896 [startup+720.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 15670 0 0 0 71959 48 0 0 25 0 1 0 913752488 50204672 9926 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12257 9926 301 301 0 11956 0 vsize: 49028 [startup+730.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 15736 0 0 0 72959 48 0 0 25 0 1 0 913752488 50339840 9991 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12290 9991 301 301 0 11989 0 vsize: 49160 [startup+740.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 15802 0 0 0 73958 48 0 0 25 0 1 0 913752488 50610176 10056 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12356 10056 301 301 0 12055 0 vsize: 49424 [startup+750.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 15869 0 0 0 74958 48 0 0 25 0 1 0 913752488 50745344 10121 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12389 10121 301 301 0 12088 0 vsize: 49556 [startup+760.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 15934 0 0 0 75958 49 0 0 25 0 1 0 913752488 50880512 10185 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12422 10185 301 301 0 12121 0 vsize: 49688 [startup+770.017 s] Raw data (loadavg): 0.99 0.97 0.91 3/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 15999 0 0 0 76957 49 0 0 25 0 1 0 913752488 51015680 10249 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12455 10249 301 301 0 12154 0 vsize: 49820 [startup+780.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 16063 0 0 0 77958 49 0 0 25 0 1 0 913752488 51286016 10312 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12521 10312 301 301 0 12220 0 vsize: 50084 [startup+790.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 16128 0 0 0 78957 50 0 0 25 0 1 0 913752488 51421184 10376 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12554 10376 301 301 0 12253 0 vsize: 50216 [startup+800.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 16192 0 0 0 79958 50 0 0 25 0 1 0 913752488 51556352 10439 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12587 10439 301 301 0 12286 0 vsize: 50348 [startup+810.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 16255 0 0 0 80958 50 0 0 25 0 1 0 913752488 51691520 10501 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12620 10501 301 301 0 12319 0 vsize: 50480 [startup+820.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 16317 0 0 0 81957 50 0 0 25 0 1 0 913752488 51961856 10562 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12686 10562 301 301 0 12385 0 vsize: 50744 [startup+830.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 16379 0 0 0 82956 51 0 0 25 0 1 0 913752488 52097024 10623 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12719 10623 301 301 0 12418 0 vsize: 50876 [startup+840.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 16442 0 0 0 83956 51 0 0 25 0 1 0 913752488 52232192 10685 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12752 10685 301 301 0 12451 0 vsize: 51008 [startup+850.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 16503 0 0 0 84956 52 0 0 25 0 1 0 913752488 52367360 10745 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12785 10745 301 301 0 12484 0 vsize: 51140 [startup+860.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 16565 0 0 0 85956 52 0 0 25 0 1 0 913752488 52502528 10806 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12818 10806 301 301 0 12517 0 vsize: 51272 [startup+870.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 16626 0 0 0 86956 52 0 0 25 0 1 0 913752488 52772864 10866 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12884 10866 301 301 0 12583 0 vsize: 51536 [startup+880.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 16688 0 0 0 87956 52 0 0 25 0 1 0 913752488 52908032 10927 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12917 10927 301 301 0 12616 0 vsize: 51668 [startup+890.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 16746 0 0 0 88956 52 0 0 25 0 1 0 913752488 53043200 10984 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12950 10984 301 301 0 12649 0 vsize: 51800 [startup+900.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 16807 0 0 0 89955 53 0 0 25 0 1 0 913752488 53178368 11044 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12983 11044 301 301 0 12682 0 vsize: 51932 [startup+910.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 16866 0 0 0 90955 53 0 0 25 0 1 0 913752488 53313536 11102 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13016 11102 301 301 0 12715 0 vsize: 52064 [startup+920.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 16926 0 0 0 91955 54 0 0 25 0 1 0 913752488 53583872 11161 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13082 11161 301 301 0 12781 0 vsize: 52328 [startup+930.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 16985 0 0 0 92955 54 0 0 25 0 1 0 913752488 53719040 11219 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13115 11219 301 301 0 12814 0 vsize: 52460 [startup+940.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 17045 0 0 0 93955 54 0 0 25 0 1 0 913752488 53854208 11278 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13148 11278 301 301 0 12847 0 vsize: 52592 [startup+950.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 17102 0 0 0 94954 54 0 0 25 0 1 0 913752488 53989376 11335 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13181 11335 301 301 0 12880 0 vsize: 52724 [startup+960.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 17160 0 0 0 95954 54 0 0 25 0 1 0 913752488 54124544 11392 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13214 11392 301 301 0 12913 0 vsize: 52856 [startup+970.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 17217 0 0 0 96954 55 0 0 25 0 1 0 913752488 54259712 11448 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13247 11448 301 301 0 12946 0 vsize: 52988 [startup+980.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 17276 0 0 0 97954 55 0 0 25 0 1 0 913752488 54394880 11506 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13280 11506 301 301 0 12979 0 vsize: 53120 [startup+990.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 17333 0 0 0 98954 55 0 0 25 0 1 0 913752488 54530048 11562 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13313 11562 301 301 0 13012 0 vsize: 53252 [startup+1000.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 17391 0 0 0 99954 56 0 0 25 0 1 0 913752488 54800384 11619 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13379 11619 301 301 0 13078 0 vsize: 53516 [startup+1010.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 17447 0 0 0 100954 56 0 0 25 0 1 0 913752488 54935552 11674 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13412 11674 301 301 0 13111 0 vsize: 53648 [startup+1020.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 17504 0 0 0 101954 56 0 0 25 0 1 0 913752488 55070720 11730 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13445 11730 301 301 0 13144 0 vsize: 53780 [startup+1030.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 17560 0 0 0 102953 56 0 0 25 0 1 0 913752488 55205888 11785 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13478 11785 301 301 0 13177 0 vsize: 53912 [startup+1040.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 17616 0 0 0 103953 57 0 0 25 0 1 0 913752488 55341056 11840 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13511 11840 301 301 0 13210 0 vsize: 54044 [startup+1050.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 17672 0 0 0 104953 57 0 0 25 0 1 0 913752488 55476224 11895 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13544 11895 301 301 0 13243 0 vsize: 54176 [startup+1060.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 17728 0 0 0 105953 58 0 0 25 0 1 0 913752488 55611392 11950 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13577 11950 301 301 0 13276 0 vsize: 54308 [startup+1070.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 17781 0 0 0 106953 58 0 0 25 0 1 0 913752488 55746560 12003 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13610 12003 301 301 0 13309 0 vsize: 54440 [startup+1080.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 17836 0 0 0 107952 58 0 0 25 0 1 0 913752488 55881728 12057 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13643 12057 301 301 0 13342 0 vsize: 54572 [startup+1090.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 17890 0 0 0 108951 58 0 0 25 0 1 0 913752488 56016896 12110 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13676 12110 301 301 0 13375 0 vsize: 54704 [startup+1100.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 17945 0 0 0 109951 58 0 0 25 0 1 0 913752488 56152064 12164 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13709 12164 301 301 0 13408 0 vsize: 54836 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 17998 0 0 0 110951 58 0 0 25 0 1 0 913752488 56287232 12216 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13742 12216 301 301 0 13441 0 vsize: 54968 [startup+1120.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 18053 0 0 0 111951 58 0 0 25 0 1 0 913752488 56557568 12270 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13808 12270 301 301 0 13507 0 vsize: 55232 [startup+1130.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 18106 0 0 0 112951 58 0 0 25 0 1 0 913752488 56692736 12322 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13841 12322 301 301 0 13540 0 vsize: 55364 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 18158 0 0 0 113950 59 0 0 25 0 1 0 913752488 56827904 12374 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13874 12374 301 301 0 13573 0 vsize: 55496 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 18211 0 0 0 114950 59 0 0 25 0 1 0 913752488 56963072 12426 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13907 12426 301 301 0 13606 0 vsize: 55628 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 18264 0 0 0 115950 59 0 0 25 0 1 0 913752488 57098240 12478 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13940 12478 301 301 0 13639 0 vsize: 55760 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 18318 0 0 0 116950 59 0 0 25 0 1 0 913752488 57233408 12531 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13973 12531 301 301 0 13672 0 vsize: 55892 [startup+1180.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 18370 0 0 0 117950 59 0 0 25 0 1 0 913752488 57368576 12582 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14006 12582 301 301 0 13705 0 vsize: 56024 [startup+1190.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 18423 0 0 0 118950 60 0 0 25 0 1 0 913752488 57503744 12634 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14039 12634 301 301 0 13738 0 vsize: 56156 [startup+1200.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18149 Raw data (stat): 18147 (pb2sat-v2) R 18146 8378 8377 0 -1 0 18475 0 0 0 119949 60 0 0 25 0 1 0 913752488 57638912 12685 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14072 12685 301 301 0 13771 0 vsize: 56288 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1201.17 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 18149 Raw data (stat): 18147 (pb2sat-v2) Z 18146 8378 8377 0 -1 12 18479 0 0 0 120060 63 0 0 25 0 1 0 913752488 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.23 CPU user time (s): 1200.6 CPU system time (s): 0.633903 CPU usage (%): 100.005 Max. virtual memory (Kb): 56288 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####