Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos9.opb |
MD5SUM | 44b9f0f81a9b533b0f9e0fd187bafc3d |
Bench Category | optimization, medium integers (OPTMEDINT) |
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 | 198658 |
Biggest coefficient in the objective function | 1024 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 38727219 |
Number of bits of the sum of numbers in the objective function | 26 |
Biggest number in a constraint | 30720 |
Number of bits of the biggest number in a constraint | 15 |
Biggest sum of numbers in a constraint | 38727219 |
Number of bits of the biggest sum of numbers | 26 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 8.39472 |
Number of variables | 874498 |
Total number of constraints | 113008 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 2186 |
Number of constraints which are nor clauses,nor cardinality constraints | 110822 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 14080 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-06-16 12:53:07 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25836 boxname=wulflinc6 idbench=1136 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 44b9f0f81a9b533b0f9e0fd187bafc3d /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-neos9.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-neos9.opb IDLAUNCH: 25836 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 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.042 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: 501016 kB Buffers: 33928 kB Cached: 476404 kB SwapCached: 1028 kB Active: 108632 kB Inactive: 403876 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 500764 kB SwapTotal: 2097136 kB SwapFree: 2095200 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5092 kB Slab: 15476 kB Committed_AS: 63844 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 13:13:11 (client local time) WITH STATUS 0 IN 1202.55 SECONDS stats: 25836 7 1202.55 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.97 0.91 1/54 19897 Raw data (stat): 19897 (runsolver) R 19896 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970911915 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.0003 s] Raw data (loadavg): 1.01 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 999 0 0 0 996 3 0 0 25 0 1 0 970911915 4554752 691 4294967295 134512640 135730672 3221224576 3221221504 134540871 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 1112 691 301 301 0 811 0 vsize: 4448 [startup+20.0015 s] Raw data (loadavg): 1.01 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 2330 0 0 0 1994 6 0 0 25 0 1 0 970911915 8364032 1652 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2042 1652 301 301 0 1741 0 vsize: 8168 [startup+30.0021 s] Raw data (loadavg): 1.01 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 3763 0 0 0 2991 9 0 0 25 0 1 0 970911915 13414400 2371 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3275 2371 301 301 0 2974 0 vsize: 13100 [startup+40.0027 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 3900 0 0 0 3991 9 0 0 25 0 1 0 970911915 13414400 2502 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3275 2502 301 301 0 2974 0 vsize: 13100 [startup+50.0028 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 4178 0 0 0 4991 10 0 0 25 0 1 0 970911915 14225408 2776 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3473 2776 301 301 0 3172 0 vsize: 13892 [startup+60.0034 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 4429 0 0 0 5991 10 0 0 25 0 1 0 970911915 14901248 3023 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3638 3023 301 301 0 3337 0 vsize: 14552 [startup+70.0031 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 4652 0 0 0 6991 11 0 0 25 0 1 0 970911915 15441920 3242 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3770 3242 301 301 0 3469 0 vsize: 15080 [startup+80.0033 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 4857 0 0 0 7990 12 0 0 25 0 1 0 970911915 15982592 3444 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3902 3444 301 301 0 3601 0 vsize: 15608 [startup+90.0038 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 5046 0 0 0 8990 12 0 0 25 0 1 0 970911915 16523264 3630 4294967295 134512640 135730672 3221224576 3221221776 134577534 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4034 3630 301 301 0 3733 0 vsize: 16136 [startup+100.004 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 5225 0 0 0 9989 13 0 0 25 0 1 0 970911915 16928768 3806 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4133 3806 301 301 0 3832 0 vsize: 16532 [startup+110.004 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 5396 0 0 0 10989 13 0 0 25 0 1 0 970911915 17469440 3974 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4265 3974 301 301 0 3964 0 vsize: 17060 [startup+120.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 7457 0 0 0 11983 20 0 0 25 0 1 0 970911915 25407488 4622 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6203 4622 301 301 0 5902 0 vsize: 24812 [startup+130.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 7512 0 0 0 12983 20 0 0 25 0 1 0 970911915 25407488 4675 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6203 4675 301 301 0 5902 0 vsize: 24812 [startup+140.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 7565 0 0 0 13983 20 0 0 25 0 1 0 970911915 25407488 4726 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6203 4726 301 301 0 5902 0 vsize: 24812 [startup+150.007 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 7617 0 0 0 14983 20 0 0 25 0 1 0 970911915 25407488 4775 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6203 4775 301 301 0 5902 0 vsize: 24812 [startup+160.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 7694 0 0 0 15984 20 0 0 25 0 1 0 970911915 25407488 4850 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6203 4850 301 301 0 5902 0 vsize: 24812 [startup+170.007 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 7760 0 0 0 16984 21 0 0 25 0 1 0 970911915 25542656 4914 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6236 4914 301 301 0 5935 0 vsize: 24944 [startup+180.007 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 7891 0 0 0 17984 21 0 0 25 0 1 0 970911915 25948160 5043 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6335 5043 301 301 0 6034 0 vsize: 25340 [startup+190.008 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 8020 0 0 0 18984 21 0 0 25 0 1 0 970911915 26218496 5170 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6401 5170 301 301 0 6100 0 vsize: 25604 [startup+200.008 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 8148 0 0 0 19983 22 0 0 25 0 1 0 970911915 26624000 5295 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6500 5295 301 301 0 6199 0 vsize: 26000 [startup+210.009 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 8272 0 0 0 20983 22 0 0 25 0 1 0 970911915 26894336 5417 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6566 5417 301 301 0 6265 0 vsize: 26264 [startup+220.009 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 8392 0 0 0 21981 23 0 0 25 0 1 0 970911915 27164672 5536 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6632 5536 301 301 0 6331 0 vsize: 26528 [startup+230.01 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 8510 0 0 0 22982 23 0 0 25 0 1 0 970911915 27570176 5652 4294967295 134512640 135730672 3221224576 3221221580 135291218 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6731 5652 301 301 0 6430 0 vsize: 26924 [startup+240.01 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 8627 0 0 0 23982 24 0 0 25 0 1 0 970911915 27840512 5767 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6797 5767 301 301 0 6496 0 vsize: 27188 [startup+250.01 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 8741 0 0 0 24981 24 0 0 25 0 1 0 970911915 28110848 5879 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6863 5879 301 301 0 6562 0 vsize: 27452 [startup+260.01 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 8852 0 0 0 25981 25 0 0 25 0 1 0 970911915 28381184 5988 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6929 5988 301 301 0 6628 0 vsize: 27716 [startup+270.01 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 8961 0 0 0 26981 25 0 0 25 0 1 0 970911915 28786688 6095 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7028 6095 301 301 0 6727 0 vsize: 28112 [startup+280.01 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 9066 0 0 0 27981 25 0 0 25 0 1 0 970911915 29057024 6199 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7094 6199 301 301 0 6793 0 vsize: 28376 [startup+290.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 9172 0 0 0 28981 26 0 0 25 0 1 0 970911915 29327360 6303 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7160 6303 301 301 0 6859 0 vsize: 28640 [startup+300.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 9274 0 0 0 29981 26 0 0 25 0 1 0 970911915 29597696 6403 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7226 6403 301 301 0 6925 0 vsize: 28904 [startup+310.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 9376 0 0 0 30981 27 0 0 25 0 1 0 970911915 29868032 6504 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7292 6504 301 301 0 6991 0 vsize: 29168 [startup+320.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 9475 0 0 0 31980 27 0 0 25 0 1 0 970911915 30138368 6601 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7358 6601 301 301 0 7057 0 vsize: 29432 [startup+330.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 9574 0 0 0 32981 27 0 0 25 0 1 0 970911915 30273536 6698 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7391 6698 301 301 0 7090 0 vsize: 29564 [startup+340.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 9671 0 0 0 33981 28 0 0 25 0 1 0 970911915 30543872 6794 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7457 6794 301 301 0 7156 0 vsize: 29828 [startup+350.012 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 9767 0 0 0 34981 28 0 0 25 0 1 0 970911915 30814208 6888 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7523 6888 301 301 0 7222 0 vsize: 30092 [startup+360.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 9860 0 0 0 35981 28 0 0 25 0 1 0 970911915 31084544 6980 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7589 6980 301 301 0 7288 0 vsize: 30356 [startup+370.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 9953 0 0 0 36981 28 0 0 25 0 1 0 970911915 31354880 7071 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7655 7071 301 301 0 7354 0 vsize: 30620 [startup+380.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 10044 0 0 0 37981 29 0 0 25 0 1 0 970911915 31625216 7161 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7721 7161 301 301 0 7420 0 vsize: 30884 [startup+390.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 10136 0 0 0 38981 29 0 0 25 0 1 0 970911915 31760384 7251 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7754 7251 301 301 0 7453 0 vsize: 31016 [startup+400.014 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 10225 0 0 0 39981 29 0 0 25 0 1 0 970911915 32030720 7339 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7820 7339 301 301 0 7519 0 vsize: 31280 [startup+410.015 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 19897 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 10312 0 0 0 40981 30 0 0 25 0 1 0 970911915 32301056 7425 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7886 7425 301 301 0 7585 0 vsize: 31544 [startup+420.014 s] Raw data (loadavg): 1.08 0.99 0.92 3/57 19946 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 10401 0 0 0 41980 31 0 0 25 0 1 0 970911915 32571392 7512 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7952 7512 301 301 0 7651 0 vsize: 31808 [startup+430.016 s] Raw data (loadavg): 1.07 0.99 0.92 2/54 19950 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 10488 0 0 0 42980 31 0 0 25 0 1 0 970911915 32706560 7598 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7985 7598 301 301 0 7684 0 vsize: 31940 [startup+440.016 s] Raw data (loadavg): 1.06 0.99 0.92 2/54 19950 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 10575 0 0 0 43979 32 0 0 25 0 1 0 970911915 32976896 7683 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8051 7683 301 301 0 7750 0 vsize: 32204 [startup+450.016 s] Raw data (loadavg): 1.05 0.99 0.92 2/54 19950 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 10660 0 0 0 44979 32 0 0 25 0 1 0 970911915 33247232 7767 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8117 7767 301 301 0 7816 0 vsize: 32468 [startup+460.017 s] Raw data (loadavg): 1.04 0.99 0.92 2/54 19950 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 10743 0 0 0 45979 33 0 0 25 0 1 0 970911915 33382400 7849 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8150 7849 301 301 0 7849 0 vsize: 32600 [startup+470.019 s] Raw data (loadavg): 1.03 0.99 0.92 2/54 19950 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 10828 0 0 0 46979 33 0 0 25 0 1 0 970911915 33652736 7932 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8216 7932 301 301 0 7915 0 vsize: 32864 [startup+480.019 s] Raw data (loadavg): 1.03 0.99 0.92 2/54 19950 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 10909 0 0 0 47980 33 0 0 25 0 1 0 970911915 33923072 8012 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8282 8012 301 301 0 7981 0 vsize: 33128 [startup+490.018 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 19952 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 14813 0 0 0 48972 40 0 0 25 0 1 0 970911915 49258496 9097 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9097 301 301 0 11725 0 vsize: 48104 [startup+500.02 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 19952 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 14843 0 0 0 49973 41 0 0 25 0 1 0 970911915 49258496 9125 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9125 301 301 0 11725 0 vsize: 48104 [startup+510.02 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 19952 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 14871 0 0 0 50972 41 0 0 25 0 1 0 970911915 49258496 9152 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9152 301 301 0 11725 0 vsize: 48104 [startup+520.021 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 19952 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 14898 0 0 0 51971 42 0 0 25 0 1 0 970911915 49258496 9178 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9178 301 301 0 11725 0 vsize: 48104 [startup+530.021 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 19952 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 14926 0 0 0 52971 42 0 0 25 0 1 0 970911915 49258496 9205 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9205 301 301 0 11725 0 vsize: 48104 [startup+540.023 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 19952 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 14954 0 0 0 53972 42 0 0 25 0 1 0 970911915 49258496 9231 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9231 301 301 0 11725 0 vsize: 48104 [startup+550.022 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 19952 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 14981 0 0 0 54972 42 0 0 25 0 1 0 970911915 49258496 9257 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9257 301 301 0 11725 0 vsize: 48104 [startup+560.022 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19952 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15008 0 0 0 55972 42 0 0 25 0 1 0 970911915 49258496 9283 4294967295 134512640 135730672 3221224576 3221221888 134569051 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9283 301 301 0 11725 0 vsize: 48104 [startup+570.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19952 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15035 0 0 0 56973 42 0 0 25 0 1 0 970911915 49258496 9309 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9309 301 301 0 11725 0 vsize: 48104 [startup+580.031 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19952 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15062 0 0 0 57973 42 0 0 25 0 1 0 970911915 49258496 9334 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9334 301 301 0 11725 0 vsize: 48104 [startup+590.031 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19952 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15089 0 0 0 58973 43 0 0 25 0 1 0 970911915 49258496 9360 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9360 301 301 0 11725 0 vsize: 48104 [startup+600.031 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19952 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15115 0 0 0 59973 43 0 0 25 0 1 0 970911915 49258496 9385 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9385 301 301 0 11725 0 vsize: 48104 [startup+610.032 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19952 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15140 0 0 0 60974 43 0 0 25 0 1 0 970911915 49258496 9409 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9409 301 301 0 11725 0 vsize: 48104 [startup+620.032 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19952 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15176 0 0 0 61974 43 0 0 25 0 1 0 970911915 49258496 9444 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9444 301 301 0 11725 0 vsize: 48104 [startup+630.033 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19952 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15219 0 0 0 62974 43 0 0 25 0 1 0 970911915 49258496 9485 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9485 301 301 0 11725 0 vsize: 48104 [startup+640.034 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19952 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15244 0 0 0 63974 43 0 0 25 0 1 0 970911915 49258496 9509 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9509 301 301 0 11725 0 vsize: 48104 [startup+650.034 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19952 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15269 0 0 0 64974 43 0 0 25 0 1 0 970911915 49258496 9533 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9533 301 301 0 11725 0 vsize: 48104 [startup+660.034 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19952 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15293 0 0 0 65974 43 0 0 25 0 1 0 970911915 49258496 9556 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9556 301 301 0 11725 0 vsize: 48104 [startup+670.034 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19952 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15319 0 0 0 66974 43 0 0 25 0 1 0 970911915 49258496 9581 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9581 301 301 0 11725 0 vsize: 48104 [startup+680.035 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19952 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15351 0 0 0 67975 43 0 0 25 0 1 0 970911915 49393664 9612 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12059 9612 301 301 0 11758 0 vsize: 48236 [startup+690.036 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19952 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15421 0 0 0 68975 43 0 0 25 0 1 0 970911915 49528832 9681 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12092 9681 301 301 0 11791 0 vsize: 48368 [startup+700.036 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19952 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15488 0 0 0 69974 44 0 0 25 0 1 0 970911915 49664000 9747 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12125 9747 301 301 0 11824 0 vsize: 48500 [startup+710.037 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19952 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15557 0 0 0 70974 44 0 0 25 0 1 0 970911915 49934336 9814 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12191 9814 301 301 0 11890 0 vsize: 48764 [startup+720.038 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19952 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15624 0 0 0 71975 44 0 0 25 0 1 0 970911915 50069504 9880 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12224 9880 301 301 0 11923 0 vsize: 48896 [startup+730.039 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15691 0 0 0 72975 44 0 0 25 0 1 0 970911915 50204672 9946 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12257 9946 301 301 0 11956 0 vsize: 49028 [startup+740.039 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15758 0 0 0 73975 45 0 0 25 0 1 0 970911915 50475008 10012 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12323 10012 301 301 0 12022 0 vsize: 49292 [startup+750.041 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15824 0 0 0 74975 45 0 0 25 0 1 0 970911915 50610176 10077 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12356 10077 301 301 0 12055 0 vsize: 49424 [startup+760.041 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15889 0 0 0 75975 45 0 0 25 0 1 0 970911915 50745344 10141 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12389 10141 301 301 0 12088 0 vsize: 49556 [startup+770.042 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15954 0 0 0 76974 46 0 0 25 0 1 0 970911915 51015680 10205 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12455 10205 301 301 0 12154 0 vsize: 49820 [startup+780.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 16020 0 0 0 77975 46 0 0 25 0 1 0 970911915 51150848 10270 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12488 10270 301 301 0 12187 0 vsize: 49952 [startup+790.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 16084 0 0 0 78975 46 0 0 25 0 1 0 970911915 51286016 10333 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12521 10333 301 301 0 12220 0 vsize: 50084 [startup+800.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 16148 0 0 0 79975 46 0 0 25 0 1 0 970911915 51421184 10396 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12554 10396 301 301 0 12253 0 vsize: 50216 [startup+810.043 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 16211 0 0 0 80975 47 0 0 25 0 1 0 970911915 51691520 10458 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12620 10458 301 301 0 12319 0 vsize: 50480 [startup+820.044 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 16275 0 0 0 81975 47 0 0 25 0 1 0 970911915 51826688 10521 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12653 10521 301 301 0 12352 0 vsize: 50612 [startup+830.045 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 16337 0 0 0 82975 47 0 0 25 0 1 0 970911915 51961856 10582 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12686 10582 301 301 0 12385 0 vsize: 50744 [startup+840.045 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 16400 0 0 0 83975 47 0 0 25 0 1 0 970911915 52097024 10644 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12719 10644 301 301 0 12418 0 vsize: 50876 [startup+850.046 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 16462 0 0 0 84975 47 0 0 25 0 1 0 970911915 52232192 10705 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12752 10705 301 301 0 12451 0 vsize: 51008 [startup+860.046 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 16524 0 0 0 85975 48 0 0 25 0 1 0 970911915 52502528 10766 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12818 10766 301 301 0 12517 0 vsize: 51272 [startup+870.046 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 16585 0 0 0 86975 48 0 0 25 0 1 0 970911915 52637696 10826 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12851 10826 301 301 0 12550 0 vsize: 51404 [startup+880.046 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 16647 0 0 0 87975 49 0 0 25 0 1 0 970911915 52772864 10887 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12884 10887 301 301 0 12583 0 vsize: 51536 [startup+890.048 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 16707 0 0 0 88975 49 0 0 25 0 1 0 970911915 52908032 10946 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12917 10946 301 301 0 12616 0 vsize: 51668 [startup+900.048 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 16768 0 0 0 89975 49 0 0 25 0 1 0 970911915 53043200 11006 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12950 11006 301 301 0 12649 0 vsize: 51800 [startup+910.049 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 16828 0 0 0 90976 49 0 0 25 0 1 0 970911915 53313536 11065 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13016 11065 301 301 0 12715 0 vsize: 52064 [startup+920.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 16888 0 0 0 91976 49 0 0 25 0 1 0 970911915 53448704 11124 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13049 11124 301 301 0 12748 0 vsize: 52196 [startup+930.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 16947 0 0 0 92976 50 0 0 25 0 1 0 970911915 53583872 11182 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13082 11182 301 301 0 12781 0 vsize: 52328 [startup+940.051 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17006 0 0 0 93976 50 0 0 25 0 1 0 970911915 53719040 11240 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13115 11240 301 301 0 12814 0 vsize: 52460 [startup+950.052 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17065 0 0 0 94976 50 0 0 25 0 1 0 970911915 53854208 11298 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13148 11298 301 301 0 12847 0 vsize: 52592 [startup+960.053 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17123 0 0 0 95977 50 0 0 25 0 1 0 970911915 53989376 11355 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13181 11355 301 301 0 12880 0 vsize: 52724 [startup+970.054 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17182 0 0 0 96977 50 0 0 25 0 1 0 970911915 54259712 11413 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13247 11413 301 301 0 12946 0 vsize: 52988 [startup+980.054 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17239 0 0 0 97977 50 0 0 25 0 1 0 970911915 54394880 11469 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13280 11469 301 301 0 12979 0 vsize: 53120 [startup+990.055 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17297 0 0 0 98977 50 0 0 25 0 1 0 970911915 54530048 11526 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13313 11526 301 301 0 13012 0 vsize: 53252 [startup+1000.06 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17355 0 0 0 99978 51 0 0 25 0 1 0 970911915 54665216 11583 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13346 11584 301 301 0 13045 0 vsize: 53384 [startup+1010.06 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17410 0 0 0 100977 51 0 0 25 0 1 0 970911915 54800384 11638 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13379 11638 301 301 0 13078 0 vsize: 53516 [startup+1020.06 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17468 0 0 0 101977 51 0 0 25 0 1 0 970911915 54935552 11695 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13412 11695 301 301 0 13111 0 vsize: 53648 [startup+1030.06 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17524 0 0 0 102978 51 0 0 25 0 1 0 970911915 55070720 11750 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13445 11750 301 301 0 13144 0 vsize: 53780 [startup+1040.06 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17580 0 0 0 103978 52 0 0 25 0 1 0 970911915 55205888 11805 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13478 11805 301 301 0 13177 0 vsize: 53912 [startup+1050.06 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17636 0 0 0 104978 52 0 0 25 0 1 0 970911915 55341056 11860 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13511 11860 301 301 0 13210 0 vsize: 54044 [startup+1060.06 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17691 0 0 0 105978 52 0 0 25 0 1 0 970911915 55476224 11914 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13544 11914 301 301 0 13243 0 vsize: 54176 [startup+1070.06 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17748 0 0 0 106978 52 0 0 25 0 1 0 970911915 55746560 11970 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13610 11970 301 301 0 13309 0 vsize: 54440 [startup+1080.06 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17803 0 0 0 107978 52 0 0 25 0 1 0 970911915 55881728 12024 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13643 12024 301 301 0 13342 0 vsize: 54572 [startup+1090.06 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17858 0 0 0 108978 53 0 0 25 0 1 0 970911915 56016896 12078 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13676 12078 301 301 0 13375 0 vsize: 54704 [startup+1100.06 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17913 0 0 0 109978 53 0 0 25 0 1 0 970911915 56152064 12132 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13709 12132 301 301 0 13408 0 vsize: 54836 [startup+1110.06 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17966 0 0 0 110978 53 0 0 25 0 1 0 970911915 56287232 12185 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13742 12185 301 301 0 13441 0 vsize: 54968 [startup+1120.06 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 20087 0 0 0 111974 58 0 0 25 0 1 0 970911915 64061440 14153 4294967295 134512640 135730672 3221224576 3221219096 134787727 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15640 14153 301 301 0 15339 0 vsize: 62560 [startup+1130.07 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 36480 0 0 0 112934 98 0 0 25 0 1 0 970911915 115400704 22927 4294967295 134512640 135730672 3221224576 3221221520 134539768 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28174 22927 301 301 0 27873 0 vsize: 112696 [startup+1140.07 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 49403 0 0 0 113901 131 0 0 25 0 1 0 970911915 218492928 32578 4294967295 134512640 135730672 3221224576 3221218640 134775425 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 53343 32581 301 301 0 53042 0 vsize: 213372 [startup+1150.07 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 74920 0 0 0 114846 187 0 0 25 0 1 0 970911915 226455552 42054 4294967295 134512640 135730672 3221224576 3221220952 134787727 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 55287 42054 301 301 0 54986 0 vsize: 221148 [startup+1160.07 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 87647 0 0 0 115811 222 0 0 25 0 1 0 970911915 265670656 54560 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 64861 54561 301 301 0 64560 0 vsize: 259444 [startup+1170.07 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 121679 0 0 0 116739 295 0 0 25 0 1 0 970911915 377786368 68993 4294967295 134512640 135730672 3221224576 3221221024 134770721 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 92233 68993 301 301 0 91932 0 vsize: 368932 [startup+1180.07 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 129145 0 0 0 117718 316 0 0 25 0 1 0 970911915 377786368 76225 4294967295 134512640 135730672 3221224576 3221221072 135284091 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 92233 76225 301 301 0 91932 0 vsize: 368932 [startup+1190.07 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 153466 0 0 0 118656 377 0 0 25 0 1 0 970911915 449609728 88044 4294967295 134512640 135730672 3221224576 3221221512 135285983 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 109768 88044 301 301 0 109467 0 vsize: 439072 [startup+1200.07 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 165172 0 0 0 119624 410 0 0 25 0 1 0 970911915 487337984 99544 4294967295 134512640 135730672 3221224576 3221221776 134577534 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 118979 99544 301 301 0 118678 0 vsize: 475916 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1202.28 s] Raw data (loadavg): 1.00 0.99 0.92 1/53 19954 Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 165172 0 0 0 119624 410 0 0 25 0 1 0 970911915 487337984 99544 4294967295 134512640 135730672 3221224576 3221221776 134577534 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 118979 99544 301 301 0 118678 0 vsize: 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1202.28 CPU time (s): 1202.55 CPU user time (s): 1198.24 CPU system time (s): 4.30635 CPU usage (%): 100.023 Max. virtual memory (Kb): 475916 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####